Domande con tag 'algebraic-data-type'

domande con tag
7
risposte

Come si codificano i tipi di dati algebrici in un linguaggio C # o simile a Java?

Ci sono alcuni problemi che sono facilmente risolvibili con i tipi di dati algebrici, ad esempio un tipo di lista può essere espresso in modo succinto come: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty co...
posta 07.08.2012 - 08:38
1
risposta

Prestazioni del codice orientato ADT a assegnazione singola su CPU moderne

Lavorare in dati immutabili con assegnazioni singole ha l'ovvio effetto di richiedere più memoria, si potrebbe presumere, perché si creano costantemente valori nuovi (sebbene i compilatori sotto le copertine facciano trucchi puntatori per rend...
posta 04.04.2013 - 18:08
3
risposte

Quale problema risolvono i tipi di dati algebrici?

Giusto avviso, sono nuovo alla programmazione funzionale, quindi potrei contenere molte ipotesi sbagliate. Ho imparato a conoscere i tipi algebrici. Molte lingue funzionali sembrano averle e sono abbastanza utili in combinazione con la corris...
posta 21.06.2015 - 20:00
1
risposta

Mi viene detto che il Monoid che sto creando è un'istanza orfana. C'è un modo migliore per scrivere questa funzionalità?

type PromptSegment = IO (Maybe String) instance Monoid a => Monoid (IO a) where mempty = return mempty mappend = liftA2 (<>) Questo si comporta esattamente come voglio per i miei scopi. Ad esempio: ghci> let a = return $...
posta 07.11.2014 - 02:15
2
risposte

Algoritmo di riconoscimento del modello di matrice

Sto progettando un analizzatore logico e vorrei implementare un algoritmo Matrix. Ho diversi canali ciascuno rappresentato da una riga nella matrice e ogni elemento della colonna sarebbe lo stato, ad esempio: Channel 1 1 0 0 1 0 1 1 0 1 Chan...
posta 18.12.2012 - 01:36
2
risposte

Come progettare astrazioni buone usando il tipo di dati algebrico?

Ogni tanto ho raggiunto il picco di Haskell Tutorials e ho trovato i tipi di dati Algebraic piuttosto interessanti. Ho preso lo scopo di rappresentare i tipi che hanno stati completamente separabili. Purtroppo non ho mai scritto più Haskell di p...
posta 23.05.2015 - 21:35
3
risposte

Che cosa utilizzo per una variante in un diagramma di classe UML?

L'UML standard specifica come una variante (ovvero unione con tag, unione discriminata, tipo di somma, ecc.) dovrebbe essere rappresentata in un diagramma di classe?     
posta 18.11.2014 - 15:52
3
risposte

Quali linguaggi procedurali supportano i tipi di dati algebrici? [chiuso]

Una delle cose che mi piace del nuovo linguaggio Apple Swift è che combina la programmazione procedurale con tipi di dati algebrici. Quali altri linguaggi fanno questo?     
posta 30.06.2014 - 17:38
1
risposta

Scelte progettuali ADT

In che modo decidi quale delle seguenti due rappresentazioni (nella sintassi F #) è la scelta giusta in una situazione particolare? type Choice = A of string | B of string o type ChoiceKind = A | B type Choice = { Kind: ChoiceKind; Value:...
posta 10.12.2014 - 20:34