django-urls

5Nhiệt

1Trả lời

Làm thế nào để có được số lõi trên một máy với OCaml?

Tôi đang song song một số công việc trong chương trình OCaml của mình (với parmap) nhưng tôi không muốn mã hóa cứng số lượng lõi vào ứng dụng của mình. Có cách nào để lấy số lõi trong thời gian chạy k

33Nhiệt

1Trả lời

Làm thế nào các functors trong Haskell và OCaml tương tự nhau?

Tôi đã chơi đùa trong một chiếc Haskell trong một năm qua và tôi thực sự bắt đầu 'làm' nó, cho đến Monads, Lenses, Type Families, ... rất nhiều. Tôi sắp rời khỏi khu vực thoải mái này một chút và tôi

6Nhiệt

3Trả lời

Cách gỡ lỗi mã OCaml đúng cách?

Tôi có thể biết cách một nhà phát triển OCaml có kinh nghiệm gỡ lỗi mã của mình không? Điều tôi đang làm chỉ sử dụng Printf.printf. Nó là quá phiền hà vì tôi phải bình luận tất cả chúng ra khi tôi cần

5Nhiệt

4Trả lời

Chức năng khớp mẫu trong OCaml

Mọi người có thể giải thích cho tôi về đoạn mã này không? let safe_division n = function | 0 -> failwith "divide by 0" | m -> n/m Khi tôi thực thi safeDiv 3 0, các m và n trong trường hợp này là g

8Nhiệt

2Trả lời

Có chức năng `lật` trong thư viện chuẩn OCaml không?

Trong Haskell, chúng tôi có hàm flip: flip f x y = f y x, về cơ bản có chức năng và trả về cùng một hàm ngoại trừ hai đối số được hoán đổi. Tôi tự hỏi nếu có một đối tác trong OCaml, kể từ khi tôi khô

5Nhiệt

2Trả lời

Sự khác nhau giữa mô-đun và gói Ocaml

tôi về cơ bản cố gắng làm theo câu trả lời stackoverflow này nằm trong bài viết này: What is the best module for HttpRequest in OCaml và tôi đang chạy trong các vấn đề. Khi tôi cố gắng chạy một tệp du

6Nhiệt

1Trả lời

__ trong Ocaml chiết xuất từ Coq

Ocaml mã được trích xuất từ Coq bao gồm (trong một số trường hợp) một loại __ và một hàm __ quy định như sau: type __ = Obj.t let __ = let rec f _ = Obj.repr f in Obj.repr f Các tài liệu nói rằng

7Nhiệt

2Trả lời

Chi nhánh OCaml thông tin

Có rất nhiều nhánh thú vị của OCaml trong http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/. Tôi không thể tìm thấy bất kỳ thông tin tốt về những gì họ làm, mặc dù. Họ không được công khai? Ví d

7Nhiệt

1Trả lời

Concoqtion (Coq + MetaOCaml) - tại sao bị bỏ rơi?

Trước khi làm phiền mọi người trong danh sách gửi thư của OCaml, tôi nghĩ tôi có thể đăng câu hỏi của mình ở đây. Tôi vừa phát hiện ra điều này beauty (liên kết đến trang web Concoqtion). Concoqtion l

12Nhiệt

2Trả lời

Có `chuỗi` trong OCaml hỗ trợ UTF-8 không?

Loại string trong hỗ trợ OCaml utf8? Hoặc thư viện nào tôi nên sử dụng cho chuỗi utf8?