8 Oct
2004
8 Oct
'04
2:02 p.m.
Peter Achten
But it uses explicit strictness annotations a lot, and provides strict and/or unboxed versions of various fundamental types (e.g. tuples), with some implicit coercions.
It is of course not the language that uses strictness annotations.
But the language encourages to use them much more often than in Haskell. They can be declared in types, there is a short syntax for "strict let", and various builtin types have strict variants. These are properties of the language. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/