Changes between Version 8 and Version 9 of ViewPatternsNew


Ignore:
Timestamp:
Jul 19, 2007 9:41:14 AM (8 years ago)
Author:
danl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatternsNew

    v8 v9  
    3131In response, programmers sometimes eschew type abstraction in favor of revealing a concrete datatype that is easy to pattern-match against.
    3232
    33 View patterns permit calling the view function inside the pattern and matching against the result:
     33To make programming with such interfaces more convenient, we add a new kind of pattern called a ''view pattern''.  View patterns permit calling the view function inside the pattern and matching against the result:
    3434{{{
    3535   size (view -> Unit) = 1
     
    3737}}}
    3838
    39 That is, we add a new form of pattern, written
     39In general, a view pattern is written
    4040{{{
    4141   expression -> pattern