ocaml

5calore

3risposta

Perché il compilatore smette di lamentarsi di "tipo unità" in questo caso?

Se faccio let f1 x = x; x+1, compilatore si lamenta: Warning 10: this expression should have type unit. Se lo faccio let f2 f = f(); 5, compilatore darà val f2 : (unit -> 'a) -> int = <fun>. Domande I

9calore

2risposta

toString() equivalente in OCaml

Sono nuovo in OCaml e sto provando a eseguire il debug di un codice OCaml. Esiste qualche funzione in OCaml equivalente alla funzione toString() in Java con la quale è possibile stampare la maggior pa

5calore

1risposta

Come si copia una chiusura OCaml?

Voglio memorizzare una chiusura OCaml per un utilizzo successivo da una libreria C esterna. Sono in grado di effettuare le seguenti operazioni: <TARGET> = caml_alloc(Wosize_val(<SOURCE>), Tag_val(<SOU

8calore

1risposta

Come installare corebuild in ocaml

Ho installato opam, e dopo questo posso accedere con successo a ocaml, ocamlc, buildocaml. Ma sto leggendo Real World OCaml che mi sta chiedendo di eseguire uno strumento chiamato corebuild. Non riesc

10calore

2risposta

OCaml cons (: :) operatore?

In OCaml, c'è un modo per riferirsi all'operatore cons da solo? Per esempio, posso usare (+) e (*) come int -> int -> int funzioni, ma non posso usare (::) come funzione 'a -> 'a list -> 'a list, come

5calore

2risposta

OCaml Come scrivere in un file?

Sto cercando un modo per scrivere due int su un file. Ci saranno molte coppie di due int s. Tra i due numeri dovrebbe esserci uno spazio (intendo ''). Per esempio, qualcosa di simile: 1 2 6 896 243

9calore

1risposta

Perché la sostituzione distruttiva è disabilitata nell'imballaggio del modulo di prima classe?

Supponiamo questi: module type Foo = sig type t val foo : t -> t end module M = struct type t = int let foo t = t + 1 end poi faccio: module type Goo = Foo with type t = int

5calore

3risposta

tipi parametrizzati in OCaml

cerco di utilizzare i tipi parametrici in OCaml ma doesnt't lavoro :( In un primo file "tree.ml" Io definisco il tipo: type 'a tree = | Node of ('a tree)*('a tree) | Leaf of 'a In un altro

5calore

3risposta

OCaml - come caricare file.ml

Come caricare un file myfile.ml che posso usare come file? E dove devo trovare questo file nel compilatore? Non posso farlo ora. Grazie in anticipo!

5calore

1risposta

Generazione modulo mock OCaml

Abbiamo un discreto codice ocaml con molte dipendenze collegate tra i moduli. Ultimamente, abbiamo muovendo verso l'approccio funtore di disaccoppiare i moduli, quindi se abbiamo il modulo A che dipen