string - 类型安全的 printf

Question

标准库提供了 printf函数是可变的。然而，它没有做的是编译时检查参数类型是否与格式字符串匹配。这将需要依赖类型，而且听起来也很难实现! (您必须使用类型签名来解析整个格式字符串……哎呀!)

但仔细想想，现在我想知道......我们可以用 Template Haskell 做到这一点吗？事实上，有没有人为此编写了一个库？

(看起来你可以很容易地编写一个准引用器来读取 printf 格式规范并生成必要的 N-arg 函数......)

Answer 1

是的，这是可能的。是的，已经完成了。你真的应该检查这类问题的hackage:http://hackage.haskell.org/package/Printf-TH