Changes between Version 8 and Version 9 of ViewPatternsNew


Ignore:
Timestamp:
Jul 19, 2007 9:41:14 AM (7 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