ocaml

8Nhiệt

1Trả lời

Sự kiện trì hoãn và bàn phím trong OCaml

Đây là một vòng lặp trò chơi đơn giản trong OCaml. Trạng thái được hiển thị, đầu vào được nhận, và trạng thái được nâng cao. Số khung hình trên giây bị hạn chế là 40 bằng cách trì hoãn chuỗi trong vòn

5Nhiệt

1Trả lời

Thi công hàm OCaml giải nén

Có thể giải nén một loại bằng cách liên kết dữ liệu của nó với một giá trị duy nhất thay vì một bộ tuple không? # type foo = Foo of int * string;; type foo = Foo of int * string # Foo (3; "bar");;

5Nhiệt

2Trả lời

Xử lý nhiều loại ngoại lệ trong OCaml

Có thể làm như sau? try (* danger zone *) with Not_found e -> (* code to handle not found *) with t -> (* code to handle all other issues *) Nếu tôi nhập điều đó vào trạng thái khó

9Nhiệt

2Trả lời

OCaml - Mẫu khớp với tham chiếu danh sách trong một bộ tóan

có cách nào khác để làm điều này không? Tôi đang cố gắng để làm mô hình kết hợp của một (a' option * (char * nodeType) list ref cách duy nhất tôi tìm thấy đã làm điều này: match a with | _, l -> matc

5Nhiệt

2Trả lời

Cách áp dụng một hàm cho một biến thể?

Hãy loại này = type intC = int;; type boolC = bool; type stringC = string;; type component = A of intC | B of boolC | C of stringC;; Nếu tôi muốn áp dụng một chức năng vào loại một của một thành

5Nhiệt

4Trả lời

Trong OCaml, có thể xác định Bản đồ theo các điều khoản của Bộ không?

Tôi đã thực hiện một đại diện của bộ (cây tìm kiếm cân bằng) trong OCaml. Nó thực sự là một functor Make ký module Make : functor (T : ORDERED_TYPE) -> sig type elt = T.t type t v

5Nhiệt

1Trả lời

Quá tải trong Ocaml

Tôi biết rằng OCaml không hỗ trợ quá tải. Sau đó, thay vì quá tải, chúng ta có thể làm gì để làm việc này? 1) sử dụng đa hình thay thế? 2) cung cấp các chức năng khác nhau cho các tên khác nhau? 3) đặ

6Nhiệt

1Trả lời

Làm thế nào xác định một chữ ký mô-đun mà thực hiện mô-đun được tham số hóa bởi một functor

Hãy nói rằng tôi có một mô-đun M tham số của một mô-đun F: module M (F : sig type id type data end) = struct type idtype = F.id type datatype = F.data type component = { id : idtype; data : dataty

5Nhiệt

2Trả lời

OCaml: loại ràng buộc trong chữ ký

Trong mã của tôi, tôi có một bối cảnh truy cập cơ sở dữ liệu cung cấp các hoạt động đọc/ghi sơ cấp, được gọi là CouchDB.ctx. Các mô-đun khác nhau trong ứng dụng của tôi sau đó mở rộng lớp đó với chức

6Nhiệt

3Trả lời

Tại sao lại thích currying đối với các tham số tuple trong OCaml?

"Introduction to Caml" nói Lưu ý, trong CAML nó là tốt hơn để sử dụng cà ri định nghĩa chức năng cho các chức năng nhiều đối số, không tuples. khi so sánh 'a -> 'b -> 'c quy ước gọi đến 'a * 'b -> 'c.