Changes between Version 1 and Version 2 of FlexiblePartialApplication
 Timestamp:
 Jan 26, 2006 10:43:42 AM (12 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

FlexiblePartialApplication
v1 v2 19 19 were encountered in the function application. 20 20 21 == Related proposals == =21 == Related proposals == 22 22 23 23 * feature request for ghc at [http://hackage.haskell.org/trac/ghc/ticket/315 this ticket] 24 24 * conflicts with MagicUnderscore 25 26 == Pros == 27 28 == Cons == 29 30 One can usually assume '''id e = e''', for any '''e''', but 31 32 {{{ 33 id (f _ x) y === id (\y>f y x) y === f y x 34 /= 35 f _ x y === \z > f z x y 36 }}} 37 38 Or would '''(f _ x) y''' and '''f _ x y''' maybe be different? That would fix the problem above, while introducing another.