保持部分应用的函数通用

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 -> '_b) 当 '_a :> Printf.BuilderFormat<'_b>;
要么明确“append”的参数，要么，如果您不打算这样做
要使其通用，请添加类型注释。

有一个 F# 团队的 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# 值限制。

以下是一些解决方法的很好解释：了解 F# 值限制错误

这是一个相当详细的内容 -深度文章解释其背后的原因： 链接