ocaml

13Ciepło

1Odpowiedz

Jaki jest sens Warning 40: ten rekord ... zawiera pola, które nie są widoczne w bieżącym zakresie

Proszę rozważyć następujący kod: module A = struct type r = { i : int; s: string } end module B = struct type r = { i : int; s : string } end let f (x : A.r) : B.r =

5Ciepło

1Odpowiedz

Jaki jest cel pliku _tags z OCaml i jak interpretować zawartość?

Począwszy od Building OCaml code that uses list comprehension, mogę użyć pliku _tags do wykonania ocamlbuild z mniejszymi opcjami kompilacji. $ cat _tags <**/*> : package(camlp4),syntax(camlp4o),pack

5Ciepło

1Odpowiedz

Łączenie biblioteki przez ocamlbuild/ocamlfind

Mam lokalnie przypięty projekt OPAM o nazwie ojasmine, który chcę skompilować jako bibliotekę do wykorzystania przez inny projekt o nazwie test_tournabox (ostatecznie kompilowany do javascript). Jedna

28Ciepło

2Odpowiedz

Czy można uzyskać nieskończony błąd rodzaju w Haskell 98?

Wdrażam system rodzajowy dla nowego języka programowania funkcjonalnego i obecnie piszę funkcję unifikacji dwóch rodzajów. Istnieją cztery przypadki dwóch rozważenia: +---------+---------+------------

5Ciepło

1Odpowiedz

Jak zainstalować bibliotekę OCaml Core na (Arch) Linux x86_64?

$ ocaml -version The OCaml toplevel, version 4.02.1 $ opam --version 1.2.0 $ opam init $ opam install core #=== ERROR while installing camlp4.4.02.1+system ==============================# # op

6Ciepło

1Odpowiedz

Jak przekazać flagę -S do ocamlopt z ocamlbuild?

Chciałbym przekazać flagę -S do ocamlopt podczas budowania za pomocą poleceń ocamlbuild i corebuild. Rozumiem, że wykonanie ocamlbuild -cflag -S ... nie zadziała, ponieważ -S flaga istnieje tylko dla

5Ciepło

1Odpowiedz

wiele raportów o błędach z menhir: jaki token?

piszę niewielką parser z Menhir + Ocamllex i mam dwa warunki nie mogę wydają się spełniać jednocześnie chciałbym zachować parsowania po błędzie (zgłosić więcej błędów). Chciałbym wydrukować token, w k

6Ciepło

1Odpowiedz

Co to ** soczewki ** w świecie OCaml

Czy ktoś może wyjaśnić, * jakie są soczewki w zakresie OCaml? Próbowałem google, ale prawie wszystkie z nich są w świecie Haskella. Szkoda tylko kilka prostych pokazów dla niego w świecie SML, podobni

8Ciepło

2Odpowiedz

punkty przerwania w programie argumentów, przechodząc z SML

Dzisiaj miałem zamiar poprzez kod źródłowy modułu Jane Street „s Core_kernel i came across się compose funkcję: (* The typical use case for these functions is to pass in functional arguments and

9Ciepło

1Odpowiedz

Czy mogę zdefiniować funkcję OCaml, która się zwraca?

Na schemacie, mogę napisać funkcję: (define (eat-line line) eat-line) której mógłbym użyć w pętli jak: (define (loop op) (let ((line (read-line)) (loop (op line)))) W SML próbowałem