Domande con tag 'type-systems'

domande con tag
3
risposte

In che modo i tipi esistenziali differiscono dalle interfacce?

Dato il tipo esistenziale T = ∃X.{op₁:X, op₂:X→boolean} e questa generica interfaccia Java: interface T<X> { X op₁(); boolean op₂(X something); } Quali sono le differenze fondamentali tra il tipo esistenziale e l'interfac...
posta 02.01.2012 - 04:22
5
risposte

classe in lingua OOP e tipo

Nella teoria del linguaggio di programmazione, un tipo è un insieme di valori. Per esempio. il tipo "int" è l'insieme di tutti i valori interi. Nei linguaggi OOP, una classe è un tipo, vero? Quando una classe è definita con più di un membr...
posta 21.01.2015 - 15:05
4
risposte

In che modo esattamente un compilatore recupera da un errore di tipo?

Ho letto diversi articoli, articoli e la sezione 4.1.4, capitolo 4 di Compilatori: Principi, Tecniche e strumenti (2a edizione) (ovvero "Il libro del drago") che trattano tutti l'argomento del recupero degli errori del compilatore sintattico...
posta 18.01.2018 - 23:58
3
risposte

Generica e cancellazione del tipo

I generici in Java sono implementati usando la cancellazione dei tipi. JLS afferma che l'ispirazione era la compatibilità con le versioni precedenti. Dove, d'altra parte, i generici C # sono reifiable. In teoria quali sono i vantaggi e gli...
posta 21.11.2012 - 11:34
1
risposta

La matematica aveva bisogno di capire la teoria dietro il sistema di tipi di Haskell?

Recentemente, sono diventato profondamente interessato a Haskell. Durante il tentativo di apprendere nuovi concetti (ad es. la parola chiave forall e monade ST ) e il sistema di tipo Haskell in generale, I si imbattono continuamente in con...
posta 03.10.2013 - 21:00
5
risposte

Esistono linguaggi di programmazione che ti consentono di eseguire l'aritmetica sui tipi?

Per curiosità, ci sono linguaggi che ti consentono di impostare l'aritmetica sui tipi per creare nuovi tipi? Qualcosa come: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() i...
posta 21.11.2012 - 01:29
1
risposta

Uso delle classi di tipi Haskell per applicare la commutatività

Voglio definire una classe di tipi per oggetti geometrici che possono essere intersecati insieme: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependenc...
posta 25.01.2015 - 02:34
2
risposte

Tipo di inferenza in Golang / Haskell

Ho letto che Go in realtà non ha vera inferenza di tipo, nel senso che linguaggi funzionali come ML o Haskell hanno, ma non sono stato in grado di trovare un semplice confronto tra le due versioni. Qualcuno potrebbe spiegare in termini di base c...
posta 17.08.2014 - 08:25
3
risposte

Qual è la differenza tra le classi di tipi di Haskell e le interfacce di Go?

Mi chiedo se ci sia una differenza tra le classi di tipi di Haskell e le interfacce di Go. Entrambi definiscono i tipi in base alle funzioni, in questo modo, che un valore corrisponde a un tipo, se per il valore è definita una funzione richiesta...
posta 20.12.2016 - 15:15
3
risposte

Esiste una differenza tra i tipi di casting e di conversione nei linguaggi di programmazione imperativi?

La domanda è arrivata in una discussione su StackOverflow. Esiste una netta distinzione tra i due concetti cast e convert (riguardo al tipo di un oggetto), o queste due parole descrivono esattamente la stessa cosa? Che ne dici di lingue...
posta 02.02.2012 - 23:53