[Haskell-cafe] Typing non-Haskell in Haskell

Joel Reymont joelr1 at gmail.com
Thu Apr 12 08:37:23 EDT 2007


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/







More information about the Haskell-Cafe mailing list