Changes between Version 3 and Version 4 of Goals

Show
Ignore:
Timestamp:
09/27/09 00:02:44 (5 years ago)
Author:
jmcarthur (IP: 76.73.220.99)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Goals

    v3 v4  
    44 
    55  * Don't worry about backward compatibility. We should ''learn'' from the mistakes of the past, not repeat them! 
    6   * Given a choice between either complex types and simple values or simple types and complex values, prefer the former. 
    76  * Provide a fine-grained algebra. 
    87  * Provide convenient facilities for type composition and generic folds/unfolds. 
    9   * Implement a declarative IO system. 
    10   * Don't be afraid to use extensions (although we should probably establish a list of which ones are "safe" and which are not). 
    11   * 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). 
    12   * Don't worry about numerous type classes as long as they are small. 
     8  * Implement a declarative IO system? 
     9  * 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).