ATS -- unleashing the potential of types!

[Sergey Gromov]

Wed, 29 Oct 2008 09:29:12 -0400, Pablo Ripolles wrote:
> I assume many of you already know about ATS...
> 
> I'd like to know your thoughts about it!
> 
> Some interesting references are:
> http://www.ats-lang.org/
> http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/
> 
> it is damn fast!
> http://shootout.alioth.debian.org/u64q/benchmark.php?test=all&lang=all

The syntax is too alien for me.  When I see things like these, I just
give up:

fn iter {n:nat}
  (n: int n, f: !natLt n -<cloptr1> void): void = let

I simply don't get it.  It may help you that I tried to learn Haskell
several times and didn't manage it, for the same reason, until I found
this:

http://cs.anu.edu.au/Student/comp1100/haskell/tourofsyntax.html

After reading this short document I was finally able to read and
understand Haskell programs.  Throwing together something like this for
ATS could help people like me to comprehend the language with much less
effort.