Abstract
Several generic programs for converting values from regular datatypes to some other
format, together with their corresponding inverses, are constructed. Among the
formats considered are shape plus contents, compact bit streams and pretty printed
strings. The different data conversion programs are constructed using John Hughes'
arrow combinators along with a proof that printing (from
... read more