Changes between Version 11 and Version 12 of ViewPatterns


Ignore:
Timestamp:
Jan 25, 2007 8:45:40 AM (9 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