Changes between Version 23 and Version 24 of ViewPatterns


Ignore:
Timestamp:
Apr 2, 2007 10:11:00 AM (8 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