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

Alberto G. Corona agocorona at gmail.com
Sat Jan 24 12:08:46 EST 2009

Language Shootout: ATS is the new top gunslinger. Beats


...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

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090124/68ca42d7/attachment.htm

More information about the Haskell-Cafe mailing list