ocaml

5Nhiệt

3Trả lời

Cách lấy sản phẩm của hai danh sách trong OCaml?

Tôi có hai danh sách: let a = ["a";"b"]; let b = ["c";"d"]; Tôi muốn một danh sách đầu ra c như: c = ["a";"c";"a";"d";"b";"c";"b";"d"]; Làm thế nào để làm điều đó trong ocaml như danh sách là khô

13Nhiệt

3Trả lời

CLR vs OCaml ngoại lệ phí

Reading Bắt đầu từ F # - Robert Pickering tôi tập trung vào những đoạn như sau: Các lập trình viên đến từ một nền OCaml nên cẩn thận khi sử dụng ngoại lệ trong F #. Do kiến trúc của CLR, ném một ngo

19Nhiệt

2Trả lời

cách lặp lại lệnh cuối cùng trong trình thông dịch OCaml

Tôi đã thử OCaml. Đôi khi nó nhanh hơn chỉ để kiểm tra một số mã bằng cách sử dụng trình bao thông dịch nhưng, nó không mang đến lệnh cuối cùng khi tôi nhấn phím 'lên'. Đó là một nỗi đau khi tôi bỏ lỡ

5Nhiệt

2Trả lời

Một ví dụ lạ về việc gõ vào Ocaml

nó là khá lạ rằng đoạn mã ocaml này được đánh máy tốt bởi các toplevel. Nhìn vào cấu trúc, nếu g là loại int-> int như được hiển thị trong toplevel, phần h x = g x của cấu trúc sẽ không thể nhận được

5Nhiệt

2Trả lời

Liệu runtime thường sử dụng một giải bắt buộc giống như mã ngôn ngữ chức năng

Tôi có một câu hỏi chung về dịch viên ngôn ngữ chức năng: Có thực sự bất kỳ lợi thế để sử dụng một ngôn ngữ chức năng so với một ngôn ngữ bắt buộc trong thời gian chạy (hoặc làm theo cách của họ để th

7Nhiệt

2Trả lời

Tại sao các biến kiểu không liên kết trong đối tượng OCAML không xuất hiện khi loại lớp được sử dụng?

Tôi muốn hiểu lý do cho hành vi này của các đối tượng OCAML. Giả sử tôi có một lớp A gọi các phương thức của đối tượng của lớp khác B. Về mặt sơ đồ, A # f gọi B # g và B # h. Thực hành bình thường tro

5Nhiệt

6Trả lời

Mô phỏng thử-với-cuối cùng trong OCaml

OCaml's try .. with không cung cấp điều khoản finally như Java. Nó sẽ rất hữu ích, mặc dù, đặc biệt là khi đối phó với các tác dụng phụ. Ví dụ, tôi muốn mở một tập tin, chuyển tập tin mở sang một chức

5Nhiệt

1Trả lời

Chỉ định ưu tiên động và ưu tiên cho một toán tử trong Menhir/Ocamlyacc

Tôi đang cố gắng phân tích ngôn ngữ mà các toán tử có thuộc tính động (ưu tiên và ưu tiên) bằng trình phân tích cú pháp Menhir (tương tự như Ocamlyacc). Trong giai đoạn lexing, tất cả các toán tử điền

5Nhiệt

2Trả lời

Loại OCaml của toán tử cộng

Tại sao loại dấu cộng (+) được coi là int -> int -> int trái ngược với (int * int) -> int? Đối với tôi, thứ hai có ý nghĩa bởi vì nó "chấp nhận" một 2-tuple (các phụ lục) và trả về một đơn int (tổng c

7Nhiệt

1Trả lời

Tuareg-mode và caml-mode

Tôi hiện đang sử dụng chế độ tuareg nhưng tôi cũng muốn có thể sử dụng chức năng của chế độ caml. Đặc biệt, tôi muốn có thể sử dụng chú thích kiểu tương tác, và rõ ràng điều này xảy ra với kiểu caml.