Note the inline C as well. agocorona: > [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@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
