ocaml

5Ciepło

3Odpowiedz

OCaml - jak załadować plik.ml

Jak załadować plik myfile.ml, że mogę go użyć mój plik? Gdzie powinienem umieścić ten plik w kompilatorze? Nie mogę tego teraz zrobić. Z góry dziękuję!

file ocaml 2013-12-17

---

5Ciepło

1Odpowiedz

Czy istnieje debugger śledzący taki jak "dbg" dostępny dla Haskell lub OCaml?

Czy istnieje debugger śledzący taki jak dbg dostępny dla Haskell lub OCaml? Bardzo nieformalnie, debugowanie w stylu printf jest tylko lepsze, w pełni konfigurowalne w czasie działania. Zasadniczo uży

haskell erlang ocaml dbg 2014-09-01

---

7Ciepło

3Odpowiedz

OCaml unosi się w pudełku lub un-boxed?

Wiem, że numery zmiennoprzecinkowe są normalnie zapakowane w OCaml, ale moją trudnością jest to słowo: normalnie. Kiedy nie są zapakowane? A jeśli nie są zapakowane w pudełka, w jaki sposób są repreze

floating-point ocaml 2013-09-23

---

5Ciepło

1Odpowiedz

W OCaml, dlaczego istnieje funkcja pomocnicza na liście Core.find?

podstawowymi, List.find określa się za pomocą funkcji pomocniczej, w następujący sposób: let find l ~f = let rec find_aux = function | [] -> None | hd :: tl -> if f hd then Some hd els

list ocaml 2014-07-24

---

5Ciepło

2Odpowiedz

Skrócona instrukcja funkcji konstruktora

Czy istnieje jakiś sposób przekazania konstruktora jako funkcji? type foo = | Foo of int | Bar of int let foo x = Foo x let bar = fun x -> Bar x Czy istnieje skrótem funkcji foo i bar?

ocaml 2014-04-17

---

8Ciepło

2Odpowiedz

„jako” słowo kluczowe w SML

W odpowiedzi na tutoriale dla SML dostępnych na this site, niektóre z rozwiązań, w tym jeden dla eliminując duplikaty z elementów listy, opisana w następujący sposób: let rec compress = function

pattern-matching ocaml 2014-11-05

---

5Ciepło

1Odpowiedz

Jak skopiować zamknięcie OCaml?

Chcę przechowywać zamknięcie OCaml do późniejszego wykorzystania przez zewnętrzną bibliotekę C. Jestem w stanie wykonać następujące czynności: <TARGET> = caml_alloc(Wosize_val(<SOURCE>), Tag_val(<SOUR

c closures ocaml 2014-04-22

---

6Ciepło

2Odpowiedz

Jak rozwiązać niejednoznaczność w definicji gramatyki LR (1)?

Piszę kompilator Golang w OCaml, a listy argumentów powodują mi trochę bólu głowy. W Go, można grupować kolejnych nazw parametrów tego samego typu w następujący sposób: func f(a, b, c int) === func f(

parsing go ocaml 2014-09-22

---

7Ciepło

1Odpowiedz

Jaki jest stan rozszerzeń składni -ppx dla OCaml?

Dodano propozycję z Alain Frisch of Lexifi over a year ago for an alternative to camlp4 for writing sytnax extensions making use of the -ppx flag dodaną w OCaml 4.00. W tym czasie wspomniał, że jest j

ocaml camlp4 2013-10-10

---

5Ciepło

3Odpowiedz

Parametryzowane typy w SML

próbuję użyć parametryzowane typy w SML ale doesnt't pracy :( W pierwszym pliku „tree.ml” zdefiniować typ: type 'a tree = | Node of ('a tree)*('a tree) | Leaf of 'a W innym plik „intTree.m

types ocaml parameterized 2014-05-11

---