Ingegneria software type-safety

20

La tipizzazione statica vale i compromessi?

Ho iniziato a programmare in Python principalmente dove non esiste la sicurezza dei tipi, quindi sono passato a C # e Java dove c'è. Ho scoperto che avrei potuto lavorare un po 'più rapidamente e con meno mal di testa in Python, ma poi di nuovo, le mie app C …

108 data-types dynamic-typing static-typing type-safety

3

C ++ typedef fortemente tipizzato

Ho cercato di pensare a un modo per dichiarare dattiloscritti fortemente tipizzati, per catturare una certa classe di bug nella fase di compilazione. È spesso il caso in cui inserirò un int in diversi tipi di ID, o un vettore da posizionare o velocità: typedef int EntityID; typedef int ModelID; …

50 c++ c++11 type-safety

8

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

In JavaScript: The Good Parts di Douglas Crockford, menziona il suo capitolo sull'eredità, L'altro vantaggio dell'eredità classica è che include la specifica di un sistema di tipi. Questo in gran parte libera il programmatore dal dover scrivere operazioni di casting esplicite, il che è un'ottima cosa perché durante il casting, …

47 type-systems type-safety

4

Quali sono gli argomenti a favore della digitazione debole?

Ciò è emerso in una discussione con un amico, e mi sono trovato in difficoltà a pensare a qualsiasi buon argomento. Quali vantaggi conferiscono una digitazione debole?

40 type-systems type-safety weak-typing

3

Perché il tipo XML è sicuro?

Perché dicono che l'XML fornisce la sicurezza dei tipi e come viene espresso nell'XML stesso? In che modo differisce da JSON (ad esempio) che (come ho capito) non è sicuro?

30 xml type-safety

2

È possibile "inserire la dimensione in un tipo" in haskell?

Supponiamo che io voglia scrivere una biblioteca che si occupa di vettori e matrici. È possibile inserire le dimensioni nei tipi, in modo che le operazioni di dimensioni incompatibili generino un errore al momento della compilazione? Ad esempio, vorrei che la firma del prodotto dot fosse qualcosa di simile dotprod …

20 haskell type-systems type-safety

5

Avrebbe senso usare oggetti (anziché tipi primitivi) per tutto in C ++?

Durante un recente progetto a cui ho lavorato, ho dovuto usare molte funzioni che assomigliano a questo: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & Target_Latitude, …

17 c++ type-systems data-types type-safety

3

Google's Go è una lingua sicura?

questa pagina http://golang.org/doc/go_faq.html scrive: sebbene Go abbia tipi statici, la lingua tenta di far sembrare i tipi più leggeri rispetto alle lingue OO tipiche Quindi la mia domanda è esattamente se è tipizzato in modo sicuro con generici (come C #) o liberamente (come javascript) o opzionale (come l'opzione rigorosa …

14 programming-languages algorithms google go type-safety

3

Utilizzo del controllo del tipo statico per proteggere da errori aziendali

Sono un grande fan del controllo statico dei tipi. Ti impedisce di fare 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 impedisce di fare errori stupidi come questo: Adult a = new Adult(); …

13 business-logic static-typing type-safety

2

Perché il compilatore Scala non può dare un avviso di corrispondenza dei modelli per classi / tratti non sigillati?

Se uso un un seal traito abstract classin Scala e poi uso pattern matching, mi chiedo, il compilatore non sa al momento della compilazione per questo particolare patternmatch quali possibili implementazioni di questo tratto / classe sono disponibili? Quindi, in caso affermativo, non potrebbe dare avvisi di corrispondenza del modello …

10 scala type-safety trait pattern-matching

1

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

C'è qualche soluzione decente alla mancanza di generici di PHP che consenta all'ispezione del codice statico di rilevare la coerenza del tipo? Ho una classe astratta, che voglio sottoclassare e far valere anche che uno dei metodi cambia dall'acquisizione di un parametro di un tipo, all'adozione di un parametro che …

9 inheritance class type-safety

Domande taggate «type-safety»