On 24 February 2015 at 22:30, Pal Engstad <[email protected]> wrote:
> If the programmer wrote `upcast1_1to2` and `downforce2to1_1`, then it > would be okay. > > > > If we automatically generate those functions, it would not be okay. > > > > PKE > I have never mentioned automatically generating _those_functions. However the following seems fine: apply f x y = (f x) y And this one is not okay: apply f x = \y . (f x y) Do we agree you can generate the first one implicitly? All we are really saying is you can write: (f 1 2) when the function really requires ((f 1) 2) Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
