Domande con tag 'static-typing'

Stavo scrivendo il codice l'altro giorno in Java, ed è stato improvvisamente colpito dal desiderio di poter aggiungere e rimuovere interfacce dai generici. Ad esempio, qualcosa come: public <T extends A, IX> (T extends A, IX, IY) addIY(T...

Sto cercando di capire la digitazione statica rispetto alla dinamica, ma sto davvero cercando di capire come tutto combaci. Tutto inizia con i tipi di dati. Per quanto ho capito, i tipi di dati sono nozioni abbastanza astratte, che esistono n...

Uno dei principali svantaggi di Ruby / Python è rappresentato dalle prestazioni. Capisco che sono interpretati e C è compilato. (E ci sono cose come JRuby che compilano JIT con Ruby). Ma non riescono mai a ottenere la stessa velocità / utilizzo...

Anche se mi piacciono i benefici del strong sistema di battitura, c'è una cosa che mi preoccupa di più. Penso al sistema di tipo strong come mezzo per forzare le scelte progettuali. Se un team crea un sistema inconsapevole del suo design scadent...