byorgey at seas.upenn.edu
Wed Feb 24 19:31:59 EST 2010
On Wed, Feb 24, 2010 at 11:53:50PM +0000, Jon Harrop wrote:
> On Wednesday 24 February 2010 20:53:14 Edward Z. Yang wrote:
> > http://haskell.org/hoogle/3/?q=fix
> That leads to the following source:
> but it uses a workaround rather than extending the type system. I'm looking
> for an equivalent of OCaml's -rectypes that enables recursive types in
> Haskell (e.g. in ghci)?
Haskell has recursive types, but they are iso-recursive rather than
equi-recursive; the recursion must always be guarded by a data
constructor. I am not sure what you mean by saying that Data.Function
contains a "workaround". What exactly are you trying to do?
More information about the Beginners