ocaml

10Nhiệt

4Trả lời

Tôi đang cố gắng tìm hiểu cách OCaml được thể hiện trong ngăn xếp công nghệ doanh nghiệp. Ví dụ: Có trong hàng đợi thông điệp doanh nghiệp của riêng Ocaml hay công cụ luồng công việc không? Vì vậy, bấ

6Nhiệt

2Trả lời

Không có hàm tạo kiểu nào cho các loại bản ghi?

Tôi đã dịch mã Haskell sau để OCaml: data NFA q s = NFA { intialState :: q , isAccepting :: q -> Bool , transition :: q -> s -> [q] } Ban đầu tôi đã cố gắng một bản dịch rất đen: type ('q,'s) nf

12Nhiệt

1Trả lời

Nơi đặt mô-đun tiện ích dùng chung trong OCaml?

Tôi có một tệp Tools.ml có chứa một số chức năng tiện ích phổ biến mà tôi tự viết. Dưới .../Code/ Tôi có một số thư mục mà mỗi thư mục chứa một dự án. Câu hỏi của tôi là nơi tôi nên đặt số này Tools.m

5Nhiệt

1Trả lời

Frama-C Windows Binary Available?

Tôi đang tìm kiếm một số thử nghiệm với dự án mã nguồn mở Frama-C và muốn cài đặt các công cụ trên máy tính Windows 7. Dường như các phiên bản trước có trình cài đặt nhị phân cho Windows, nhưng phiên

12Nhiệt

3Trả lời

Làm thế nào tôi có thể thực hiện một đống nhị phân chuẩn hoàn toàn chức năng (ocaml hoặc haskell)?

Có bất kỳ triển khai nào của một vùng nhị phân chuẩn thuần túy không? Tôi biết có rất nhiều heaps thú vị như: Binomial, heap leftist, tất cả chúng đều có chức năng thực hiện, chỉ cần tự hỏi là có một

5Nhiệt

1Trả lời

đa hình loại bên trong một mô-đun (OCaml)

Tôi chỉ xác định một mô-đun Matrix như sau: module Matrix = struct type element type t = element array array let make (nr: int) (nc: int) (init: element) : t = let result =

6Nhiệt

1Trả lời

Phạm vi xây dựng của một mô-đun trong OCaml

tôi đã xác định các giao diện và mô-đun sau: module type TYPE = sig type t end module Type = (struct type t = | TBot | T of int | TTop end: TYPE) Bây giờ tôi nh

8Nhiệt

2Trả lời

Làm thế nào để kiểm tra trong 'đầu' tiếp theo trong OCaml là sản phẩm nào?

Tôi mới ở OCaml (và vẫn là một người mới trong lập trình học nói chung) và tôi có một câu hỏi nhanh về việc kiểm tra loại chuỗi phần tử tiếp theo trong danh sách chuỗi là gì. Tôi muốn nó đặt dấu phân

6Nhiệt

1Trả lời

Hashtables trong ocaml

Có thể lưu trữ các loại khác nhau trong cùng một Hashtable (Hashtbl) trong Ocaml không? Các hashtables có thực sự bị hạn chế chỉ với một loại không?

6Nhiệt

2Trả lời

Làm cách nào để phát hiện hệ điều hành đang chạy?

Làm thế nào tôi có thể phát hiện loại hệ thống/hệ điều hành trong OCaml? Ý tưởng hiện tại của tôi thực sự kỳ lạ. Chạy cuộc gọi hệ thống: "uname -a" với let syscall ?(env=[| |]) cmd = let ic, oc,