Thành ngữ OCaml tương đương với hàm phạm vi của Python là gì?

Question

Tôi muốn tạo danh sách các số nguyên từ 1 đến n. Tôi có thể làm điều này trong Python bằng cách sử dụng phạm vi (1, n + 1), và trong Haskell sử dụng: lấy n (iterate (1+) 1).

Thành ngữ OCaml phù hợp cho điều này là gì?

Answer 1

Không có thành ngữ mà tôi biết, nhưng đây là một định nghĩa khá tự nhiên sử dụng một nhà điều hành ghi:

# 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] 

Ngoài ra, comprehensions syntax extension (mà cung cấp cho các cú pháp [i .. j] cho ở trên) có khả năng là bao gồm trong bản phát hành tương lai của "community version" of OCaml, để có thể trở thành thành ngữ. Tôi không khuyên bạn nên bắt đầu chơi với các phần mở rộng cú pháp nếu bạn chưa quen với ngôn ngữ.

Answer 2

Ở đây bạn đi:

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

Lưu ý rằng đây không phải là đuôi-đệ quy. Các phiên bản Python hiện đại thậm chí có một phạm vi lười biếng.

Answer 3

BTW, trong Haskell bạn muốn sử dụng

enumFromTo 1 n 
[1 .. n] 

Đây chỉ là không cần thiết.

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

Answer 4

Với Batteries Included, bạn có thể viết

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

Nhà điều hành -- tạo ra một đếm từ giá trị đầu tiên vào thứ hai. Toán tử --^ tương tự, nhưng liệt kê khoảng thời gian nửa mở (1--^10 sẽ liệt kê từ 1 đến 9).

Answer 5

Nếu bạn sử dụng open Batteries (là phiên bản cộng đồng của thư viện chuẩn), bạn có thể làm range(1,n+1) bằng cách List.range 1 `To n (chú ý báo trước trước To).

Một cách tổng quát hơn (cũng cần pin) là sử dụng List.init n f trả về danh sách chứa (f 0) (f 1) ... (f (n-1)).

Answer 6

OCaml có cú pháp đặc biệt cho phù hợp với mô hình trên phạm vi:

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 

Để tạo một phạm vi, bạn có thể sử dụng Core:

List.range 0 1000 

Answer 7

Một chút muộn để các trò chơi ở đây nhưng đây là thực hiện của tôi:

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

Sau đó, bạn có thể sử dụng nó rất giống với hàm python:

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

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

tự nhiên Tôi nghĩ câu trả lời tốt nhất là chỉ sử dụng Core, nhưng điều này có thể tốt hơn nếu bạn chỉ cần một chức năng và bạn đang cố gắng tránh toàn bộ khuôn khổ.