Functional Pearl: Formatting: a class act
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.
| Main Author: | |
|---|---|
| Format: | Journal article |
| Published: |
2003
|