[Haskell-cafe] Re: Mysterious fact

Jon Fairbairn jon.fairbairn at cl.cam.ac.uk
Wed Nov 3 04:57:12 EDT 2010

Lennart Augustsson <lennart at augustsson.net> writes:

> Jon, you beat me to it.  I was going to mention Ponder.

Strange chance; yesterday was the first time I read haskell café
for something like half a year.

> But Ponder did have a builtin type, it had the function type built in. :)

Well, to use the nomenclature of Ponder itself, (->) is a type
/generator/, not a type. So either it had no built-in types, or
it had infinitely many ;-)

Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk

More information about the Haskell-Cafe mailing list