Polytypic Data Conversion Programs
Artikel i vetenskaplig tidskrift, 2002

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.

Författare

Patrik Jansson

Chalmers, Institutionen för datavetenskap, Funktionell programmering

Chalmers, Institutionen för datavetenskap, Programmeringslogik

Science of Computer Programming

0167-6423 (ISSN)

Vol. 43 1 35-75

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1016/S0167-6423(01)00020-X

Mer information

Skapat

2017-10-07