Changes between Version 14 and Version 15 of PatternSynonyms


Ignore:
Timestamp:
Aug 28, 2013 3:04:20 PM (20 months ago)
Author:
heisenbug
Comment:

mention typed patterns

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v14 v15  
    149149 
    150150One could go one step further and leave out the `pattern` keyword to obtain ''associated constructors'', which are required to be bidirectional. The capitalized identifier would indicate that a pattern synonym is being defined. For complicated cases one could resort to the `where` syntax (shown above). 
     151 
     152== Typed Patterns Synonyms == 
     153 
     154So far patterns only had _syntactic_ meaning. In comparison Ωmega has _typed_ pattern synonyms, so they become first class values. (I am not suggesting this for Haskell, yet.)