Changes between Version 1 and Version 2 of FlexiblePartialApplication


Ignore:
Timestamp:
Jan 26, 2006 10:43:42 AM (10 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FlexiblePartialApplication

    v1 v2  
    1919were encountered in the function application.
    2020
    21 == Related proposals ===
     21== Related proposals ==
    2222
    2323 * feature request for ghc at [http://hackage.haskell.org/trac/ghc/ticket/315 this ticket]
    2424 * conflicts with MagicUnderscore
     25
     26== Pros ==
     27
     28== Cons ==
     29
     30One 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
     38Or would '''(f _ x) y''' and '''f _ x y''' maybe be different? That would fix the problem above, while introducing another.