sml

5calore

2risposta

Standard ML: Confusione sulle celle di riferimento

Sto leggendo Harper's Intro su SML e sono un po 'confuso sulle celle di riferimento. A p. 114, dà il seguente esempio: val r = ref 0 val s = ref 0 val _ = r := 3 val x = !s + !r val t = r val _ =

6calore

1risposta

Impedisci al tipo SML di diventare eqtype senza nascondere i costruttori

Nelle dichiarazioni datatype, ML standard produrrà un tipo di uguaglianza se tutti gli argomenti tipo di tutte le varianti sono essi stessi eqtype s. ho visto commenti in alcuni posti lamentando l'inc

5calore

2risposta

Come viene suddivisa la condivisione della struttura in Standard ML?

In un 2013 presentation about the future of Standard ML, Bob Harper dice, nella diapositiva 9, che "la condivisione della struttura è interrotta". Qualcuno può dare maggiori dettagli su questo? Non ho

5calore

1risposta

Come ottenere l'albero di analisi dalla stringa del codice sorgente in Poly/ML

Sto tentando di compilare una stringa di codice sorgente e stampare l'albero di analisi utilizzando Poly/ML. Il seguente codice compila, ma l'albero sintattico è vuota: fun main() = let val

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

16calore

1risposta

In che modo i linguaggi funzionali rappresentano i tipi di dati algebrici in memoria?

se si stesse scrivendo un algoritmo di bioinformatica in Haskell, si sarebbe probabilmente utilizzare un tipo di dati algebrico per rappresentare i nucleotidi: data Nucleotide = A | T | C | G Farest

6calore

1risposta

Esiste un modo per limitare la firma di un parametro del funtore in modo che il parametro possa fornire tipi di uguaglianza non specificati a una struttura?

Se provo a scrivere un modulo parametrizzato che chiama = su un tipo non specificato fornito dal parametro, SML/NJ genera un errore di tipo. Ad esempio, se ho una firma signature SIG = sig type

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)

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

5calore

1risposta

Come evitare la ripetizione del tipo di dati SML in strutture e firme?

Data una firma A con un tipo di dati t, dicono signature A = sig datatype t = T of int | S of string end E 'possibile fornire un'implementazione (una struttura) che non hanno t ripetuto? Ad es