Domande con tag 'type-safety'

2
risposte

Dovrei sentirmi "a disagio" usando l'auto in C ++? [duplicare]

C ++ 11 presenta la nuova dichiarazione di tipo auto , che consente di lavorare con un oggetto senza mai conoscerne il tipo effettivo. Io uso solo linguaggi strongmente tipizzati - C ++, Delphi (Object Pascal), Go, ecc. e mi sento a dis...
posta 19.05.2014 - 02:33
2
risposte

Riassunto l'interfaccia utente dal dominio

Il mio testo del corso suggerisce di creare una classe 'facciata' per astrarre completamente l'interfaccia utente dal livello dominio. Cioè, l'interfaccia utente utilizza solo tipi di base e, se ha bisogno di un riferimento a un oggetto dominio,...
posta 03.10.2013 - 15:10
2
risposte

Un linguaggio interpretato in modo statico può essere considerato sicuro?

In primo luogo lasciatemi spiegare quale è la mia comprensione dei termini linguaggio tipizzato staticamente e sicurezza del tipo: Lingua tipizzata staticamente: una lingua che non ti consente di modificare il tipo di una variabile in fase...
posta 27.09.2016 - 22:14
3
risposte

Come modellare questa relazione in modo che sia valida per costruzione?

Immagina una classe device che rappresenta un dispositivo mobile fisico reale, con campi come Enabled , Platform , Model IMEI , ecc. Quindi, una classe operation , che è qualcosa che deve essere eseguito su un determina...
posta 05.05.2015 - 20:59
1
risposta

Qual è la prova che un'API abbia superato la sua ortogonalità nel contesto dei tipi?

Wikipedia definisce l'ortogonalità del software come : orthogonality in a programming language means that a relatively small set of primitive constructs can be combined in a relatively small number of ways to build the control and data str...
posta 31.05.2014 - 01:45
2
risposte

Sicurezza di tipo - Puntatori GO vs C

C è un linguaggio tipizzato statico che non è sicuro dal punto di vista del testo, perché i puntatori ( void *y ) ti permettono di fare praticamente tutto quello che vuoi, anche di cose che potrebbero mandare in crash il tuo programma. GO...
posta 29.01.2017 - 00:55
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

I puntatori opachi dovrebbero essere puntatori o tipi?

Un modo comune per implementare "PIMPL" in C è quello di fare questo: typedef struct _Opaque Opaque; Opaque* createOpaque(); void doSomething(Opaque *opaque); o typedef struct _Opaque* Opaque; Opaque createOpaque(); void doSomething(Opa...
posta 01.04.2017 - 08:01
1
risposta

Come definire nomi diversi per lo stesso tipo e farli controllare dal compilatore? [duplicare]

Vorrei definire diversi nomi per lo stesso tipo e fare in modo che il compilatore li distingua. La mia motivazione è che diverse%% di% delle variabili di co_de potrebbero rappresentare unità molto diverse e vorrei che il compilatore rilevas...
posta 17.06.2014 - 18:31
1
risposta

Tipo Safety of Spray.io

Ieri ho letto un tweet denigrando Jersey con JAX-RS a causa di errori di run-time. Spray.io è stato citato nel tweet: Not even 5 minutes using Jersey / JAX-RS and already a runtime error due to a missing annotation. That's why I like @spr...
posta 17.05.2014 - 15:36