[Haskell-cafe] Typing non-Haskell in Haskell

Bjorn Bringert bringert at cs.chalmers.se
Thu Apr 12 08:59:02 EDT 2007

On Apr 12, 2007, at 14:37 , Joel Reymont wrote:

> 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

Here are some lecture notes about implementing type checking for an  
imperative language from a programming languages course:



More information about the Haskell-Cafe mailing list