N-ary krotki vs pary

W Ocaml krotki z różnymi arities mają różne konstruktory typów i wartości:

Kiedy używać średników w SML?

co to jest typ wzajemnie rekurencyjny?

Jeśli w ML, przykładem rekurencyjnego typu danych jest:

Jeśli SML.NET miał funktory, dlaczego nie może F #?

To pytanie zaczęło się odMoje tłumaczenie z „ML dla pracującego programisty„(WorldCat) przez L. C. PAULSONA do F #, który używa funktorów do przykładów.Ewent...