[Haskell-cafe] Typing non-Haskell in Haskell

2007-04-12 Thread 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/





___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Typing non-Haskell in Haskell

2007-04-12 Thread Bjorn Bringert 

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:


http://www.cs.chalmers.se/Cs/Grundutb/Kurser/progs/current/lectures/ 
proglang-08.html


/Björn___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe