OCaml 泛型算法
示例
高阶函数可用于实现通用算法，而无需向用户提供最终细节。例如，List.sort期望有一个比较功能，该功能允许实现各种排序方式。在这里，我们实现了不区分大小写的字符串排序：
let string_case_insensitive_sort lst = let case_insensitive_compare a b = String.compare(String.lowercase a) (String.lowercase b) in List.sortcase_insensitive_compare lst
在标准库中，尤其是在“列表”模块中，有一个丰富的高阶函数列表，例如参见List.fold_left和List.sort。在第三方库中可以找到更高级的示例。一个很好的例子是在ocaml-gsl中实现的模拟退火。模拟退火是一种通用的优化过程，该过程由用于探究问题状态集的函数和误差函数（此处称为能量函数）参数化。
熟悉C ++的用户可以将其与Strategy模式进行比较。
-
锈有一个线性系统。有没有（好的）方法可以在OCaml中模拟这种情况？例如，在使用ocaml lua时，我想确保只有在lua处于特定状态时（堆栈顶部的表等）才会调用某些函数。 编辑：这里有一篇关于资源多态性的最新论文，与这个问题有关：https://arxiv.org/abs/1803.02796 编辑2：还有一些关于OCaml中会话类型的文章，包括语法扩展，以提供一些语法方面的支持。
-
如何获取这个类的类型？对于上下文，我使用ModelMapper，我需要类类型T从S转换为T。 背景： 我已经尝试了N种方法，其中我放置了“//一些方法来获取类型”，但没有任何效果。例如： 或
-
问题内容： 我有一个代表文本片段的泛型类。该文本片段可能具有多种不同模式（突出显示的不同类型）中的任何一种。这些模式用枚举表示。每个项目的Enum可能不同，但是它必须实现一个接口，该接口提供了一种将其中两个结合的方法（可以突出显示并加粗显示）。所以我有一个界面： 然后我的TextFragment是文本字符串和模式的容器。但是当我尝试声明该类时： 我收到以下错误： 令牌“扩展”的语法错误，预期 根据
-
理论之后，我们转移到一些实际功能上面，这会让我们更加简单地掌握它。为了不重复发明轮子，我使用三个Kotlin标准库中的三个函数。这些函数让我们仅使用泛型的实现就可以做一些很棒的事情。它可以鼓舞你创建自己的函数。 let let实在是一个简单的函数，它可以被任何对象调用。它接收一个函数（接收一个对象，返回函数结果）作为参数，作为参数的函数返回的结果作为整个函数的返回值。它在处理可null对象的时候是
-
编译时，此代码将产生以下+错误： 问题是访问中的类型T与列表中的T不相同。如何修复此编译问题？
-
软件工程中，我们不仅要创建一致的定义良好的API，同时也要考虑可重用性。 组件不仅能够支持当前的数据类型，同时也能支持未来的数据类型，这在创建大型系统时为你提供了十分灵活的功能。 在像C#和Java这样的语言中，可以使用泛型来创建可重用的组件，一个组件可以支持多种类型的数据。 这样用户就可以以自己的数据类型来使用组件。 下面来创建第一个使用泛型的例子：identity函数。 这个函数会返回任何传入