简单参数类型的问题是,一个产品列表根本不可能是多态的,所以我可以在同一个列表中有一个string_of_float的操作和另一个string_of_int的操作;这是一个可以通过显式Ɐ解决的常见问题,例如'a -> 'b
但是我也需要一个基于expr参数的约束,其中'a of action统一于'a of expr,所以只要我们可以在代数数据类型
我正在阅读OCaml代码,其中定义了许多记录。这些记录定义了交互式命令行工具的功能。这些记录的类型如下: name : string ; run : string list -> unit其中name是命令的名称,help是函数的一小行帮助,run是一个接受参数并计算结果的函数。有点像self.name
该工具必须支持OCaml</
我目前正在努力学习OCaml。我正在搜索与这个python代码相当的代码:我想我应该尝试编写一个类似于这种行为的函数,但是它不起作用。else | x :: remainder -> arg_supply (f x) remainder (n - 1);;'b -> 'a
The type variable &