Domande con tag 'static-typing'

domande con tag
6
risposte

In che modo la tipizzazione statica è davvero utile nei progetti più grandi?

Mentre curioso sulla pagina principale del sito di un linguaggio di programmazione di script, ho riscontrato questo passaggio: When a system gets too big to keep in your head, you can add static types. Questo mi ha fatto ricordare che in...
posta 16.07.2016 - 10:26
13
risposte

Sarebbe pratica un'alternativa tipizzata staticamente a JavaScript sulle pagine web?

La preferenza per la digitazione dinamica e statica è in gran parte una questione di gusti e diverse persone li trovano più o meno adatti in diverse situazioni. La mia domanda è, sarebbe tecnicamente possibile avere un'alternativa tipizzata s...
posta 15.12.2010 - 23:10
5
risposte

Le lingue statiche e dinamicamente tipizzate possono essere viste come strumenti diversi per diversi tipi di lavori?

Sì, sono state poste domande simili, ma sempre allo scopo di scoprire "qual è il migliore" Te lo chiedo perché sono venuto come sviluppatore principalmente in JavaScript e in realtà non ho alcuna esperienza in materia di scrittura in lingue t...
posta 11.08.2011 - 18:52
3
risposte

Prendendo una tipizzazione strong e statica a un estremo? [duplicare]

È comune nella tipizzazione strong e statica utilizzare tipi diversi anche per variabili con tipi semplici e primitivi per facilitare l'analisi statica e indicare l'intento del programmatore. Un colore e un punto nello spazio 3D potrebbero ess...
posta 26.05.2015 - 05:50
6
risposte

Che cosa è meglio per la prototipazione: un linguaggio tipizzato staticamente o uno tipizzato dinamicamente? [chiuso]

Quando elabora il progetto per un nuovo sistema, è meglio iniziare con un linguaggio tipizzato staticamente (come Haskell) o con un linguaggio tipizzato dinamicamente (come Ruby)? Argomenti a cui posso pensare: Con un linguaggio statico,...
posta 05.09.2011 - 00:48
4
risposte

in linguaggio dinamico come javascript come fai a sapere qual è l'argomento?

In Java o Scala se ho un argomento configuration: Conf , posso cercare Conf class/trait/case class e vedere il suo costrutto in modo da sapere quali argomenti passare. Recentemente ho iniziato a trattare con JavaScript, vedo una...
posta 25.01.2016 - 10:37
7
risposte

Come può una lingua tipizzata in modo statico supportare la digitazione anatra?

Capisco quali sono i tipi di sistemi dinamici e statici e quale è la digitazione anatra. Ma non capisco come si possa avere un linguaggio statico che supporti la digitazione anatra. A mio avviso, solo una lingua digitata in modo dinamico può sup...
posta 11.08.2014 - 22:20
4
risposte

Esistono lingue che consentono al contesto statico di una chiamata al metodo di essere disponibile in fase di runtime?

È possibile che un metodo conosca il tipo di metodo in cui è chiamato? Così, ad esempio, nel seguente codice psuedo orientato agli oggetti: Instance io = new InstanceSubclass(); io.doStuff(); Esiste un linguaggio che consente a doStuff()...
posta 02.01.2012 - 02:35
3
risposte

Come dovrei programmare con un linguaggio di battitura dinamico anche se sulla documentazione non viene annotato alcun tipo?

Ho vissuto a lungo nel mondo del linguaggio tipizzato statico. Tutti i tipi sono stati esplicitamente indicati su ogni variabile e argomento. Ora devo usare una specie di linguaggio di battitura dinamico. (Smalltalk) Il problema è che non è stat...
posta 12.06.2011 - 20:24
2
risposte

Linguaggio che può garantire staticamente che i campi di una mappa siano presenti

Se i dati sono semplici e gli oggetti sono complessi , sono curioso di sapere se esistono lingue digitate che sarebbero in grado di aumentare (?) un tipo di mappa in un tipo con campi garantiti. Mi rendo conto che in fase di esecuzione, in qual...
posta 26.04.2012 - 07:38