Changes between Version 1 and Version 2 of FlexiblePartialApplication


Ignore:
Timestamp:
Jan 26, 2006 10:43:42 AM (8 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.