Domande con tag 'type-safety'

domande con tag
18
risposte

È una cattiva pratica di programmazione passare i parametri come oggetti? [duplicare]

Quindi, abbiamo un ragazzo a cui piace scrivere metodi che prendono Oggetti come parametri, in modo che possano essere "molto flessibili". Quindi, internamente, esegue direttamente il casting, la riflessione o il sovraccarico del metodo per ge...
posta 20.09.2013 - 19:57
8
risposte

Quali sono i vantaggi in termini di sicurezza di un sistema di tipi?

In JavaScript: The Good Parts di Douglas Crockford, menziona nel suo capitolo sull'eredità, The other benefit of classical inheritance is that it includes the specification of a system of types. This mostly frees the programmer from havin...
posta 24.10.2013 - 19:31
3
risposte

C ++ typedef strongmente tipizzato

Ho cercato di pensare a un modo di dichiarare typedef strongmente tipizzati, per catturare una certa classe di bug nella fase di compilazione. Spesso succede che digiterò un int in diversi tipi di ID o un vettore in posizione o velocità: typed...
posta 05.06.2014 - 23:26
4
risposte

Quali argomenti ci sono in favore di una digitazione debole?

Questo è venuto in una discussione con un amico, e mi sono trovato in difficoltà a pensare a un argomento valido. Quali vantaggi conferisce la digitazione debole?     
posta 19.01.2011 - 05:55
3
risposte

Perché il tipo XML è sicuro?

Perché si dice che XML fornisce sicurezza di tipo e come è espresso nello stesso XML? In che cosa differisce da JSON (ad esempio) che (come ho capito) non è sicuro?     
posta 28.03.2015 - 11:36
5
risposte

Avrebbe senso usare gli oggetti (invece dei tipi primitivi) per tutto in C ++?

Durante un recente progetto a cui ho lavorato, ho dovuto utilizzare molte funzioni che assomigliano a questo: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, do...
posta 28.03.2013 - 08:47
3
risposte

Google Go è una lingua sicura per il tipo?

questa pagina link scrive: although Go has static types the language attempts to make types feel lighter weight than in typical OO languages Quindi la mia domanda è esattamente digitata in modo sicuro con generici (come C #) o ge...
posta 19.05.2011 - 09:49
3
risposte

Uso del controllo di tipo statico per la protezione da errori di business

Sono un grande fan del controllo di tipo statico. Ti impedisce di commettere errori stupidi come questo: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Ma non ti imp...
posta 02.07.2018 - 23:06
2
risposte

Perché il compilatore di Scala non può fornire un avviso di corrispondenza del modello per classi / tratti non sigillati?

Se uso un un sealed trait o abstract class in Scala e poi uso la corrispondenza dei pattern, mi chiedo, il compilatore non sa al momento della compilazione per questo particolare patternmatch quali possibili implementazioni di questo...
posta 18.12.2014 - 13:08
1
risposta

Modifica della firma del metodo per l'implementazione delle classi in PHP

Esiste un lavoro decente intorno alla mancanza di Generics di PHP che consente l'ispezione del codice statico per rilevare la coerenza del tipo? Ho una classe astratta, che voglio sottoclasse e impone anche che uno dei metodi passi dal prende...
posta 05.02.2014 - 04:36