smlnj

13calore

5risposta

Impossibile determinare il sistema operativo

Quando vado sul terminale (ho installato smlnj) e digito sml mi dà l'errore sml: unable to determine architecture/operating system. Cosa significa questo??? Ho installato sml come questo at this websi

5calore

1risposta

Passaggio degli argomenti della riga di comando a uno script SML

Come posso passare gli argomenti della riga di comando a uno script SML? Sono consapevole che c'è una funzione CommandLine.arguments() del tipo giusto (unit -> string list), ma invocando l'interprete

5calore

1risposta

Come scrivere le funzioni reciprocamente ricorsive all'interno di un binding let in SML?

vorrei fare qualcosa di simile: fun f() = let fun a() = b() and fun b() = a() in () end dove a e b sono sensibili funzioni ricorsive reciprocamente. Tuttavia, q

5calore

1risposta

Come faccio a usare il mio codice sml?

Qualcuno può dirmi come posso programmare il mio codice sml? Ho implementato diverse versioni dello stesso algoritmo e mi piacerebbe crearle e forse anche conoscere il memoryusage?

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)

7calore

2risposta

Funzione che applica il proprio argomento a se stesso?

Si consideri la seguente funzione SML: fn x => x x Questo produce il seguente errore (Standard ML del New Jersey v110.72): stdIn:1.9-1.12 Error: operator is not a function [circularity] operato

8calore

1risposta

SML Attenzione: Tipo Vars Non generalizzate quando si utilizzano liste vuote o opzione NONE

non posso per la vita di me capire perché la seguente funzione SML sta gettando un avvertimento nel mio problema compiti: fun my_func f ls = case ls of [] => raise MyException | head ::

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

6calore

2risposta

Typecasting in SML

Sono nuovo su SML e sto usando il dialetto SMLNJ. Per qualche scopo ho cercato di digitare 3 a 3.0 (int a reale). Impossibile trovare una via d'uscita. Come posso fare questo? Come posso convertire tr