Na pesquisainferência de tipos diferenças entre F # e OCaml eu achei que eles tendem a se concentrar emnominativo vs.estrutural sistema de tipos. Então eu encontreiTraços distintivos de linguagens de programação funcionais qual lista de digitação e tipo de inferência como traços diferentes.

Desde que o artigo de traço diz OCaml e F # ambos usamDamas-Milner inferência de tipos que eu pensava ser um algoritmo padrão, ou seja, um algoritmo que não permite variações, como as duas características se relacionam? Será que Damas-Milner é a base sobre a qual ambos os sistemas de inferência de tipos são construídos, mas que cada um deles modifica Damas-Milner com base na digitação?

Também verifiquei o código-fonte F # para as palavras Damas, Milner e Hindley e não encontrei nenhuma. Uma pesquisa pela inferência da palavra transformou o código em inferência de tipos.

Em caso afirmativo, há algum artigo que discuta os detalhes de cada algoritmo de inferência de tipos para o idioma específico, ou preciso examinar o código-fonte paraOCaml eF #.

EDITAR

Aqui está umpágina que destaca algumas diferenças relacionadas à inferência de tipos entre OCaml e F #.