moduły SML realizacja

Question

biblioteki standardowej SML zawiera różne moduły: List, Map, Nativeint, itd. Wiem, że interfejsy do tych modułów są dostarczane (np dla List module), ale jestem zainteresowany algorytmów i ich implementacji stosowanych w modułach ' Funkcje.

Gdzie mogę to znaleźć?

Answer 1

Możesz znaleźć definicje w kodzie źródłowym OCaml. Na przykład implementacja funkcji Map jest w stdlib/map.ml w dystrybucji źródła OCaml.

Answer 2

Powinny być już zainstalowane w systemie. Najprawdopodobniej (zakładając system uniksowy) znajdują się w/usr/lib/ocaml lub/usr/local/lib/ocaml. Po prostu otwórz dowolny z plików .ml.

Answer 3

• w systemie: /usr/lib/ocaml/list.ml i inne .ml plików
• w internecie: https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.ml i inne .ml pliki w https://github.com/ocaml/ocaml/tree/trunk/stdlib

---

Lista wdrożenia jest interesujący się uczyć. Na przykład, funkcja map mogą być realizowane tak:

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

ale zamiast tego jest realizowane tak:

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

Jaka jest różnica? Wykonaj to:

List.map print_int [1;2;3] ;; 
map print_int [1;2;3] ;; 

Pierwsza drukuje 123, ale druga drukuje 321! Ponieważ ocena f a może powodować działania niepożądane, ważne jest, aby wymusić prawidłową kolejność. Tak właśnie działa oficjalna implementacja map. Rzeczywiście, evaluation order of arguments is unspecified in OCaml, nawet jeśli wszystkie implementacje są zgodne z tą samą kolejnością.

Zobacz także Optimizing List.map post on the Jane Street blog, aby zapoznać się z wydajnością (List.map jest skuteczny na małych listach).