Domande con tag 'type-systems'

domande con tag
10
risposte

Dovremmo definire i tipi per tutto?

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 re...
posta 03.05.2015 - 18:30
4
risposte

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

Mi rendo conto che alcune cose sono più facili / più difficili in una lingua rispetto all'altra, ma mi interessano solo le funzionalità correlate al tipo che sono possibili in una e impossibili / irrilevanti nell'altra. Per renderlo più specific...
posta 08.10.2012 - 17:50
10
risposte

Perché i tradizionali linguaggi OOP statici forti impediscono l'ereditarietà delle primitive?

Perché questo è OK e per lo più previsto: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... mentre questo non è OK e nessuno si lamenta: concrete typ...
posta 10.08.2016 - 11:37
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
7
risposte

Digitare le variabili di casting in PHP, qual è il motivo pratico per farlo?

PHP, come molti di noi sanno, ha digitazione debole . Per quelli che non lo fanno, PHP.net dice: PHP does not require (or support) explicit type definition in variable declaration; a variable's type is determined by the context in which th...
posta 07.12.2010 - 14:44
5
risposte

Perché Java non esegue l'inferenza del tipo?

Mi sono sempre chiesto perché Java non faccia tipo di inferenza dato che il linguaggio è quello che è, e la sua VM è molto matura. Google's Go è un esempio di linguaggio con inferenza di tipo eccellente e riduce la quantità di digitazione che si...
posta 19.01.2013 - 00:36
2
risposte

Perché (o perché no) i tipi esistenziali sono considerati una cattiva pratica nella programmazione funzionale?

Quali sono alcune tecniche che potrei usare per refactoring coerente del codice rimuovendo la dipendenza da tipi esistenziali? Tipicamente questi sono usati per squalificare le costruzioni indesiderate del tuo tipo e per consentire il consumo co...
posta 26.01.2013 - 23:35
7
risposte

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

Un tipo di fondo è un costrutto che appare principalmente nella teoria dei tipi matematici. Viene anche chiamato il tipo vuoto. È un tipo che non ha valori, ma è un sottotipo di tutti i tipi. Se il tipo di ritorno di una funzione è il tipo in...
posta 24.03.2015 - 01:15
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
9
risposte

Le lingue dinamiche tipizzate meritano tutte le critiche? [chiuso]

Ho letto alcuni articoli su Internet sulla scelta del linguaggio di programmazione in azienda. Recentemente sono stati diffusi molti linguaggi tipizzati dinamici, ad esempio Ruby, Python, PHP ed Erlang. Ma molte imprese continuano a utilizzare l...
posta 01.09.2010 - 21:46