- 09/27/09 15:29:56 (8 years ago)
v4 v5 4 4 5 5 * 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 . 7 7 * Provide convenient facilities for type composition and generic folds/unfolds. 8 * Implement a declarative IOsystem? 8 * Implement a declarative system? 9 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).