I feel I should set aside a Friday of every week just to read the
Haskell papers :-).
After skimming through "Typing Haskell in Haskell" I have a couple of
questions...
Are type constructors (TyCon) applicable to Haskell only? Mine is a
Pascal-like language.
How would I type Pascal functions as opposed to Haskell ones? It
seems that the approach is the same and I still need TyCon "(->)".
Thanks, Joel
--
http://wagerlabs.com/
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe