ocaml

8Ciepło

1Odpowiedz

Osadzanie OCaml w C: linkowanie błędu

Próbuję skompilować program używając mieszanych źródeł C i Ocaml, z główną aplikacją w C wywołującą niektóre fragmenty kodu OCaml. W porządku, nie ma problemu, Wydaje się, że jest to typowa operacja,

c linker ocaml 2012-04-20

---

13Ciepło

3Odpowiedz

CLR vs wyjątkiem OCaml napowietrznych

Reading Począwszy F # - Robert Pickering skupiłem się na następujący akapit: Programatory pochodzące ze środowisk OCaml należy być ostrożnym przy wykorzystujące wyjątki w F #. Z powodu architektury CL

exception f# clr ocaml 2012-06-09

---

5Ciepło

2Odpowiedz

Obsługa wielu typów wyjątków w OCaml

Czy jest możliwe? try (* danger zone *) with Not_found e -> (* code to handle not found *) with t -> (* code to handle all other issues *) Gdybym wpisać, że do Toplevel, otrzymuję b

syntax error-handling ocaml 2012-04-24

---

5Ciepło

2Odpowiedz

Jak zastosować funkcję do wariantu?

Niech to typy = type intC = int;; type boolC = bool; type stringC = string;; type component = A of intC | B of boolC | C of stringC;; Jeśli chcesz zastosować funkcję typu a komponentu A, muszę s

functional-programming ocaml 2012-04-26

---

5Ciepło

2Odpowiedz

Czy Runtime zazwyczaj używają interpretację imperatyw podobnego kodu językowego funkcjonalny

Mam ogólne pytanie o tłumaczy języków funkcyjnych: istnieją właściwie żadnych korzyści z używania języka funkcjonalnego kontra języku bezwzględnej w czasie wykonywania (lub dotrzeć do tłumacza)? Żadne

haskell functional-programming ocaml interpreter imperative-programming 2012-06-20

---

5Ciepło

1Odpowiedz

Przeciążanie w Ocaml

Wiem, że OCaml nie obsługuje przeciążania. Następnie, zamiast przeciążać, co możemy zrobić, aby to obrobić? 1) zamiast tego użyj polimorfizmu? 2) podać różne funkcje różnych nazw? 3) umieścić funkcje

ocaml overloading ml 2012-05-08

---

5Ciepło

1Odpowiedz

Określanie priorytetu i priorytetu dynamicznego dla operatora w Menhir/Ocamlyacc

Próbuję przeanalizować język, w którym operatory mają atrybuty dynamiczne (priorytet i pierwszeństwo), używając parsera Menhir (podobnego do Ocamlyacc). Podczas fazy lekcji wszyscy operatorzy wypełnia

parsing ocaml operator-precedence ocamlyacc menhir 2012-07-01

---

6Ciepło

3Odpowiedz

Dlaczego wolisz curry do krotki argumentów w OCaml?

"Introduction to Caml" mówi Uwaga, w Caml lepiej jest użyć definicji funkcji curry dla funkcji wielu argumentów, a nie krotki. przy porównywaniu 'a -> 'b -> 'c konwencje powołanie do 'a * 'b -> 'c. Po

ocaml tuples currying 2012-05-19

---

8Ciepło

2Odpowiedz

Efektywna struktura danych funkcjonalnych dla skończonych biografii

Poszukuję funkcjonalnej struktury danych, która reprezentuje skończone bije między dwoma typami, co oznacza oszczędność miejsca i oszczędność czasu. Przykładowo chęcią jeśli rozważa bijection F o wiel

haskell data-structures functional-programming ocaml bijection 2012-05-19

---

6Ciepło

5Odpowiedz

Zachowanie niezmienności przy jednoczesnym umożliwieniu destrukturyzacji

Chcę zdefiniować typ, tak aby cała konstrukcja przechodziła przez elementy modułu, które mogą zachować niezmienniki, ale zezwalać na destrukturyzację w celu dopasowania wzorca. Właśnie uczę SML ale po

pattern-matching ocaml invariants 2012-05-22

---