Lennart Augustsson <lenn...@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.fairba...@cl.cam.ac.uk


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to