如何使用Sprintf作为格式字符串的变量？

Question

我觉得自己不得不问这个问题，但这让我很难过。

我设置了这样的格式字符串：

let fs = "This is my format test %s"

然后我尝试使用它：

let s = sprintf fs "testing"

当我这样做时，我收到此错误：

//stdin(26,17): error FS0001: The type 'string' is not compatible with the type 'Printf.StringFormat<('a -> 'b)>'

所以我接着尝试了这个：

let s = sprintf (Printf.StringFormat fs) "test"

REPL响应的

：

//stdin(28,18): error FS1124: Multiple types exist called 'StringFormat', taking different numbers of generic parameters. Provide a type instantiation to disambiguate the type resolution, e.g. 'StringFormat<_>'.

所以我接着尝试了这个：

let s = sprintf (Printf.StringFormat<string> fs) "test" 

我明白了：

//stdin(29,18): error FS0001: The type ''a -> 'b' does not match the type 'string'

我错过了一些非常明显的东西吗？这是在Xamarin Studio F＃Interactive Window中使用Mac上的F＃3.0。

Answer 1

所以你实际上需要创建一个StringFormat，其函数类型如下

> sprintf (Printf.StringFormat<string->string>("Hello %s")) "World";;
  val it : string = "Hello World"

在规范的6.3.16部分中，显示了一个示例。