ocaml

7calore

3risposta

tipo di funzioni di ordine elevato

se si specifica il tipo (credo) corretto per una funzione di ordine elevato, il compilatore OCaml rifiuta l'utilizzo di secondo secondo tale funzione. Il codice let foo():string = let f: ('a -> s

types ocaml higher-order-functions 2010-12-14

---

8calore

2risposta

Partita un elemento nella lista di tuple

Ho una lista di tuple della forma (string, int). Sto cercando di cercare nell'elenco e restituire la tupla il cui componente stringa corrisponde al parametro, come in: let find_tuple string_name tuple

list ocaml 2010-12-17

---

5calore

1risposta

Problema con la corrispondenza del modello in ocaml

Ho scritto la funzione utilizzata per decomporre una funzione booleana, il problema è che la compilazione ottengo questo: "Avviso 5: questa applicazione di funzione è parziale, forse mancano alcuni ar

functional-programming pattern-matching ocaml 2010-12-28

---

6calore

4risposta

pattern-matching restituendo una stringa che rappresenta un'espressione matematica

devo scrivere una discarica funzione che prende un'espressione type expression = | Int of int | Float of float | Add of expression * expression | Sub of expression * expression | Mult of expressi

functional-programming ocaml 2010-11-09

---

9calore

2risposta

firme/tipi in programmazione funzionale (OCaml)

Ho iniziato a imparare la programmazione funzionale (OCaml), ma non capisco un argomento importante su fp: firme (non sono sicuro che sia un nome proprio). Quando digito qualcosa e compilare con OCaml

functional-programming ocaml signature 2010-11-17

---

6calore

2risposta

Errore: impossibile valutare in modo sicuro la definizione del modulo ricorsivamente definito

Sono curioso di capire perché questo errore si verifica e quale sia il modo migliore per aggirare il problema. Ho un paio di file types.ml e types.mli che definiscono un tipo di variante value che pos

module ocaml 2010-11-21

---

16calore

3risposta

compatibilità di codice tra OCaml e F #

Buona giornata tutto, Sto sviluppando un piccolo progetto di hobby in OCaml. Mi stavo chiedendo quanto sarebbe facile migrarlo su F #. So che F # ha alcune funzionalità che OCaml non ha, ma speravo ch

f# ocaml 2010-11-21

---

7calore

2risposta

Cambia l'ordine delle applicazioni in OCaml

C'è un modo per modificare l'ordine da associativo sinistro a associativo destro eccetto parentesi? Ad esempio in Haskell è possibile scrivere foo $ bar b e foo verrà applicato a un risultato da bar b

ocaml 2010-11-22

---

10calore

2risposta

Qual è la differenza tra 'a e' _l?

Qual è la differenza tra 'a e '_l? guardavo questo errore, e non poteva comprenderla: Error: This expression has type ('a -> float polynomial) list but an expression was expected of type float polynom

ocaml 2010-11-22

---

6calore

2risposta

avviso 10: questa espressione dovrebbe avere tipo unità

Sto scrivendo un programma in ocaml contenente alcuni cicli "per", il mio problema è che per ognuno di questi cicli si riceve questo messaggio: "avviso 10: questa espressione dovrebbe avere tipo unità

ocaml 2010-11-30

---