Domande con tag 'static-typing'

domande con tag
6
risposte

Digitazione graduale: "Quasi tutte le lingue con un sistema di tipo statico hanno anche un sistema di tipo dinamico"

Questo reclamo di Aleks Bromfield afferma: Almost every language with a static type system also has a dynamic type system. Aside from C, I can't think of an exception È un reclamo valido? Capisco che con Reflection o Caricamento di c...
posta 28.12.2013 - 23:07
3
risposte

Esistono studi empirici sull'effetto di linguaggi diversi sulla qualità del software?

I sostenitori dei linguaggi di programmazione funzionale affermano che la programmazione funzionale rende più facile ragionare sul codice. Chi è a favore di linguaggi tipizzati staticamente afferma che i compilatori individuano errori sufficient...
posta 04.08.2011 - 19:01
5
risposte

Uso delle classi statiche come spazi dei nomi

Ho visto altri sviluppatori che utilizzano classi statiche come spazi dei nomi public static class CategoryA { public class Item1 { public void DoSomething() { } } public class Item2 { public void DoSomethin...
posta 10.11.2011 - 15:20
3
risposte

Ci sono alternative ai tipi per l'analisi statica?

La tipizzazione statica in un linguaggio di programmazione può essere utile per rafforzare certe garanzie in fase di compilazione, ma i tipi sono l'unico strumento per questo lavoro? Ci sono altri modi per specificare gli invarianti? Ad esemp...
posta 11.02.2016 - 04:39
4
risposte

Esistono linguaggi di programmazione che supportano la digitazione statica e dinamica? [duplicare]

Essere statici o dinamici dovrebbe essere qualcosa di completamente supportato nella lingua. Statico vs dinamico non dovrebbe essere qualcosa che devi attivare e disattivare, passando da fondamentalmente a 2 lingue. Sto parlando di follia m...
posta 21.12.2014 - 21:35
2
risposte

(Dis-) vantaggi della tipizzazione strutturale

Ho appena visto questo talk di Daniel Spiewak dove parla dei vantaggi di tipizzazione strutturale rispetto alla digitazione nominale di Scala ans Java. Un esempio di questa differenza sarebbe il seguente codice Java public interface Foo...
posta 07.11.2011 - 15:20
9
risposte

Dinamico vs lingue tipizzate staticamente per siti web [chiuso]

Questa affermazione suggerisce che le lingue tipizzate staticamente non sono l'ideale per i siti web: I’ll contrast that with building a website. When rendering web pages, often you have very many components interacting on a web page....
posta 02.03.2011 - 15:20
2
risposte

È un tipo Opzionale / Forse utile nelle lingue dinamiche?

Optional è utile in modo ovvio in un linguaggio tipizzato staticamente, ma mi chiedo se sia utile anche in linguaggi dinamici. Di solito non c'è un compilatore che ti dica "hey, hai usato questo Optional<String> come String "...
posta 18.03.2015 - 22:42
3
risposte

Uso del controllo di tipo statico per la protezione da errori di business

Sono un grande fan del controllo di tipo statico. Ti impedisce di commettere 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 imp...
posta 02.07.2018 - 23:06
5
risposte

Le lingue dinamiche sono svantaggiate per lo sviluppo agile?

Da quello che ho letto, lo sviluppo agile spesso implica il refactoring o il codice di reverse engineering nei diagrammi. Naturalmente c'è molto di più, ma se consideriamo le pratiche che si basano su questi due metodi, le lingue digitate dinami...
posta 24.09.2012 - 23:43