Einf?hrung in Die Funktionale Programmierung Mit Miranda

MIRA. You have often Begun to tell me what I am; but stopp 'd, And teft me to a bootless inquisition, Concluding, Stay; not yet. ' PRO. The how"'" now come, . The very minute bids thee ope thine car. "The Tempest" von William Shakespeare (Akt 1, S:: cnc 1) Das vorliegende Buch ist aus Begleitmaterialien zu einem Programmierkurs entstanden, den ich im Sommersemester 1991 an der Universit?t Bonn gehalten habe. Es beschreibt grundlegende und weiterf?hrende Kom;epte der funktionalen l Programmierung und der Programmiersprache Miranda . Eine rein funktionale Sprache wie Miranda ist aus mindestens drei Gr?nden eine interessante und faszinierende Alternative sowohl zu herk?mmlichen, impera- tiven Sprachen als auch zu hybriden Sprachen wie LISP oder Scheme, die neben einem funktionalen Kern viele imperative Konstrukte inkorporieren. 1. Funktionale Programme sind k?rzer, einfacher zu verstehen und besitzen ei- nen h?heren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zug?nglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktio- nen im mathematischen Sinn) erleichtern eine Implementierung auf paralle- len Rechnerarchitekturen. Insbesondere der letzte Punkt er?ffnet f?r die Zukunft vielversprechende Perspek- tiven. Miranda verk?rpert die Tugenden funktionaler Sprachen in besonderer Weise. Die Syntax ist pr?gnant und frei von syntaktischem Ballast. Funktionen wie Typen werden mittels (rekursiver) Gleichungen definiert. Muster auf der linken Seite von Funktionsdefinitionen f?rdern die Lesbarkeit der Definitionen.

Author: Ralf Thomas Walter Hinze

Publisher: Vieweg+teubner Verlag

Publication Date: Nov 01, 1991

Number of Pages: 347 pages

Binding: Paperback or Softback

ISBN-10: 3519022877

ISBN-13: 9783519022879