Changes between Version 23 and Version 24 of ViewPatterns


Ignore:
Timestamp:
Apr 2, 2007 10:11:00 AM (7 years ago)
Author:
dsyme
Comment:

Inserting F# related work

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v23 v24  
    566566 
    567567This proposal is substantially more complicated than the one above; in particular it 
    568 rquires new form of top-level declaration for a view type. For example: 
     568requires new form of top-level declaration for a view type. For example: 
    569569{{{ 
    570570  view Backwards a of [a] = [a] `Snoc` a | Nil 
     
    666666Erwig do no stripping of the `Maybe` (see "Possible extension 2" above). 
    667667 
     668=== [http://blogs.msdn.com/dsyme/archive/2006/08/16/ActivePatterns.aspx: F# Active Patterns] === 
     669 
     670It was after a talk by Don Syme on active patterns in F# at the WG2.8 workshop in  
     671July 2006 that Simon decided to look again at views and extensible pattern 
     672matching and began this webpage. F# 1.1.12 included a preliminary version  
     673of extensible pattern matching where values effectively of type  
     674{{{ 
     675  val Pattern: int -> int option 
     676}}} 
     677could be used as query functions. Some examples are documented  
     678nicely at [[http://tomasp.net/blog/quotvis-reloaded.aspx: Tomas Petricek's website]]. 
     679 
     680As of March 2007 the F# design has been redesigned and more details will 
     681be available soon. Don has been involved in lengthy discussions on the subject 
     682with Simon Peyton Jones at MSR Cambridge. 
     683 
    668684=== [http://lambda-the-ultimate.org/node/1960 Emir, Odersky, Williams: Matching objects with patterns] === 
    669685