Domande con tag 'type-systems'

domande con tag
1
risposta

Esegue operazioni di crossover su AST nella programmazione genetica

Quindi in generale quando si esegue un crossover in GA, si capovolge direttamente una sezione casuale nel "genoma", con la sezione corrispondente nell'altro genitore, e si modifica in base alla frequenza di mutazione. Considera le sequenze di...
posta 29.04.2016 - 19:34
9
risposte

Linguaggio embedded mission critical [chiuso]

Forse la domanda sembra un po 'strana, quindi spiegherò un po' lo sfondo. Attualmente sto lavorando a un progetto in un'università, che sarà un software di bordo completo per un satellite. Il sistema è programmato in C ++ su un sistema operat...
posta 15.11.2011 - 20:24
2
risposte

Alternativa alla purezza della lingua

Purezza Uno dei concetti interessanti di Haskell è la purezza. Tuttavia, mi chiedo quali siano le ragioni pragmatiche alla base di questo - lasciami spiegare un po 'di più prima di rifiutare la mia domanda. Il mio punto principale è che av...
posta 03.10.2014 - 20:45
3
risposte

Sta cambiando il tipo di una variabile partway attraverso una procedura in uno stile bad tipizzato in modo dinamico?

In Python (e occasionalmente in PHP) dove le variabili non hanno tipi fissi, eseguirò frequentemente 'tipo trasformazioni' su una variabile in modo parziale attraverso la logica del mio codice. Non parlo (necessariamente) di cast semplici, ma di...
posta 17.02.2013 - 12:40
2
risposte

Valori, tipi, tipi e ...?

Sappiamo tutti che cos'è un valore. Un tipo è il tipo di un valore. Un tipo è (liberamente) il tipo di un tipo. Un tipo costruisce un valore; un tipo costruisce un tipo. Quindi qual è il tipo di un tipo, una cosa che costruisce generi? C'è un...
posta 10.11.2011 - 20:32
2
risposte

Definizione di un tipo

Concettualmente, pensavo ai tipi come insiemi. Tuttavia, penso di aver visto persone che desiderano distinguere i tipi A , B anche se rappresentano raccolte di valori identiche. Quindi ho capito che una migliore definizione di tipo è un...
posta 26.11.2013 - 21:27
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
3
risposte

Quali sono alcuni limiti stilistici ragionevoli per l'inferenza di tipo?

C ++ 0x aggiunge un supporto inferenziale di tipo completo e dannatamente completo. Sono strongmente tentato di usarlo ovunque possibile per evitare ripetizioni ingiustificate, ma mi chiedo se la rimozione di informazioni di tipo esplicito dappe...
posta 07.01.2011 - 07:35
1
risposta

Perché la covarianza è proibita per la classe astratta in C #

Sto scavando in covarianza e controvarianza in C # e c'è una cosa che non riesco a capire. C # (AFAIK, versione 4) consente di dichiarare le interfacce e i delegati covarianti o controvarianti usando out e in parole chiave. Tuttavia, l...
posta 12.02.2016 - 12:06
1
risposta

Che cosa utilizzano effettivamente le banche come tipo di dati per soldi? [chiuso]

Sono a conoscenza di alcune buone opzioni : I grandi interi (es. int64_t, mpz_t, qualsiasi bignum lib ) per rappresentare i centesimi o 10 -n centesimi, un intero rappresenta 1/100 di un centesimo ($ 1,05 == 10500). Questo è chiamato n...
posta 14.02.2016 - 15:39