Domande con tag 'static-typing'

domande con tag
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
14
risposte

È una cattiva idea restituire diversi tipi di dati da una singola funzione in un linguaggio tipizzato dinamicamente?

La mia lingua principale è tipizzata staticamente (Java). In Java, devi restituire un singolo tipo da ogni metodo. Ad esempio, non puoi avere un metodo che restituisca condizionalmente un String o che restituisca condizionalmente un Integ...
posta 27.01.2014 - 18:45
5
risposte

Esiste una correlazione tra la scala del progetto e il rigore della lingua?

Spiegando la differenza tra rigore delle lingue e paradigmi di un mio collega, ho finito per affermare che: I linguaggi tolleranti, come i linguaggi dinamici e interpretati, sono utilizzati al meglio per prototipi e piccoli progetti o appli...
posta 24.08.2013 - 19:18
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
1
risposta

Perché il mondo .Net sembra abbracciare stringhe magiche invece di alternative tipizzate in modo statico?

Quindi, lavoro in .Net. Faccio progetti open source in .Net. Uno dei miei maggiori problemi con esso non è necessariyl con .Net, ma con la comunità e le strutture intorno ad esso. Sembra ovunque che schemi e stringhe di nomi magici vengano tratt...
posta 14.02.2013 - 19:33
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
11
risposte

Perché PHP ha interfacce?

Ho notato che da PHP5 sono state aggiunte interfacce alla lingua. Tuttavia, dal momento che PHP è così tipicamente digitato, sembra che la maggior parte dei vantaggi derivanti dall'uso delle interfacce venga persa. Perché è incluso nella lingua?...
posta 07.04.2011 - 23:34
7
risposte

La notazione ungherese è una soluzione alternativa per le lingue con tipizzazione statica insufficientemente espressiva? [chiuso]

Nell'articolo di Eric Lippert Che succede con la notazione ungherese? , afferma che lo scopo della notazione ungherese (il tipo buono) è extend the concept of "type" to encompass semantic information in addition to storage representation i...
posta 11.10.2011 - 02:59
4
risposte

Differenze architettoniche tra linguaggi dinamici e statici

Ci sono delle grandi differenze architettoniche quando progettiamo applicazioni che saranno costruite su linguaggi statici (come C # o Java) e linguaggi dinamici (come Ruby o Python)? Quali sono le possibilità di progettazione che potrebbero...
posta 01.09.2011 - 23:31
2
risposte

Tipo di controllo e tipi ricorsivi (Scrivere il combinatore Y in Haskell / Ocaml)

Quando si spiega il combinatore Y nel contesto di Haskell, di solito si nota che l'implementazione diretta non effettuerà il check-in di tipo Haskell a causa del suo tipo ricorsivo. Ad esempio, da Rosettacode : The obvious definition of th...
posta 27.10.2013 - 21:43