[Haskell-cafe] Equirecursive types?

Jim Apple jbapple+haskell-cafe at gmail.com
Sun Mar 26 13:22:17 EST 2006


According to Pierce's book, O'Caml has an optional equirecursive type
extension that turns off the occurs check. Is there any particular
reason Haskell doesn't have that available?

Here's what got me thinking about it:
http://lambda-the-ultimate.org/node/1360#comment-15656

Jim


More information about the Haskell-Cafe mailing list