[Haskell-cafe] Function Types
prstanley at ntlworld.com
Mon Oct 22 22:41:57 EDT 2007
f x = x
x :: a
f x :: b
therefore f :: a -> b
x = a and x = b
therefore a = b
therefore f :: a -> a
Simple mappings are easy to work out. It's the more detailed stuff
I'm not sure about.
f g x y = g x (y x)
At 03:15 23/10/2007, you wrote:
>On 10/22/07, PR Stanley
><<mailto:prstanley at ntlworld.com>prstanley at ntlworld.com> wrote:
>What are the rules for calculating function types?
>Is there a set procedure ?
>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?
More information about the Haskell-Cafe