[Haskell-cafe] The Definition of Haskell

[Todd Wilson]

Why doesn't Haskell (or at least "core" Haskell) have a formal definition
and safety result the way Standard ML does [1], [2]? Is it just that no one
has gotten around to producing them, or because there are fundamental
difficulties that stand in the way of completing such a project?

Todd Wilson

[1] Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The
Definition of Standard ML (Revised). MIT Press, 1997.
[2] Daniel K. Lee , Karl Crary , Robert Harper, "Mechanizing the Metatheory
of Standard ML", http://www.cs.cmu.edu/~dklee/tslf/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20171217/f2227c3b/attachment.html>