Abstraktionen

Programmiersprache dient dazu, ...

• ausführbaren Code zubeschreiben,
• Abstraktionen auszudrücken.

  (allgemeine und anwendungsspezifische)

Abstraktion besteht aus:

• Schema (das Gemeinsame)
• Parametern (das Unterschiedliche).

Bsp: Unterprog., Klasse, abstr. Datentyp, generischer Typ.

zugrundeliegendes Prinzip: Funktion. ( ⇒ Lambda-Kalkül) vgl. Steele, Sussman: ``Lambda, the ultimate ...'' http://library.readscheme.org/page1.html