Domande taggate «type-systems»

un sistema di tipi è un insieme di regole che assegnano una proprietà chiamata tipo ai vari costrutti - come variabili, espressioni, funzioni o moduli - di cui è composto un programma per computer.

7
Il sistema di tipi di Haskell è un ostacolo alla comprensione della programmazione funzionale? [chiuso]
Sto studiando Haskell allo scopo di comprendere la programmazione funzionale, con l'aspettativa che applicherò le intuizioni che ottengo in altre lingue (principalmente Groovy, Python, JavaScript). Ho scelto Haskell perché avevo l'impressione che fosse puramente funzionale e che non mi permettesse di fare affidamento sullo stato. Non ho scelto di imparare …
1
Digitare l'inferenza in Java 8
L'introduzione della nuova notazione lambda (vedi ad esempio questo articolo ) in Java 8 richiederà qualche tipo di deduzione di tipo? In tal caso, in che modo il nuovo sistema di tipi avrà un impatto sul linguaggio Java nel suo insieme?
3
Un buon sistema di tipo generico
È comunemente accettato che i generici Java non sono riusciti in alcuni modi importanti. La combinazione di caratteri jolly e limiti ha portato ad alcuni codici seriamente illeggibili. Tuttavia, quando guardo altre lingue, non riesco davvero a trovare un sistema di tipo generico di cui i programmatori siano contenti. Se …
6
Qual è il compromesso per l'inferenza del tipo?
Sembra che tutti i nuovi linguaggi di programmazione o almeno quelli che sono diventati popolari usino l'inferenza del tipo. Anche Javascript ha ottenuto tipi e inferenze di tipo attraverso varie implementazioni (Acscript, dattiloscritto ecc.). Mi sembra fantastico, ma mi chiedo se ci siano dei compromessi o perché diciamo che Java …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.