Changes between Version 5 and Version 6 of Goals

Show
Ignore:
Timestamp:
01/26/10 16:36:27 (3 years ago)
Author:
jmcarthur (IP: 69.73.30.18)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Goals

    v5 v6  
    66  * Provide a fine-grained [wiki:Algebra algebra]. 
    77  * Provide convenient facilities for type composition and generic folds/unfolds. 
    8   * Implement a declarative [wiki:IO] system? 
     8  * Improve the IO monad? Maybe separate it into smaller parts or, if the necessary discoveries happen in time, use some sort of declarative 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).