ocaml

5calore

1risposta

Com'è stato `val hash: 'a -> int` è stato implementato in OCaml?

In OCaml, Hashtbl può hash qualsiasi cosa in int Hashtbl.hash x associa un intero non negativo su qualsiasi valore di qualsiasi tipo. È garantito che se x = y o Pervasives.compare x y = 0, allora hash

8calore

1risposta

Impossibile decostruire tipo di prodotto, dopo la semplificazione in OCaml

ho questo semplice codice in OCaml: type int_pair = int * int;; type a = A of int_pair;; let extract (A x) = x;; Testare la mia funzione extract, sembra funzionare: # extract (A (1,2));; - : int_

12calore

2risposta

η-espansione in un linguaggio funzionale puro

In OCaml, è legale avere in .mli: val f : 'a -> 'a val g : 'a -> 'a e .ml: let f x = x let g = f Eppure in F #, questa viene rifiutata: eta_expand.ml(2,5): error FS0034: Module 'Eta_expand' cont

10calore

3risposta

Errore di collegamento modulo in ocaml

Sono un principiante assoluto con programmazione Ocaml e sto riscontrando problemi nel collegare un modulo al mio programma. In realtà sto facendo un controllo delle espressioni regolari e ho scritto

7calore

2risposta

Informazioni sulle filiali OCaml

Ci sono molti rami interessanti di OCaml nello http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/. Non riesco a trovare alcuna buona informazione su cosa facciano, comunque. Non sono mentali per

7calore

1risposta

Concoqtion (Coq + MetaOCaml) - perché abbandonato?

Prima di mandare bug alle persone sulla mailing list di OCaml, ho pensato che avrei potuto postare la mia domanda qui. Ho appena scoperto questo beauty (link al sito web di Concoqtion). Concoqtion è u

5calore

1risposta

Perché c'è una let in List.map di OCaml?

In OCaml 3.12.1, List.map è scritto come segue: let rec map f = function [] -> [] | a::l -> let r = f a in r :: map f l mi aspetto che ultima riga da scrivere come | a::l -> f a :: map f l

6calore

4risposta

Cosa significa `[< >]` in OCaml?

ho visto qualche codice sorgente avendo let rec parse_document = parser | [< len = parse_int32; st; >] -> parse_list [] (ES.take_int32 len st) | [< >] -> malformed "parse_document" p

9calore

3risposta

Identificazione di hash come tipo definito dall'utente in OCaml

Desidero essere in grado di definire un tipo (ad esempio my_type) che possa identificare le hashtable con stringhe come chiavi e mappato a valori interi. Così, ho provato # type my_type = (string, int

10calore

1risposta

MonadFix in linguaggio stretto

Sto lavorando sull'estensione camlp4 per la notazione haskell-like in Ocaml, e sto cercando di capire come GHC compila ricorsive do-bindings (abilitato con -XDoRec). Mi chiedo se è possibile che il co