from Hacker News

ATS: a dependently-typed systems programming language?

by devinj on 12/11/11, 1:30 PM with 5 comments

• by riffraff on 12/11/11, 4:19 PM

  there are many interesting posts about ATS on Chris Double's blog

  http://www.bluishcoder.co.nz/tags/ats/

• by profquail on 12/11/11, 7:34 PM

  I've looked at ATS a few times before, and I really like all of the ideas behind it (fast, ultra-powerful typing, functional) but the syntax still seems a little clunky.

  In any case the ATS compiler can emit C code, so it should be easy enough to re-implement a few bits of code at a time instead of needing to port entire projects all at once.

• by mushishi on 12/11/11, 5:31 PM

  What does the question mark imply at end of the title?