Domande con tag 'type-systems'

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...

Nei linguaggi orientati agli oggetti che supportano i parametri di tipo generico (noti anche come modelli di classe e polimorfismo parametrico, sebbene ogni nome abbia connotazioni diverse), è spesso possibile specificare un vincolo di tipo sul...

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...

Inizierò spiegando cosa intendo in particolare. Sfondo In Javascript, gli array fanno tutto (più o meno un tratto Lispy). Non solo puoi inizializzare, spingere e far apparire, ma puoi anche scorrere, filtrare, ridurre, trasmettere e così v...

Sono nuovo nell'ambiente javascript (ho esperienza in simulazioni fisiche e motori di gioco in C ++). Con l'aumento di HTML5 e WebGL pensavo che mi piacerebbe provare a realizzare alcuni giochi / editor 3D usando javascript. Il problema è che...

Sto cercando un sistema simile a IoT che deve gestire una vasta gamma di complessità dei dati. Ad esempio, mi piacerebbe modellare una "cosa" e so che tutte le cose hanno una posizione. Tuttavia, quando i dati effettivi arrivano da queste cose (...