Re: The myatscc utility

Hi community, i don't know if it's useful, but if someone wants to build and execute a "myatscc" code definiton in-situ via .dats file itself, here it is: $ cat hello.dats exec <$0 ; read ; cat > $0.dats ; exec myatscc $0.dats $@ (* ##myatsccdef=patscc -cleanaft -o $fname($fname($1)) $1

Re: Intro to ATS - How to code productively

Hi Artyom, Yes, I think it's good :) (Sorry for the delay. I was offline for the past week. ) On Monday, April 2, 2018 at 1:48:19 AM UTC-4, Artyom Shalkhakov wrote: > > > Hi Steinway, > > On Sunday, April 1, 2018 at 11:39:34 PM UTC+6, Steinway Wu wrote: >> >> Hi Artyom, >> >> This is awesome

Re: ATS3: ATS/Xanadu

Did anyone mention operators definition/overloading? I think currently in ATS2, one can only overload a symbol with a function. But I actually prefer how OCaml and Haskell handles operators: they are just functions whose names happen to be symbols instead of alphabets. One use parenthesis