Functional Pearl: Formatting: a class act

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.