[Haskell-cafe] Typing non-Haskell in Haskell

[Joel Reymont]

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/