[Haskell-cafe] Partial application
ithika at gmail.com
Thu Jan 18 04:46:34 EST 2007
Quoth phiroc at free.fr, nevermore,
> could someone please give me an example of the "partial application" of the
> following curried function:
> add' :: Int -> Int -> Int
> add' a b = a + b
> Normally, add' 1 should work, but it doesn't.
I think this is what you mean. If not, then please advice. This is typed
into a vanilla ghci prompt, no extra modules loaded or flags switched
on. There is no smoke and mirrors at work ;-)
(The ':: Int' constrains the type of b, and therefore all the other
numbers, but doesn't affect the function application.)
> Prelude> let add' a b = a + b :: Int
> Prelude> let f = add' 1
> Prelude> f 2
Is this what you wanted? Perhaps you tried this but mistyped something?
Dougal Stanton <ithika at gmail.com>
Word attachments considered harmful.
More information about the Haskell-Cafe