W badaniachwnioskowanie typu różnice między F # i OCaml Stwierdziłem, że skupiają się namianownikowy vs.strukturalny system typu. Potem znalazłemCharakterystyczne cechy funkcjonalnych języków programowania które wymieniają typowanie i wpisują wnioskowanie jako różne cechy.

Ponieważ artykuł ten mówi, że oba OCaml i F # są używaneDamas-Milner wnioskowanie typu, które według mnie było standardowym algorytmem, tj. algorytm, który nie dopuszcza wariacji, jak odnoszą się do tych dwóch cech? Czy to dlatego, że Damas-Milner jest podstawą, na której zbudowane są oba systemy wnioskowania typu, ale każdy z nich modyfikuje Damas-Milner na podstawie pisania?

Sprawdziłem również kod źródłowy F # dla słów Damas, Milner i Hindley i nie znalazłem żadnego. Poszukiwanie wnioskowania wyrazu podniosło kod wnioskowania typu.

Jeśli tak, czy są jakieś dokumenty omawiające szczegóły każdego algorytmu wnioskowania dla danego języka, czy też muszę spojrzeć na kod źródłowy dlaOCaml iFA#.

EDYTOWAĆ

Tutaj jeststrona który podkreśla pewne różnice związane z wnioskowaniem typu między OCaml i F #.