On Tue, Feb 24, 2015 at 5:33 PM, Keean Schupke <[email protected]> wrote: > 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?
Yes. > All we are really saying is you can write: > > (f 1 2) > > when the function really requires > > ((f 1) 2) Rewriting applications is not the same as running coercions. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
