25 Apr
2001
25 Apr
'01
10:19 a.m.
On Wed, 25 Apr 2001, Robert Ennals wrote:
Thus if we want to "inherit" our implicit paramater, we would have:
f ?y x = (x :: Int) + ?y
I like the current solution better. They are called "implicit parameters" because they are, well, implicit :-)
The semantics is still implicit. When one calls the function f, one would only explicitly pass x, not y. Eg one can do g :: (y :: Int) => Int g ?y = f 1 And for top level functions, one could make it optional anyway, as there is nowhere else for the variable to have come from. -Rob