Changes between Version 11 and Version 12 of ViewPatterns


Ignore:
Timestamp:
Jan 25, 2007 8:45:40 AM (7 years ago)
Author:
simonpj
Comment:

Clarify first-class abstraction

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v11 v12  
    581581=== First class abstractions === 
    582582 
    583 Several proposals suggest first class ''abstractions'' rather that first-class ''patterns''. 
     583Several proposals suggest first class ''abstractions'' rather that first-class ''patterns''.  By a "first class abstraction" I mean a value of type 
     584(''something'' `->` ''something'') 
     585with a syntax something like 
     586(`\` ''pattern'' `->` ''body''). 
     587 
     588The abstraction includes both the pattern and the result.  In contrast, view patterns tackle only the syntax of patterns; the pattern of a first-class abstraction.   
     589 
    584590Here are the ones I know of 
    585591