Context Navigation

Changes between Version 3 and Version 4 of Goals

v3	v4
4	4
5	5	* 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.
7	6	* Provide a fine-grained algebra.
8	7	* 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).