Changes between Version 12 and Version 13 of ViewPatterns


Ignore:
Timestamp:
Jan 25, 2007 8:48:33 AM (8 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.