Ingegneria software type-systems

10

Recentemente ho avuto un problema con la leggibilità del mio codice. Avevo una funzione che eseguiva un'operazione e restituiva una stringa che rappresenta l'ID di questa operazione per riferimento futuro (un po 'come OpenFile in Windows che restituisce un handle). L'utente utilizzerà questo ID in un secondo momento per avviare …

141 type-systems

7

Studi linguistici dinamicamente vs staticamente tipizzati [chiuso]

Esistono studi condotti sull'efficacia di linguaggi tipizzati staticamente o dinamicamente? In particolare: Misurazioni della produttività del programmatore Tasso di difetto Includendo anche gli effetti dell'utilizzo o meno di unit test. Ho visto molte discussioni sui meriti di entrambe le parti, ma mi chiedo se qualcuno abbia fatto uno studio al …

69 productivity comparison type-systems dynamic-typing static-typing

4

Il sistema di tipi di Haskell è formalmente equivalente a quello di Java? [chiuso]

Mi rendo conto che alcune cose sono più facili / difficili in una lingua rispetto all'altra, ma mi interessano solo le funzionalità relative al tipo che sono possibili in una e impossibili / irrilevanti nell'altra. Per renderlo più specifico, ignoriamo le estensioni di tipo Haskell poiché ce ne sono così …

66 java haskell type-systems static-typing

16

Come devo memorizzare i valori "sconosciuto" e "mancante" in una variabile, pur mantenendo la differenza tra "sconosciuto" e "mancante"?

Considera questa una domanda "accademica". Mi sono chiesto di evitare di tanto in tanto i NULL e questo è un esempio in cui non riesco a trovare una soluzione soddisfacente. Supponiamo di memorizzare le misurazioni in cui in alcune occasioni è noto che la misurazione è impossibile (o mancante). Vorrei …

57 data-structures type-systems data-types

10

Perché i linguaggi OOP statici forti tradizionali impediscono di ereditare le primitive?

Perché è OK e principalmente previsto: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... mentre questo non è OK e nessuno si lamenta: concrete type Name : string { } concrete type Index : int { …

53 type-systems static-typing strong-typing

14

Quando è il test del tipo OK?

Supponendo una lingua con un tipo di sicurezza intrinseca (ad esempio, non JavaScript): Dato un metodo che accetta un SuperType, sappiamo che nella maggior parte dei casi in cui potremmo essere tentati di eseguire prove di tipo per scegliere un'azione: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA) { …

53 type-systems

5

In che modo le lingue con i tipi Forse anziché i null gestiscono le condizioni dei bordi?

Eric Lippert ha fatto un punto molto interessante nella sua discussione sul perché C # usa un tipo nullpiuttosto che un Maybe<T>tipo : La coerenza del sistema di tipi è importante; possiamo sempre sapere che un riferimento non annullabile non è mai stato ritenuto non valido in nessuna circostanza? Che …

53 type-systems null

3

Che cos'è un sistema di tipi?

sfondo Sto progettando una lingua, come un progetto collaterale. Ho un assemblatore funzionante, un analizzatore statico e una macchina virtuale per questo. Dato che posso già compilare ed eseguire programmi non banali usando l'infrastruttura che ho costruito, ho pensato di fare una presentazione alla mia università. Durante il mio discorso …

50 programming-languages language-design inheritance type-systems virtual-machine

8

C'è un motivo per avere un tipo di fondo in un linguaggio di programmazione?

Un tipo di fondo è un costrutto che appare principalmente nella teoria dei tipi matematica. Si chiama anche il tipo vuoto. È un tipo che non ha valori, ma è un sottotipo di tutti i tipi. Se il tipo restituito di una funzione è il tipo inferiore, significa che non …

49 programming-languages type-systems

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

7

Digitare le variabili di casting in PHP, qual è la ragione pratica per farlo?

PHP, come molti di noi sanno, ha una digitazione debole . Per coloro che non lo fanno, PHP.net dice: PHP non richiede (o supporta) la definizione esplicita del tipo nella dichiarazione delle variabili; il tipo di una variabile è determinato dal contesto in cui viene utilizzata la variabile. Lo adori …

45 php type-systems weak-typing type-casting

5

Perché Java non digita l'inferenza?

Mi sono sempre chiesto perché Java non fa l'inferenza del tipo dato che il linguaggio è quello che è e la sua VM è molto matura. Google's Go è un esempio di una lingua con un'eccellente deduzione dei caratteri e riduce la quantità di digitazione che uno deve fare. C'è …

44 java programming-languages type-systems data-types

2

Perché (o perché no) i tipi esistenziali sono considerati cattive pratiche nella programmazione funzionale?

Quali sono alcune tecniche che potrei usare per refactificare costantemente il codice rimuovendo la dipendenza da tipi esistenziali? In genere questi vengono utilizzati per squalificare costruzioni indesiderate del tuo tipo e per consentire il consumo con una minima conoscenza del tipo dato (o almeno così è la mia comprensione). Qualcuno …

43 functional-programming haskell type-systems

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

6

Perché l'inferenza del tipo è utile?

Leggo il codice molto più spesso di quanto scrivo codice e presumo che la maggior parte dei programmatori che lavorano su software industriale lo faccia. Il vantaggio dell'inferenza di tipo presumo sia meno verbosità e meno codice scritto. D'altra parte, se leggi il codice più spesso, probabilmente vorrai un codice …

37 programming-languages type-systems

Domande taggate «type-systems»