Domande con tag 'type-systems'

domande con tag
6
risposte

Perché è utile l'inferenza di tipo?

Ho letto codice più spesso di quanto scrivo codice, e presumo che la maggior parte dei programmatori che lavorano su software industriale lo faccia. Il vantaggio dell'inferenza di tipo che presumo è meno verbosità e meno codice scritto. Ma d'alt...
posta 28.09.2014 - 15:30
8
risposte

Perché esattamente Java non consente condizionali numerici come if (5) {...} se C fa?

Ho questi due piccoli programmi: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(Stri...
posta 11.05.2017 - 22:05
9
risposte

Esistono schemi di progettazione che sono possibili solo in linguaggi digitati dinamicamente come Python?

Ho letto una domanda correlata Esistono schemi di progettazione che non sono necessari in linguaggi dinamici come Python? e hanno ricordato questa citazione su Wikiquote .org The wonderful thing about dynamic typing is it lets you expre...
posta 12.08.2016 - 22:28
3
risposte

Un buon sistema di tipo generico

È comunemente accettato che i generici Java abbiano fallito in alcuni modi importanti. La combinazione di caratteri jolly e limiti ha portato a un codice seriamente illeggibile. Tuttavia, quando guardo altre lingue, non riesco davvero a trova...
posta 17.10.2014 - 18:10
1
risposta

Tipo di inferenza in Java 8

È l'introduzione della nuova notazione lambda (vedi ad esempio questo articolo ) in Java 8 richiederà qualche tipo di inferenza di tipo? In caso affermativo, in che modo il nuovo sistema di tipi avrà un impatto sulla lingua Java nel suo comp...
posta 30.11.2012 - 17:03
7
risposte

La notazione ungherese è una soluzione alternativa per le lingue con tipizzazione statica insufficientemente espressiva? [chiuso]

Nell'articolo di Eric Lippert Che succede con la notazione ungherese? , afferma che lo scopo della notazione ungherese (il tipo buono) è extend the concept of "type" to encompass semantic information in addition to storage representation i...
posta 11.10.2011 - 02:59
7
risposte

Il sistema di tipo Haskell è un ostacolo alla comprensione della programmazione funzionale? [chiuso]

Sto studiando Haskell allo scopo di comprendere la programmazione funzionale, con l'aspettativa che applicherò l'intuizione che ottengo in altri linguaggi (principalmente Groovy, Python, JavaScript). Scelgo Haskell perché ho avuto l'impressio...
posta 22.12.2010 - 04:24
6
risposte

Quali sono gli avvertimenti per l'implementazione di tipi fondamentali (come int) come classi?

Quando si progetta e si impianta un linguaggio di programmazione orientato agli oggetti, ad un certo punto si deve fare una scelta sull'implementazione di tipi fondamentali (come int , float , double o equivalenti) come classi o qua...
posta 01.01.2015 - 14:50
6
risposte

Qual è il compromesso per l'inferenza di tipo?

Sembra che tutti i nuovi linguaggi di programmazione o almeno quelli diventati popolari utilizzino l'inferenza di tipo. Anche Javascript ha ottenuto tipi e inferenza di tipo attraverso varie implementazioni (Acrittico, dattiloscritto ecc.). Mi s...
posta 03.02.2015 - 03:45
6
risposte

Qual è la procedura comune utilizzata quando i compilatori digitano staticamente le espressioni "complesse"?

Nota: quando ho usato "complex" nel titolo, voglio dire che l'espressione ha molti operatori e operandi. Non che l'espressione stessa sia complessa. Recentemente ho lavorato su un semplice compilatore per l'assembly x86-64. Ho finito il fr...
posta 04.07.2017 - 07:21