Changes between Version 4 and Version 5 of Goals

Show
Ignore:
Timestamp:
09/27/09 15:29:56 (4 years ago)
Author:
jmcarthur (IP: 76.73.220.99)
Comment:

a couple links

Legend:

Unmodified
Added
Removed
Modified

  • Goals

    v4 v5  
    44 
    55  * Don't worry about backward compatibility. We should ''learn'' from the mistakes of the past, not repeat them! 
    6   * Provide a fine-grained algebra. 
     6  * Provide a fine-grained [wiki:Algebra algebra]. 
    77  * Provide convenient facilities for type composition and generic folds/unfolds. 
    8   * Implement a declarative IO system? 
     8  * Implement a declarative [wiki:IO] system? 
    99  * Unambiguous semantics, when possible. When there is more than one possible instance of a type class for one data type, use newtype wrappers for all of those instances (no instance for the unwrapped version).