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.
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Publicado em: |
2003
|
| Resumo: | 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. |
|---|