文章基本信息

标题：Functional Unparsing
本地全文：下载
作者：Olivier Danvy
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1998
卷号：5
期号：12
出版社：Aarhus University
摘要：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.