В исследованиивывод типа различия между F # и OCaml я обнаружил, что они, как правило, сосредоточены наименительный противструктурный система типов, Потом я нашелОтличительные черты функциональных языков программирования какой список печатать и выводить тип как различные черты.

Поскольку в этой статье говорится, что OCaml и F # оба используютDamas-Милнер вывод типа, который я считал стандартным алгоритмом, то есть алгоритмом, который не допускает изменений, как соотносятся эти две черты? Неужели Damas-Milner - это основа, на которой построены обе системы вывода типов, но каждая из них модифицирует Damas-Milner на основе типирования?

Также я проверил исходный код на F # для слов Damas, Milner и Hindley и не нашел ни одного. Поиск по выводу слова обнаружил код для вывода типа.

Если да, есть ли какие-либо документы, в которых обсуждаются детали каждого алгоритма вывода типов для конкретного языка, или мне нужно посмотреть исходный код дляOCaml а такжеF #.

РЕДАКТИРОВАТЬ

Вотстраница это подчеркивает некоторые различия, связанные с выводом типов между OCaml и F #.