Question

是否可以部分应用bprintf这样的功能，并防止它因初次使用而受到限制？

我想做以下事情：

let builder = new System.Text.StringBuilder()
let append = Printf.bprintf builder
append "%i" 10
append "%s" string_value

Answer 1

导致此问题的F＃方面称为值限制。您可以看到，如果只向F＃Interactive输入两个let声明（以便编译器不会从第一次使用中推断出类型）：

> let builder = new System.Text.StringBuilder() 
  let append = Printf.bprintf builder ;;

错误FS0030：值限制。推断值'append'具有泛型类型val附加：（'_ a - ＆gt;'_ b）'_a：＆gt; Printf.BuilderFormat＆LT;'_ B个要么使参数'append'显式，要么如果你不打算它是通用的，添加一个类型注释。

来自F＃团队的excellent article by Dmitry Lomov详细解释了它。正如文章所建议的，一种解决方案是添加显式类型参数声明：

let builder = new System.Text.StringBuilder() 
let append<'T> : Printf.BuilderFormat<'T> -> 'T = Printf.bprintf builder 
append "%i" 10 
append "%s" "Hello"

这样可以正常使用。

Answer 2

您可以添加显式的格式参数

let builder = new System.Text.StringBuilder()
let append format = Printf.bprintf builder format
append "%i" 10
append "%s" "1"

Answer 3

您遇到了F＃值限制。

以下是一些解决方法的详细解释：Understanding F# Value Restriction Errors

这是一篇相当深入的文章，解释其背后的原因：http://blogs.msdn.com/b/mulambda/archive/2010/05/01/value-restriction-in-f.aspx

保持部分应用的功能通用

3 个答案: