Domande con tag 'type-systems'

domande con tag
1
risposta

Con una tipizzazione statica sufficientemente avanzata, quali sono i vantaggi dei sistemi di tipo dinamico? [chiuso]

Questa domanda sembra essere abbastanza bene, ad esempio: I linguaggi tipizzati dinamici meritano tutte le critiche? Qual è il presunto aumento di produttività della digitazione dinamica ? ecc. Tuttavia, molte domande e risposte s...
posta 05.06.2015 - 17:59
3
risposte

La logica condizionale dovrebbe sempre essere codificata tramite il sistema di tipi, ove possibile?

Ho una scelta. Opzione 1: public class Sample { bool IsRelevant { get; set; } } Opzione 2: public class Sample { } public class RelevantSample : Sample { } C'è una chiara regola ben nota su come prendere questa decisione? La...
posta 30.11.2015 - 23:39
2
risposte

Esiste un uso pratico per il tipo vuoto in Common Lisp?

La specifica Common Lisp afferma che nil è il nome del tipo vuoto , ma non ho mai trovato alcuna situazione in Common Lisp in cui mi sembrava il tipo vuoto era utile / necessario. È lì solo per completezza (e rimuoverlo non causerebbe al...
posta 18.07.2014 - 13:28
4
risposte

oggetti, classi, tipi

In che modo un programmatore orientato agli oggetti capisce la parola "tipo"? Non sono a conoscenza dell'esistenza di una teoria dei tipi per la programmazione orientata agli oggetti, perché quando qualcuno menziona la teoria dei tipi è sempre n...
posta 06.01.2011 - 18:44
1
risposta

Quando si scrive un interprete, come dovrebbe l'algoritmo di inferenza del tipo cambiare l'AST analizzato? Dovrebbe?

Durante la scrittura di un interprete, in che modo l'algoritmo di inferenza del tipo può modificare l'AST analizzato? Dovrebbe? O l'analisi e l'inferenza sono fatti necessariamente simultaneamente? Ho implementato un interprete di linguaggi...
posta 19.06.2013 - 07:35
2
risposte

Contravarianza degli argomenti, scopo e uso del mondo reale?

Ho letto alcune domande su SO e altrove e ancora non capisco bene dove questo "allargamento" di un tipo di parametro può essere utile, ad esempio il rispetto del principio di sostituzione di Liskov. Il seguente codice ho preso da una risposta su...
posta 30.01.2018 - 13:47
2
risposte

Tipo di più metodi in un linguaggio statico funzionale all'oggetto

Attualmente sto lavorando per espandere le capacità del mio sistema di gestione del mio linguaggio di programmazione per animali domestici e mi sono imbattuto in un'area interessante in cui la mia ricerca sui sistemi di tipi di altre lingue non...
posta 08.06.2016 - 12:19
1
risposta

Algoritmo efficiente per dedurre il tipo di oggetto in modo dinamico in base ai membri

Sto progettando un DSL (in clojure, in particolare, sebbene questa domanda sia più generale di quella) in cui le "entità" sono tracciate come hash / mappe immutabili e dove l'appartenenza a "concetto" di un'entità è determinata dinamicamente da...
posta 06.06.2017 - 19:39
2
risposte

Null in ogni tipo e controllate le eccezioni in Java?

So che l'aggiunta di null a ogni tipo in Java è fonte di molta frustrazione per quanto riguarda il sistema dei tipi della lingua. Allo stesso tempo, in genere ascolto lamentele sulle eccezioni controllate - che ingombrano le interfacce, incoragg...
posta 13.01.2012 - 23:41
2
risposte

Che cosa ottieni quando attraversi un numero a precisione multipla con un numero a virgola mobile?

Sto lavorando per aggiungere interi multiprecisione alla suite di tipi numerici nel mio interprete APL , ma io Non sono sicuro di cosa fare riguardo alle strane combinazioni di tipi che ora si presentano. Ora ho i seguenti tipi: IMM "atomic"...
posta 28.04.2015 - 07:52