Domande con tag 'type-systems'

domande con tag
3
risposte

Sostituzione di Liskov per vuoti e precondizioni indebolite

Sto imparando molto su questo principio (anche grazie a due risposte che ho ricevuto qui) e vorrei approfondire su un altro punto che qualcuno ha menzionato. 1) La seguente è una violazione di LSP? class Base { public virtual void Update...
posta 20.01.2018 - 11:38
2
risposte

Tipi di Java parametrizzati (generici)

Considera questo codice "legacy": public interface IPersistentCollection { IPersistentCollection cons(Object o); } Generato in Java, potrebbe diventare qualcosa del genere: public interface IPersistentCollection<T> { IPersis...
posta 30.08.2014 - 22:08
1
risposta

Esiste un modo per definire una data coerente in una lingua di tipo dipendente?

Sto cercando un esempio (se esiste) di una definizione di una data in un linguaggio di programmazione (Idris, Coq, ecc.) con tipi dipendenti in cui tale definizione è coerente e sicura per tipo con cui intendo che l'espressione di data non val...
posta 28.09.2014 - 19:15
1
risposta

Progettazione della gerarchia dell'interfaccia per domini separati

Ci sono aziende e persone. Le persone potrebbero essere apprezzate e le aziende potrebbero essere commentate: class Like class Comment class Person implements iLikeTarget class Business implements iCommentTarget Mi piace e commenti sono es...
posta 05.05.2014 - 12:09
2
risposte

La definizione di "Sistemi di tipo strong" [chiusa]

Ho visto il presunto "The Trouble with Types" di Martin Odersky. Ha diviso i linguaggi di programmazione in due dimensioni nella tabella "Paesaggio dei sistemi di tipi"; Una dimensione "Statico / Dinamica" e una "strong / Debole". Ho cercato...
posta 02.09.2014 - 19:44
2
risposte

Perché la semantica e i sistemi di tipi sono così importanti?

Ho sentito dire che la semantica e i sistemi di scrittura sono molto importanti per tutti i programmatori! Ma io perché sono così importanti? Non capisco. Forse sono imortanti solo per teorici e sviluppatori di compilatori? Nella mia pratica...
posta 25.01.2016 - 10:53
1
risposta

Qual è il termine per diversi tipi che contengono le stesse informazioni?

Qual è il / i termine / i corretto / i per diversi tipi che contengono esattamente le stesse informazioni? Ad esempio (F #): type Type1 = (int * string) type Type2 = (string * int) Quando si descrive che questi tipi possono contenere esatta...
posta 18.11.2017 - 12:36
3
risposte

'Progettare prima con i tipi' in definitiva equivale a 'progettare prima con le interfacce'?

In Object Oriented Programming, ci viene insegnato a pensare in termini di Polymorphism (l'idea che l'implementazione sia disaccoppiata dall'interfaccia) e che abbia senso pensare prima all'interfaccia). Questo è espresso da Eric Gamma (autor...
posta 04.09.2014 - 14:08
1
risposta

Che cosa è esattamente un software di tipo P

Trovo questo concetto difficile da capire. Quindi in quali situazioni abbiamo soluzioni non pratiche o impossibili come quelle I sistemi P cercano di implementare? I sistemi P sono descritti come: P-type [practical - type] This is a so...
posta 01.04.2018 - 19:30
3
risposte

Tipi primitivi vs tipi fondamentali?

Ho sentito sia i "tipi fondamentali" che i "tipi primitivi" usati. C'è una differenza in ciò che le due frasi si riferiscono a?     
posta 05.10.2016 - 14:39