Context Navigation

Changes between Version 4 and Version 5 of BinaryIO

v4	v5
17	17
18	18	== Proposal 2 - The Binary class ==
19		* Proposal two is to add a Binary class, based on the type class described in [ftp://ftp.cs.york.ac.uk/pub/malcolm/ismm98.html The Bits Between The Lambdas]. The advantage of this form of binary I/O over the simpler System.IO library is support for serialising more complex data types, using type classes to recursively define binary I/O routines for each component of the type. Instances of I/O may be written by hand, or derived mechanically with [http://repetae.net/john/computer/haskell/DrIFT/ DrIFT]. Ideally Binary would be derivable by the compiler (~~is this feasible?~~).
	19	* Proposal two is to add a Binary class, based on the type class described in [ftp://ftp.cs.york.ac.uk/pub/malcolm/ismm98.html The Bits Between The Lambdas]. The advantage of this form of binary I/O over the simpler System.IO library is support for serialising more complex data types, using type classes to recursively define binary I/O routines for each component of the type. Instances of I/O may be written by hand, or derived mechanically with [http://repetae.net/john/computer/haskell/DrIFT/ DrIFT]. Ideally Binary would be derivable by the compiler (as is done currently in nhc98), or perhaps using some form of datatype-generic declarations (see DerivedInstances).
20	20
21	21	== References ==