Domande con tag 'subtypes'

4
risposte

Come gestire i metodi che sono stati aggiunti per i sottotipi nel contesto del polimorfismo?

Quando usi il concetto di polimorfismo, crei una gerarchia di classi e usando i riferimenti dei genitori chiami le funzioni dell'interfaccia senza sapere quale tipo specifico ha l'oggetto. È grandioso Esempio: Hai una collezione di animali e...
posta 19.02.2018 - 14:58
2
risposte

Perché la sottotitolazione comportamentale è indecidibile?

Liskov's work in this area focused on behavioral subtyping, which besides the type system safety discussed in this article also requires that subtypes preserve all invariants guaranteed by the supertypes in some contract.[3] This definition of...
posta 05.12.2015 - 13:04
2
risposte

I sottotipi di funzioni di livello inferiore-aritmetico sono quelli di livello più alto?

Ho scoperto che non esiste un concetto simile a "sottotipizzazione basata sull'arità" in molte lingue in cui ho programmato, in cui le funzioni di ordine superiore potrebbero consumare funzioni di arità inferiore rispetto al loro tipo di argomen...
posta 20.12.2016 - 00:06
3
risposte

Come sono le classificazioni tipografiche in lingue funzionali diverse dalle interfacce nelle lingue OO?

Sto imparando sui paradigmi dei linguaggi funzionali. Quindi ho letto che mentre il polimorfismo del sottotipo è tipico dei linguaggi OO, il polimorfismo parametrico è tipico dei linguaggi funzionali. Ma mi chiedo se esiste il polimorfismo de...
posta 07.07.2016 - 07:19
4
risposte

Associazioni eterogenee - Data Modeling quando un oggetto che deve essere correlato a una delle molte classi

Supponiamo di avere 3 classi: ClassA , ClassB e ClassC . Supponiamo ora di avere una classe Message . Vuoi una relazione one-to-many tra ciascuna di queste tre classi e il Messaggio. L'obiettivo è che un Message dev...
posta 28.10.2014 - 16:15
2
risposte

Perché è brutto avere un meccanismo di ereditarietà e sottotipizzazione?

È abbastanza noto che l'ereditarietà (classe) e la sottotipizzazione (a volte chiamata ereditarietà dell'interfaccia) sono cose diverse: l'ereditarietà è un meccanismo per la condivisione del codice, mentre la sottotipizzazione è una relazione c...
posta 18.04.2015 - 20:32
1
risposta

Conversione implicita per la sottotipizzazione della funzione

Le lingue con le coercizioni ( ie conversioni di tipo implicito ) consentono di esprimere cose del genere (indipendentemente da qualsiasi sintassi): f : int32 → int32 = λx.x+x a : int16 = 42 b : int64 = f(a) Dove le conversioni di tipo no...
posta 24.05.2018 - 14:24