Co to jest idiom OCaml równoważny funkcji zakresu Pythona?

Question

Chcę utworzyć listę liczb całkowitych od 1 do n. Mogę to zrobić w Pythonie używając zakresu (1, n + 1), a w Haskell używając: take n (iterate (1+) 1).

Jaki jest właściwy idiom OCaml dla tego?

Answer 1

Nie ma idiom, który znam, ale tutaj jest dość naturalny definicja za pomocą operatora Infix:

# let (--) i j = 
    let rec aux n acc = 
     if n < i then acc else aux (n-1) (n :: acc) 
    in aux j [] ;; 
     val (--) : int -> int -> int list = <fun> 
# 1--2;; 
- : int list = [1; 2] 
# 1--5;; 
- : int list = [1; 2; 3; 4; 5] 
# 5--10;; 
- : int list = [5; 6; 7; 8; 9; 10] 

Alternatywnie comprehensions syntax extension (co daje składni [i .. j] dla wyżej) mogą mieć charakter zawarte w przyszłym wydaniu "community version" of OCaml, więc może stać się idiomatyczne. Nie polecam rozpoczęcia gry z rozszerzeniami składni, jeśli jesteś początkującym językiem.

Answer 2

Proszę bardzo:

let rec range i j = if i > j then [] else i :: (range (i+1) j) 

Zauważ, że to nie jest ogon rekurencyjnej. Nowoczesne wersje Pythona mają nawet leniwy zasięg.

Answer 3

BTW, w Haskell wolisz używać

enumFromTo 1 n 
[1 .. n] 

Są to po prostu niepotrzebne.

take n [1 ..] 
take n $ iterate (+1) 1 

Answer 4

Z Batteries Included, można napisać

let nums = List.of_enum (1--10);; 

Operator -- generuje wyliczenie wartości od pierwszego do drugiego. Operator --^ jest podobny, ale wylicza półotwarty interwał (1--^10 będzie wyliczał od 1 do 9).

Answer 5

Jeśli używasz open Batteries (który jest wersją społeczność biblioteki standardowej), można zrobić range(1,n+1) przez List.range 1 `To n (zawiadomienie backquote przed To).

Bardziej ogólny sposób (również wymaga baterii) jest użycie List.init n f, która zwraca listę zawierającą (f 0) (f 1) ... (f (n-1)).

Answer 6

OCaml posiada specjalną składnię dopasowywania wzorca na zakresach:

let() = 
    let my_char = 'a' in 
    let is_lower_case = match my_char with 
    | 'a'..'z' -> true (* Two dots define a range pattern *) 
    | _ -> false 
    in 
    printf "result: %b" is_lower_case 

Aby utworzyć zakres, można użyć Core:

List.range 0 1000 

Answer 7

trochę późno do gry tutaj, ale tutaj jest moje wykonanie:

let rec range ?(start=0) len = 
    if start >= len 
    then [] 
    else start :: (range len ~start:(start+1)) 

Można wtedy użyć go bardzo podobnie do funkcji Pythona:

range 10 
    (* equals: [0; 1; 2; 3; 4; 5; 6; 7; 8; 9] *) 

range ~start:(-3) 3 
    (* equals: [-3; -2; -1; 0; 1; 2] *) 

naturalnie Myślę, że najlepszym rozwiązaniem jest po prostu użyć Rdzeń, ale to może być lepiej, jeśli potrzebujesz tylko jedną funkcję i starasz się unikać pełnego ramy.