Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Polytypic Data Conversion Programs
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 a
regular datatype to another format) followed by parsing (from that
format back to the regular datatype) is the identity.
The printers and parsers are described in
PolyP,
a polytypic extension of the functional language Haskell.