Hi What are the rules for calculating function types? Is there a set procedure ? Thanks, Paul
On 10/22/07, PR Stanley
Hi What are the rules for calculating function types? Is there a set procedure ? Thanks, Paul
There must be a set procedure, since otherwise the compiler could not function! =) Seriously, though, I'm not exactly sure what you're asking for. Could you maybe provide a few examples of the kind of thing you're asking about? -Brent
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 Cheers, Bernie. 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
participants (3)
-
Bernie Pope -
Brent Yorgey -
PR Stanley