Changes between Version 12 and Version 13 of ViewPatterns


Ignore:
Timestamp:
Jan 25, 2007 8:48:33 AM (9 years ago)
Author:
simonpj
Comment:

Reference Barry Jay's pattern calculus

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v12 v13  
    584584(''something'' `->` ''something'')
    585585with a syntax something like
    586 (`\` ''pattern'' `->` ''body'').
    587 
     586(`\` ''pattern'' `->` ''result'').
    588587The 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. 
    589588
     
    605604anything about the patterns themselves, which in turn is all this
    606605proposal deals with.  Hence orthgonal.
     606
     607=== Barry Jay: First class patterns ===
     608
     609A yet more ambitious scheme is to treat patterns themselves as first class, even though they have free (binding) variables.  This is the approach that Barry Jay has taken in his very interesting project on the ''pattern calculus''.  His [http://www-staff.it.uts.edu.au/~cbj home page] has more info.