格式字符串中的 F# 类型推断

Question

F# 如何在编译时检查格式字符串以确定 x 在以下定义中具有 int 类型？

let foo x = sprintf "%d" x`? 

这是硬编码到语言中还是有人可以编写自己的“my_print”函数来使用具有不同语法的格式字符串？例如:

let foo x = my_print "{integer}" x

Answer 1

您可以在 6.4.17('printf' 格式)here 中阅读有关它的一些内容。 ，但简而言之

它内置于语言中

字符串文字可以有效地“强制”为奇怪的“格式”类型

printf 和 friend 们期望第一个 Format 类型的参数，从而使强制发生

最终结果是您可以构建自己的 printf 样式函数，但必须使用相同的 %s 格式，因为这些东西是内置的。