ATS -- unleashing the potential of types!

[KennyTM~]

Pablo Ripolles wrote:
> Hello all!
> 
> 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
> 
> Cheers!
> 
> 

fun fib4 {n:nat} (x: int n): [r:int] (FIB (n, r) | int r) = let
   fun loop {i,j:nat | i+j == n} {r0,r1:int}
     (pf0: FIB (j, r0), pf1: FIB (j+1, r1) | x: int i, a0: int r0, a1: 
int r1)
     : [r:int] (FIB (n, r) | int r) =
     if x > 0 then loop (pf1, FIB_ind (pf0, pf1) | x-1, a1, a0 + a1)
     else (pf0 | a0)
in
   loop (FIB_bas_0 (), FIB_bas_1 () | x, 0, 1)
end // end of [fib4]


No thanks, I'd rather program in assembly. :(