sml

5calore

3risposta

derivanti tipo di espressione in ML

Tutti, voglio ricavare l'espressione tipo per la funzione di seguito in ML: fun f x y z = y (x z) Ora so a digitare la stessa avrebbe generato l'espressione tipo. Ma desidero derivare questi valori

functional-programming types sml ml 2010-07-16

---

6calore

3risposta

differenza tra infix, infixr, infixl

Ho letto un libro che utilizza infix, infixr e infixl nei programmi di esempio. Mi sto chiedendo quali sono le differenze. Immagino che infixr compia operazioni da destra a sinistra e viceversa.

sml 2010-04-11

---

67calore

8risposta

Haskell o Standard ML per principianti?

Ho intenzione di insegnare un corso di divisione inferiore in strutture discrete. Ho selezionato il libro di testo Discrete Structures, Logic, and Computability in parte perché contiene esempi e conce

haskell functional-programming sml discrete-mathematics 2009-05-01

---

20calore

2risposta

Quali sono i limiti di inferenza di tipo?

Quali sono i limiti di inferenza del tipo? Quali sistemi di tipi non hanno un algoritmo di inferenza generale?

type-inference sml type-systems hindley-milner 2009-08-09

---

7calore

2risposta

Sopprimere l'output "val it" in Standard ML

Sto scrivendo uno "script" in Standard ML (SML/NJ) che imposta l'ambiente interattivo a mio piacimento. L'ultima cosa che fa lo script è stampare un messaggio che indica che tutto è andato liscio. In

sml smlnj 2009-08-12

---

15calore

3risposta

curry funzione anonima in SML

ho la funzione qui sotto e funziona: (fn x => x * 2) 2; ma questo non funziona: (fn x y => x + y) 2 3; Qualcuno può dirmi perché? Oppure dammi qualche suggerimento per farlo funzionare?

sml smlnj 2010-03-13

---

6calore

1risposta

meccanismo per ottenere elemento dalla lista

è possibile ottenere elemento dall'elenco in SML del New Jersey senza usare la testa la funzione e la coda, una cosa del genere: val a = [1,2,3]; a[1]; grazie in anticipo

list sml smlnj 2011-01-12

---

6calore

2risposta

Heap di sinistra con peso specifico: i vantaggi della versione top-down di unione?

Sono autoapprendimento Okasaki's Purely Functional Data Structures, now on exercise 3.4, che chiede di ragionare e implementare un heap di sinistra ponderato. Questa è la mia implementazione di base:

data-structures functional-programming sml 2010-08-19

---

15calore

2risposta

Come "correggere" il sistema interattivo SML/NJ per usare i tasti freccia

Ho qualche problema con il sistema SML/NJ, cioè quando cerco di usare i tasti freccia (a sinistra oa destra per fare un correzione nell'espressione che ho digitato, fino a ripetere l'ultima espression

sml smlnj 2009-12-16

---