Einführung in die funktionale Programmierung mit Miranda (German Edition)

Hinze, Ralf Thomas Walter

ISBN 10: 3519022877 / ISBN 13: 9783519022879

Edité par Vieweg+Teubner Verlag, 1991

A propos de cet article

In.

N° de réf. du vendeur ria9783519022879_new

Détails bibliographiques

• Titre: Einführung in die funktionale Programmierung mit Miranda (German Edition)
• Éditeur: Vieweg+Teubner Verlag
• Date de parution: 1991
• Langue: allemand
• ISBN à 10 chiffres: 3519022877
• ISBN à 13 chiffres: 9783519022879
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

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.