Dlaczego na liście List.map programu OCaml znajduje się zezwolenie?

Question

W SML 3.12.1, List.map opisana następująco:

let rec map f = function 
    [] -> [] 
    | a::l -> let r = f a in r :: map f l 

będę oczekiwać, że ostatni wiersz jest napisany jako | a::l -> f a :: map f l, ale zamiast tego jest pozornie bezużyteczne let wiążące. Czemu?

Answer 1

Uważam, że jest tam, aby zagwarantować kolejność funkcji aplikacji na mapie. Kolejność oceny prostych wyrażeń w OCaml jest nieokreślona, ​​więc bez zastosowania let kolejność aplikacji f do elementów listy byłaby nieokreślona. Ponieważ OCaml nie jest czystym językiem, naprawdę chciałbyś, aby zamówienie zostało określone (f jest wywoływane najpierw na początku listy, itd. W rekursywnie).