Changes between Version 25 and Version 26 of ViewPatterns


Ignore:
Timestamp:
Apr 17, 2007 7:50:04 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v25 v26  
    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  
    670 Simon started this design discussion after the F# project of 2006 conducted by 
    671 Don Syme and Greg Neverov on active patterns in F#. Don presented a preliminary 
    672 version of this work at the WG2.8 workshop in  
    673 July 2006. F# 1.1.12 included a preliminary version  
     668=== [http://blogs.msdn.com/dsyme/archive/2006/08/16/ActivePatterns.aspx F# Active Patterns] === 
     669 
     670Simon started this design discussion after talking to Don Syme about F#'s '''active patterns''', 
     671which serve a very similar purpose. 
     672 
     673Here is [http://blogs.msdn.com/dsyme/archive/2007/04/07/draft-paper-on-f-active-patterns.aspx a full paper describing the design], by Don Syme, Gregory Neverov, and James Margetson (April 2007). 
     674 
     675F# 1.1.12 included a preliminary version  
    674676of extensible pattern matching where values effectively of type  
    675677{{{ 
     
    679681nicely at [[http://tomasp.net/blog/quotvis-reloaded.aspx : Tomas Petricek's website]]. 
    680682 
    681 As of March 2007 the F# design has been redesigned and more details will 
    682 be available soon. Don and Simon have been involved in lengthy discussions on the subject 
    683 at MSR Cambridge. 
    684683 
    685684=== [http://lambda-the-ultimate.org/node/1960 Emir, Odersky, Williams: Matching objects with patterns] ===