Re: ATS3: ATS/Xanadu

I would love to see t@ype and similar keywords with symbols in the middle replaced by something more pronounceable - the lack of quick mental pronunciation is a surprisingly large annoyance when reading and wirting code. martin On Fri, Feb 9, 2018 at 10:15 AM, gmhwxi wrote: >

Re: Effective ATS: linear streams for memory-clean programs

is there a mirror somewhere? http://ats-lang.sourceforge.net is down martin On Tue, Jul 12, 2016 at 7:19 AM, gmhwxi wrote: > > I wrote a new article on using linear streams to construct memory-clean > programs, where being memory-clean means that a program must free every >