Objekt-funktionale Programmierung prägt die moderne Softwareentwicklung: Fast alle verbreiteten Programmiersprachen verbinden heute Objekte mit Funktionen höherer Ordnung. Dennoch werden objektorientierte und funktionale Programmierung meist getrennt voneinander gelehrt und verstanden.
Dieses Buch verfolgt einen anderen Ansatz. Es entwickelt die objekt-funktionale Programmierung aus ihren imperativen und funktionalen Grundlagen und führt diese im Begriff des Objekts zusammen. Klassen und Typen stellt es als weiterführende Konstrukte dar, die Programme strukturieren und Korrektheitsgarantien ermöglichen. Begleitet wird diese Herangehensweise durch Querbezüge zur Mathematik und zur Metaphysik, die häufig übergangene Begründungen für die zentralen Elemente objekt-funktionaler Sprachen liefern. Dabei bleibt die Darstellung auch bei Ausflügen in die Theorie anschaulich und unterhaltsam. Die Verbindung zur Praxis stellt das Buch durch die ausführliche Behandlung von JavaScript, Ruby, TypeScript, Scala und F# her, die es seinem didaktischen Aufbau folgend der Reihe nach einführt und in zahlreichen Code-Beispielen einsetzt.
Objekt-funktionale Programmierung eignet sich als Grundlage für Lehrveranstaltungen zur objektorientierten und funktionalen Programmierung ebenso wie als fundierte Referenz für Entwicklerinnen und Entwickler, die ihr Verständnis der theoretischen und praktischen Grundlagen moderner Programmiersprachen vertiefen und dabei mehr über deren Hintergründe erfahren möchten.
Der Autor
Prof. Dr. Friedrich Steimann ist Inhaber des Lehrstuhls für Programmiersysteme der Fernuniversität in Hagen. Er ist Autor zahlreicher internationaler Publikationen und verfügt über umfangreiche Lehrerfahrung in den Bereichen Modellierung, Programmierung und Software Engineering.
Objekt-funktionale Programmierung ist heute die Realität moderner Softwareentwicklung: Fast alle verbreiteten objektorientierten Programmiersprachen integrieren funktionale Konzepte wie Funktionen höherer Ordnung, Closures, Pattern Matching oder Typabstraktion. Dennoch werden funktionale und objektorientierte Programmierung meist getrennt gelehrt und verstanden.
Dieses Buch verfolgt einen anderen Ansatz. Es entwickelt die objekt-funktionale Programmierung von ihren Grundlagen aus und stellt die funktionale Programmierung zunächst in den Mittelpunkt. Ausgehend von imperativer Programmierung, Lambda-Kalkül und Typentheorie zeigt es Schritt für Schritt, wie funktionale und objektorientierte Konzepte zusammenwirken und sich gegenseitig ergänzen.
Anhand der fünf Programmiersprachen JavaScript, Ruby, TypeScript, Scala und F# vermittelt Friedrich Steimann die zentralen Konstrukte moderner Programmiersprachen: Objekte, Klassen, Funktionen, Typen, Vererbung, Pattern Matching, Generics, Typsysteme und funktionale Programmiertechniken. Dabei werden Gemeinsamkeiten und Unterschiede der Sprachen systematisch herausgearbeitet und in einen übergreifenden konzeptionellen Zusammenhang gestellt.
Das Buch eignet sich als Lehrbuch für Informatikstudierende, als Begleitwerk zu Lehrveranstaltungen zur objekt-funktionalen Programmierung, funktionalen Programmierung, objektorientierten Programmierung und Programmiersprachenkonzepten sowie als fundierte Referenz für Entwicklerinnen und Entwickler, die die theoretischen und praktischen Grundlagen moderner Programmiersprachen vertiefen möchten.
Friedrich Steimann
objektfunktionale Programmierung objektorientierte Programmierung funktionale Programmierung optionale Typprüfung JavaScript TypeScript Scala F#