On Thu, Feb 12, 2015 at 12:33 AM, Keean Schupke <[email protected]> wrote:
> To me, (f x y) and ((f x) y) are the same thing, in both cases f :: a -> b > -> c where the types of a, b, and c are inferred. > Sure. But the difference between theory and practice is that in theory there is no difference between theory and practice, while in practice there is. Mathematically, those two are the same. But from the practical standpoint of deciding how to pass arguments in a non-whole-program compiler, they are most definitely different. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
