Hi Jules
Your explanation of lambda-abstraction, dealing in full generality
with both scope and
multiplicity, is a good one. But it's still interesting to
investigate the possibility
of a privileged notation for linear abstraction, based on leaving
holes in things, by
way of illustrating
exercise done. :D
there is still a problem with the functional dependencies. see last line of
code.
- marc
Am Mittwoch, 4. Juli 2007 14:22 schrieb Conor McBride:
{? * 10 + ?} 4 2 = 42
http://hackage.haskell.org/trac/haskell-prime/wiki/FlexiblePartialApplication
(3) Exercise for
Hi Marc
Thanks for giving it a go!
On 4 Jul 2007, at 17:33, Marc A. Ziegert wrote:
exercise done. :D
there is still a problem with the functional dependencies. see last
line of code.
- marc
Looks like a good start. Quite different from the way I did it. I can
assure you that it's
peterv wrote:
In Haskell, currying can only be done on the last (rightmost) function
arguments.
You are talking about partial application, not currying.
foo x y
can be curried as
foo x
but not as
foo ? y
where ? would be a “wilcard” for the x parameter.
(\x - foo x y)
[snip]
This