ocaml

    6Ciepło

    1Odpowiedz

    W SML 3.11, chcę „przedłużyć” istniejący moduł za pomocą dyrektywy obejmują, tak jak poniżej: module MyString = struct include String let trim s = ... end bez problemu. Ale teraz chcę jaw

    5Ciepło

    3Odpowiedz

    Staram się teraz nauczyć ocaml i chciałbym zacząć od małego programu, generując wszystkie kombinacje bitów: ["0", "0", "0"] ["0", " 0" , "1"] [ "0", "1", "0"] ... i tak dalej Mój pomysł jest następują

    5Ciepło

    2Odpowiedz

    W a.ml jest zdefiniowany typ rekordu t, który jest również zdefiniowany jako przezroczysty w a.mli, tzn. W interfejsie d tak, że definicja typu jest dostępny dla wszystkich pozostałych plików. a.ml ma

    10Ciepło

    4Odpowiedz

    W Pythonie można użyć printf jak formatowanie z „%” operatora: "i am %d years old" % 99 lub "%s is %d years old" % ("bob", 101) Czy istnieje sposób, aby uzyskać ten sam zwięzły składnię w SML, dla

    5Ciepło

    2Odpowiedz

    Chciałbym wiedzieć, jak zdefiniować puste! zmienna globalna typu Hashtbl w OCaml? Nie chcę używać Hashtbl.create, ponieważ nie znam jego początkowego rozmiaru i nie chcę odgadnąć rozmiaru początkowego

    23Ciepło

    4Odpowiedz

    można następujące funkcje polimorficzne let id x = x;; let compose f g x = f (g x);; let rec fix f = f (fix f);; (*laziness aside*) być napisane dla typów/konstruktorów typu lub modułów/funktorów

    10Ciepło

    4Odpowiedz

    Mam więc ładny kod OCaml (50000 linii). Chcę przenieść go do C. Czy jest jakiś darmowy translator OCaml na C?

    25Ciepło

    7Odpowiedz

    Po zapoznaniu się z podstawową składnią, odczytanie nietrywialnego kodu jest szybkim sposobem na naukę języka. Możemy również nauczyć się projektowania biblioteki/oprogramowania podczas czytania kodu

    15Ciepło

    3Odpowiedz

    Powiel możliwe: In Functional Programming, what is a functor? nie wiem zbyt wiele o SML, Uczyłem F # od jakiegoś czasu i bardzo to rozumiem. Mówią, że F # tęskni za modelem funktora, który jest obecny

    9Ciepło

    5Odpowiedz

    Mam funkcję postaci 'a -> ('a * int) list -> int let rec getValue identifier bindings = match bindings with | (identifier, value)::tail -> value | (_, _)::tail -> getValue identifier