Skip to main content

Functional Pearl: Formatting: a class act

Ralf Hinze

Abstract

Armed with singleton types, multiple-parameter type classes, and functional dependencies we reconsider a problem raised and solved by Danvy in a previous pearl. The challenge is to implement a variant of C's printf function in a statically typed language.

Journal
JFP
Month
sep
Number
5
Pages
935−944
Volume
13
Year
2003