Springer-Lehrbuch

Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere für Anfänger, aber auch für alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten möchten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch große Systeme entwerfen und handhaben zu können. Am Beispiel der modernen Programmiersprachen OPAL, ML, HASKELL und GOFER werden sowohl elementare als auch weiterführende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen, und nicht vollständige Sprachbeschreibungen.