签名的“.NET”和“OCaml”格式(“.NET” and “OCaml” formatting of signatures)

 F＃允许签名的“.NET”和“OCaml”格式。 当您养成使用一种风格的习惯，然后找到无法正确格式化所需签名的情况时，这可能会令人困惑。 考虑一下这个代码，它需要一个灵活的类型作为输入到foo的函数的输出： 
 
let foo n (bar: int -> #seq<'a>) =
    (fun () -> Vector.ofSeq (bar n))

let foobar n = Array.ofSeq([1..n])

let x = foo 10 foobar
 
 我无法弄清楚如何用OCaml格式表达#seq <'a>。 可能吗？ 

F# allows ".NET" and "OCaml" formatting of signatures. This can be confusing when you fall into the habit of using one style, and then find a situation where you cannot properly format the signature you need. Consider this code, which requires a flexible type as the output of the function input to foo:
 
let foo n (bar: int -> #seq<'a>) =
    (fun () -> Vector.ofSeq (bar n))

let foobar n = Array.ofSeq([1..n])

let x = foo 10 foobar
 
I could not figure out how to express #seq<'a> in OCaml format. Is it possible?

原文：https://stackoverflow.com/questions/10957700