ocaml

6Ciepło

1Odpowiedz

Czy istnieje dobre narzędzie "OCaml Browser" dla systemu Linux?

Używam Emacs + Typerex do programowania OCaml. Próbowałem wcześniej OcaIDE w Windows. To nie jest tak ładny jak Typerex, ale ma dobrą cechę: Ocaml Przeglądarka Czy mimo to mieć taką przeglądarkę w Typ

7Ciepło

3Odpowiedz

Tail Recursive Levenshteina Odległość

I wdrożone Odległość Levenshteina w dość standardowy sposób w F # jako ćwiczenie let lastchar (s:string) = s.Substring(s.Length-1, 1) let lastchar_substring (s:string) len = s.Substring(len-1, 1) l

9Ciepło

2Odpowiedz

Łączy ciąg do liczby całkowitej w SML

Chciałbym wersję roboczą to: let x = "a"^0;;

12Ciepło

1Odpowiedz

OCaml: wyższe polimorfizm kinded (abstrahując nad modułów?)

Powiedzmy mam listę opcji: let opts = [Some 1; None; Some 4] chciałbym przekształcić je w opcji z listy, tak że: Jeśli na liście znajduje się None, wynikiem jest None W przeciwnym razie zbierane są

5Ciepło

1Odpowiedz

Jak włączyć "ślad stosu wyjątków" dla OCaml `Toplevel`?

w Toplevel, jak włączyć śledzenie stosu dla wyjątków? proste pytanie, nie wiem jak zapytać więcej w szczegółach.

8Ciepło

2Odpowiedz

Dekompilowanie plików kodu bajtowego OCaml

Pracuję nad programem Ocaml i mam kilka plików binarnych, które muszę wymyślić. Najbliżej, doszedłem do konwersji kodu bajtowego OCaml na skompilowany kod C przy użyciu ocamlcc. Nie chcę odtwarzać kod

9Ciepło

2Odpowiedz

Jak powinienem zorganizować mój projekt OCaml?

Wiem, że to pytanie jest dość ogólne i nawet nie wiem, jak lepiej zapytać. nie mam dużo doświadczenia w C i Żałuję tylko mogę zrobić coś podobnego w SML jak w Javie. Na przykład, w Java, normalnie utw

10Ciepło

1Odpowiedz

Implementacja typowania strukturalnego OCaml, Scala i Go

Podczas badania typowania strukturalnego znalazłem następujący wpis opisujący how interfaces in Go are translated to method lookup tables at runtime. Proces opisany w poście wydaje się znacznie odmien

14Ciepło

2Odpowiedz

Dlaczego przed tym typem jest znak plus?

Przeglądałem standardową bibliotekę ocaml i natrafiłem na ten kod w pliku map.ml. module type S = sig type key type +'a t val empty: 'a t' Zastanawiam się, dlaczego nie ma type +

5Ciepło

2Odpowiedz

Dlaczego OCaml List.fold_right nie został zaimplementowany jako rekursywny?

List.fold_right nie tail-recursive jest wskazane tutaj http://caml.inria.fr/pub/docs/manual-ocaml/libref/List.html Moje pytanie jest dlaczego List.fold_right nie został wdrożony jako tail-recursive? m