Conversión de OCaml a F #: diferencias entre la escritura y la inferencia de tipos

En la investigacióninferencia de tipo diferencias entre F # y OCaml encontré que tendían a centrarse ennominativo contraestructural tipo de sistema. Entonces encontréRasgos distintivos de los lenguajes de programación funcionales. que listan tipeo e inferencia de tipos como rasgos diferentes.

Dado que el artículo del rasgo dice OCaml y F # ambos usanDamas-Milner tipo de inferencia que pensé que era un algoritmo estándar, es decir, un algoritmo que no permite variaciones, ¿cómo se relacionan los dos rasgos? ¿Es que Damas-Milner es la base sobre la cual se construyen ambos sistemas de inferencia de tipos pero que cada uno modifica a Damas-Milner basándose en la tipificación?

También revisé el código fuente de F # para las palabras Damas, Milner y Hindley y no encontré ninguna. Una búsqueda de la palabra inferencia dio lugar al código para la inferencia de tipo.

Si es así, ¿hay algún documento que discuta los detalles de cada tipo de algoritmo de inferencia para el idioma en particular, o tengo que mirar el código fuente paraOCAML yF#.

EDITAR

Aquí hay unpágina que resalta algunas diferencias relacionadas con la inferencia de tipos entre OCaml y F #.