Ergänzungen

• Programmtext soll Absicht des Programmierers ausdrücken.
• dazu gehören Annahmen über Daten,
  formuliert mittels Typen (foo::Book)

  ...alternative Formulierung:
  Namen (fooBook, Kommentar foo // Book)

• nur durch statische Typisierung kann man Absichten/Annahmen maschinell umfassend prüfen

  ...alternative Prüfung: Tests

• ist nützlich für Wiederverwendbarkeit
• ist nützlich für sichere und effiziente Ausführung

Für statische Typisierung spricht vieles.

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

Was dagegen?

• Typsystem ist ausdrucksschwach:

  (Bsp: keine polymorphen Container in C)

  Programmierer kann Absicht nicht ausdrücken

• Typsystem ist ausdrucksstark:

  (Bsp: kontravariante Typargumente in Java,C#)

  Programmierer muß Sprachstandard lesen und verstehen und dazu Konzepte (z.B. aus Vorlesung) kennen

• Hardware: wer Flugzeug/Brücke/Staudamm/...baut, kann (und darf) das auch nicht allein nach etwas Selbststudium und mit Werkzeug aus dem Baumarkt
• Software: der (Bastel-)Prototyp wird oft zum Produkt,

  der Bastler zum selbsternannten Programmierer

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

• BASIC (1964) (Kemeny, Kurtz) to enable students in fields other than science and math. to use computers
• Perl (1987) (Larry Wall: Chemie, Musik, Linguistik)

• PHP (1994) (Rasmus Lerdorf) Personal Home Page Tools

  (like Perl but ...simpler, more limited, less consistent.)

ECMA-Script (Javascript)

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

• Motivation: Software soll beim Kunden laufen
• technisches Problem: Kunde versteht/beherrscht seinen Computer/Betriebssystem nicht

  (z.B. kann oder will keine JRE)

• stattdessen zwingt man Kunden zu Flashpl-Plugin oder
• Browser mit Javascript-Engine (der Browser ist das OS)
• das steckt z.B. Google viel Geld hinein: https://code.google.com/p/v8/

  aus verständlichen Gründen (Anzeige von Werbung)

• Facebook ist in PHP implementiert
• deswegen steckt Facebook viel Geld in diese Sprache

  aus ebenfalls verständlichen Gründen :

  • für Kunden: Reaktionszeit der Webseite
  • für Betreiber: Entwicklungs- und Betriebskosten

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

• ECMA-Script 6 übernimmt viele Konzepte moderner (funktionaler) Programmierung, u.a.
  • let (block scope), const (single assignment)
  • desctructuring (pattern matching)
  • tail calls (ohne Stack)
  https://github.com/lukehoban/es6features
• http://www.typescriptlang.org/

  TypeScript adds optional types, classes, and modules to JavaScript.

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

• HHVM: Hip Hop Virtual Machine

  https://github.com/facebook/hhvm/blob/master/hphp/doc/bytecode.specification

• Hack http://hacklang.org/ Type Annotations, Generics, Nullable types, Collections, Lambdas, ...

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