[Haskell-cafe] unboxed, functional ATS language beats C++

Don Stewart dons at galois.com
Sat Jan 24 14:18:40 EST 2009

Note the inline C as well.

>    [1]Language Shootout: ATS is the new top gunslinger. Beats C++
>    [2]http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/
>    ...Many people somehow think that ATS is fast because of its support for
>    advanced types such as dependent types and linear types. Actually, types
>    are primarily for enhancing safety rather than speed. The efficiency of
>    ATS is largely rooted in its data representation (flat instead of boxed)
>    and its support for tail-call optimization, which is vital for a
>    functional language.
>    What is interesting abut this ML derived language is the speed. The
>    "theoriem proving" facilities seems like a language extensions for
>     property checkings mainly for his non pure features. The type system
>    seems to aid on the safety of pointer arithmetics and other dangerous
>    operations.
> References
>    Visible links
>    1. http://shootout.alioth.debian.org/u64q/benchmark.php?test=all&lang=all
>    2. http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/

> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list