Changes between Version 8 and Version 9 of Language/Core/Types


Ignore:
Timestamp:
Jan 2, 2012, 1:01:40 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Types

    v8 v9  
    2525=== Syntactic Sugar ===
    2626The following type expressions are equivalent:
     27 || {{{(TYPE)}}} || = || {{{TYPE}}} ||
     28 || {{{TYPE1 TYPE2 TYPE3}}} || = || {{{(TYPE1 TYPE2) TYPE3}}} ||
    2729 || {{{[BINDER1 BINDER2 : TYPE1] . TYPE2}}}    || = || {{{[BINDER1 : TYPE1] . [BINDER2 : TYPE1] . TYPE2}}} ||
    2830 || {{{[BINDER1 : TYPE1]. TYPE2 TYPE3}}} || = || {{{[BINDER1 : TYPE1]. (TYPE2 TYPE3)}}} ||
    29  || {{{(TYPE)}}} || = || {{{TYPE}}} ||
    30  || {{{TYPE1 TYPE2 TYPE3}}} || = || {{{(TYPE1 TYPE2) TYPE3}}} ||
    3131 || {{{TYPE1 + TYPE2}}} || = ||{{{TYPE2 + TYPE1}}} ||
    3232 || {{{(TYPE1 + TYPE2) + TYPE3 }}} || = || {{{TYPE1 + (TYPE2 + TYPE3)}}} ||