[Haskell-cafe] Function Types

Bernie Pope bjpop at csse.unimelb.edu.au
Tue Oct 23 01:49:33 EDT 2007

I have implemented a reasonably simple language and interpreter  
called "baskell".

The language is essentially a very small subset of Haskell.

It was designed to show students how type checking works.

You can find it here: http://www.cs.mu.oz.au/~bjpop/code.html


On 23/10/2007, at 11:31 AM, PR Stanley wrote:

> Hi
> What are the rules for calculating function types?
> Is there a set procedure ?
> Thanks, Paul
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list