如何为两个字符串参数获取正确的printformat类型

Question

我想定义一个printformatype类型，例如：

type DblStringPath = PrintfFormat<(string -> string-> string),unit,string,string,string>

为了这样使用：

let myValue : DblStringPath= "/%s/xxx/%s"

以下作品就像魅力一样：

type StrPath = PrintfFormat<(string -> string),unit,string,string,string>
let myValue2 : StrPath= "/aaa/bbb/%s"

我认为"/aaa/bbb/%s"和"/%s/xxx/%s"之间的区别是(string-> string) vs (string->string-> string)

但是有一个错误：

  

期待一个字符串，但这里有字符串* string

然后我尝试将其更改为

type DblStringPath = PrintfFormat<(string * string-> string),unit,string,string,string>

但我还有另一个错误：

  

期待字符串* string-＆gt;字符串但给定字符串 - ＆gt; string - ＆gt;   串

我迷失了理解，任何帮助都会很好......

Answer 1

第二组参数也很重要，你需要使用

type DblStringPath = PrintfFormat<(string -> string-> string),unit,string->string,string>