On 24 February 2015 at 15:27, Keean Schupke <[email protected]> wrote:
> Ah, I've just realised I misread your type signature. In any case, this is > safe: > > down f x y = (f x) y > > and this is not > > up f x = \y . f x y > > My system permits the first not the second, thats the whole point of the > order on types. > When I say permits, I mean permits implicitly, you can of course write the function "up" with the explicit lambda above. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
