ml

7calore

3risposta

Polymorphism debole in OCaml

Sono un po 'confuso su polimorfismo debole in OCaml. vedere il seguente frammento di codice, dove mi definisco una funzione remember: let remember x = let cache = ref None in match !cache w

functional-programming ocaml ml value-restriction 2013-07-29

---

6calore

2risposta

I compilatori di famiglie ML fanno qualche ottimizzazione sofisticata per le chiamate tail?

I (credo) la seguente definizione di funzione è ricorsiva in coda: fun is_sorted [] = true | is_sorted [x] = true | is_sorted (x::(y::xs)) = if x > y then false else is_sort

ocaml sml tail-recursion ml 2014-07-17

---

8calore

1risposta

Stampa solo output di stampa con SML/NJ

Sto tentando di utilizzare SML/NJ e utilizzo sml < source.sml per eseguire il codice, ma stampa troppe informazioni. Per esempio, questo è il source.sml: fun fac 0 = 1 | fac n = n * fac (n - 1)

sml smlnj ml 2015-05-14

---

15calore

1risposta

(ML) Moduli vs (Haskell) Tipo Classi

Secondo Harper (https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/), sembra che le Classi di tipo semplicemente non offrano lo stesso livello di astrazione che i Moduli offrono e st

haskell sml ml 2016-04-28

---

5calore

1risposta

Posso utilizzare Gambit-C, Mlton o Chicken Scheme con il client nativo di Google

Questi compilatori di lingue funzionali possono compilare ciascuno un linguaggio funzionale per il codice C. Il NaCl SDK di Google può compilare C. È ragionevole creare applicazioni Native Client comp

functional-programming scheme ml google-nativeclient 2013-05-07

---

31calore

1risposta

Sussunzione nei tipi polimorfici

In ‘Practical type inference for arbitrary-rank types’, gli autori parlano di sussunzione: cerco di testare le cose in GHCi come ho letto, ma anche se g k2 è destinato a TYPECHECK, esso doesn' t quand

haskell types ml 2014-11-07

---

5calore

2risposta

Ricerca di file con base SML

C'è un modo, utilizzando la libreria Basi SML, per aprire un file in una posizione specifica? Cioè, usa una chiamata al sistema operativo per cambiare la posizione, piuttosto che scansionare il file e

functional-programming sml ml 2013-05-11

---

13calore

3risposta

L'operatore SML `o` è utile solo per le funzioni a argomento singolo?

L'operatore di composizione o (ad esempio val x = foo o bar, dove foo e bar sono entrambe funzioni), utilizzabili solo su funzioni a argomento singolo e/o funzioni con un numero uguale di argomenti? I

sml smlnj ml 2013-02-04

---

5calore

4risposta

Funzioni di corrispondenza dei modelli in OCaml

Tutti possono spiegarmi questo codice? let safe_division n = function | 0 -> failwith "divide by 0" | m -> n/m Quando ho excute safeDiv 3 0, qual è il m e n in questo caso? In genere, quando la fu

functional-programming ocaml ml 2013-05-17

---

5calore

2risposta

scope lessicale in Python vs ML

Sono in un grande dilemma, prendere il seguente codice scritto in ML: val x = 1 fun f(y) = x + y val x = 2 val y = 3 val z = f (x + y) Il valore di z è 6. Ora, se io scrivere lo stesso codice in

python scope sml ml 2013-10-27

---