ocaml

7Ciepło

2Odpowiedz

wiele "sieci" w połączonych modułach OCaml

Mam wiele modułów "bibliotecznych" w OCaml (głównie funkcje pomocnicze i pomocnicze), gdzie na końcu dodałem następujący kod do trywialnego testowania jednostkowego: let main() = ... main lub let()

22Ciepło

2Odpowiedz

OCaml - Jak przekonwertować int na string?

Jak przekonwertować int na ciąg? Przykład: od 1 do "1".

8Ciepło

2Odpowiedz

OCaml wyrażenie logiczne [[]] == [[]]

Mam funkcję, która zwraca [[]], i chcę przetestować wynik jako test jednostkowy. Ale znalazłem, że wyrażenie [[]] == [[]] zwraca false. Oto prosty kod testowy: # [[]] == [[]];; - : bool = false Czy

7Ciepło

2Odpowiedz

generic zegar funkcja high-order w SML

Próbuję zaimplementować rodzajowe funkcji timera w SML, który zabierze jako wejście funkcji arbitralnej liczbę operandów i typ „R Wróć i zwraca funkcję z: tej samej budowie i rodzaje parametrów wejści

7Ciepło

3Odpowiedz

Wynik słabej zapamiętywania funkcji wieloparametrowej w OCaml

Poszukuję sposobu na zapamiętanie wyników funkcji OCaml f, która pobiera dwa parametry (lub więcej, ogólnie). Ponadto (i to jest trudna część), chcę, aby mapa leżąca u podstaw tego procesu całkowicie

14Ciepło

3Odpowiedz

ciąg znaków do listy znaków

Chcę napisać funkcję, która pobiera ciąg znaków i zwraca listę znaków. Oto funkcja, ale myślę, że nie jest to, co chcę (chcę wziąć ciąg znaków i zwrócić listę znaków). let rec string_to_char_list s =

5Ciepło

1Odpowiedz

Obiekty wewnątrz obiektów w OCaml

Próbuję dowiedzieć się, jak mogę parametryzować obiekty OCaml z innymi obiektami. W szczególności chcę, aby móc stworzyć link obiekt, który zawiera naprzód node obiektu i do tyłu node obiekt, a ja chc

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,

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

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