Ergänzungen

Für statische Typisierung spricht vieles.

Es funktioniert auch seit Jahrtzehnten (Algol 1960, ML 1970, C++ 1980, Java 1990 usw.)

Was dagegen?

so auch bei Programmiersprachen:
entworfen von oder für Leute ohne (viel) Fachwissen

ECMA-Script (Javascript)

semantisch ist das LISP (z.B. Funktionen als Daten), syntaktisch ist es Java

...was ist mit Microsoft? Die haben auch viel Geld und clevere Leute? -- Ja:

Personen: Luke Hoban, Anders Hejlsberg, Erik Meijer, ...

Julien Verlaguet: Facebook: Analyzing PHP statically, 2013, http://cufp.org/2013/julien-verlaguet-facebook-analyzing-php-statically.html

vgl. Neil Savage: Gradual Evolution, Communications of the ACM, Vol. 57 No. 10, Pages 16-18, http://cacm.acm.org/magazines/2014/10/178775-gradual-evolution/fulltext

2015-08-17