Functional programming 超级通用F#-也许这些是HKT?

Functional programming 超级通用F#-也许这些是HKT?,functional-programming,f#,higher-kinded-types,Functional Programming,F#,Higher Kinded Types,因此,我正在开发一个新的通用CLI args解析器(主要是为了我自己的利益,我们将看看我是否提出了一些有用的值得发布的东西) 让我们先说一下,我有一个函数有这样的签名:(ArgumentConfiguration看一看可能会对你有所帮助,我实际上还没有完全阅读过这篇文章,可能你需要存在量化,你可以进行类比。@MrD谢谢,但是链接得到了404。我认为你可以使用元组而不是记录。然后你可以在元组的每个元素上运行函数来得到a。要做到这一点,你需要这是一个映射元组元素的通用函数,它很复杂,但您可以使用静态

因此,我正在开发一个新的通用CLI args解析器(主要是为了我自己的利益,我们将看看我是否提出了一些有用的值得发布的东西)


让我们先说一下,我有一个函数有这样的签名:
(ArgumentConfiguration看一看可能会对你有所帮助,我实际上还没有完全阅读过这篇文章,可能你需要存在量化,你可以进行类比。@MrD谢谢,但是链接得到了404。我认为你可以使用元组而不是记录。然后你可以在元组的每个元素上运行函数来得到a。要做到这一点,你需要这是一个映射元组元素的通用函数,它很复杂,但您可以使用静态约束来定义它。
(* Input Type *)
type ArgumentInput = {
  A: ArgumentConfiguration<float>
  B: ArgumentConfiguration<int>
  C: ArgumentConfiguration<boolean>
}

(* Expected return type that I don't want to specify - I want it inferred *)
type ParserResult = {
  A: float
  B: int
  C: boolean
}