Functional Unparsing
DOI:
https://doi.org/10.7146/brics.v5i12.19284Abstract
A string-formatting function such as printf in C seemingly requires
dependent types, because its control string determines the rest of its arguments.
Examples:
printf ("Hello world.\n");
printf ("The %s is %d.\n", "answer", 42);
We show how changing the representation of the control string
makes it possible to program printf in ML (which does not allow dependent types). The result is well typed and perceptibly more efficient than the corresponding library functions in Standard ML of New Jersey and in Caml.
Downloads
Published
1998-01-12
How to Cite
Danvy, O. (1998). Functional Unparsing. BRICS Report Series, 5(12). https://doi.org/10.7146/brics.v5i12.19284
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.