Domande con tag 'type-systems'

domande con tag
2
risposte

I sottotipi di funzioni di livello inferiore-aritmetico sono quelli di livello più alto?

Ho scoperto che non esiste un concetto simile a "sottotipizzazione basata sull'arità" in molte lingue in cui ho programmato, in cui le funzioni di ordine superiore potrebbero consumare funzioni di arità inferiore rispetto al loro tipo di argomen...
posta 20.12.2016 - 00:06
4
risposte

Che cosa significa la "t" in int32_t?

In C, che significato ha il t alla fine di tipi interi come uint8_t e int32_t ? Da dove è nato? Perché il tipo non è stato appena chiamato int32 ?     
posta 07.07.2015 - 19:35
1
risposta

Perché i generici in Scala hanno cancellato i tipi e non sono modificabili?

Perché i generici in Scala hanno tipi cancellati e non sono modificabili? È dovuto alla mancanza di supporto da parte della JVM o alla compatibilità con le librerie Java? Quali sono i vantaggi in generale di avere generici come reifiable?   ...
posta 21.11.2012 - 11:25
1
risposta

Esiste una lingua imperativa con un sistema di tipo Haskell? [chiuso]

Ho cercato di imparare Haskell un paio di volte negli ultimi anni e, forse perché conosco principalmente i linguaggi di scripting, la funzionalità di esso mi ha sempre infastidito (le monadi sembrano un gran casino per fare un sacco di I / O). T...
posta 10.06.2014 - 16:50
2
risposte

Possiamo avere membri implicitamente digitati?

La tipizzazione implicita in lingue come C # consente verifiche del tipo in fase di compilazione senza necessariamente riferirsi a "direttamente" "in una classe di destinazione: var toy = SantasWorkshop.Build(); toy.amuse(); In questo sce...
posta 20.12.2016 - 19:58
1
risposta

Un'interfaccia covariante su T dovrebbe mai implementare un'interfaccia invariante su di esso?

Stavo leggendo i documenti di Hacklang su Collections e ho trovato questa curiosa definizione [parafrasata leggermente]: interface KeyedIterable<Tk, Tv> ... interface ConstVector<+Tv> implements KeyedIterable<int, Tv> ......
posta 03.04.2016 - 04:17
2
risposte

In che modo un linguaggio di programmazione tipizzato in modo affidabile fa fronte alla mutabilità?

Ho indagato sulla fattibilità di un linguaggio di programmazione "normale" con tipi dipendenti. Pensa ad esempio in Java e aggiungi tipi dipendenti ad esso. Una difficoltà che ho trovato è che il tipo di una variabile può cambiare quando viene m...
posta 01.09.2014 - 20:37
5
risposte

Tipo di inferenza con digitazione anatra - funziona? Perché non viene utilizzato?

Supponiamo di avere un linguaggio funzionale in cui gli oggetti non hanno tipi definiti in modo esplicito, ma è comunque possibile accedere alle proprietà denominate sugli oggetti. È quindi possibile che il compilatore rintracci nel programma a...
posta 08.05.2017 - 23:31
3
risposte

Tipi di reso dettagliati

Recentemente ho scritto un codice che tratta di terze parti - ovviamente si verificheranno degli errori, quindi utilizzerò le / o forse le monade se appropriato. Poiché si tratta di C #, sto anche utilizzando attività asincrone. Il mio proble...
posta 09.06.2016 - 19:38
1
risposta

Come può un oggetto avere molti tipi?

Attualmente sto leggendo Modelli di progettazione - Elementi del software orientato agli oggetti riutilizzabile . Sono nel capitolo 1 a pagina 16 nella sezione Class Versus Interface Ereditarietà. Lì nell'ultima riga della pagina si dice " Un o...
posta 27.01.2016 - 23:30