Einfhrung in die funktionale Programmierung mit Miranda (Paperback)

Paperback. 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 Universitaet Bonn gehalten habe. Es beschreibt grundlegende und weiterfuehrende Kom;epte der funktionalen l Programmierung und der Programmiersprache Miranda . Eine rein funktionale Sprache wie Miranda ist aus mindestens drei Gruenden eine interessante und faszinierende Alternative sowohl zu herkoemmlichen, 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 kuerzer, einfacher zu verstehen und besitzen ei- nen hoeheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugaenglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktio- nen im mathematischen Sinn) erleichtern eine Implementierung auf paralle- len Rechnerarchitekturen. Insbesondere der letzte Punkt eroeffnet fuer die Zukunft vielversprechende Perspek- tiven. Miranda verkoerpert die Tugenden funktionaler Sprachen in besonderer Weise. Die Syntax ist praegnant und frei von syntaktischem Ballast. Funktionen wie Typen werden mittels (rekursiver) Gleichungen definiert. Muster auf der linken Seite von Funktionsdefinitionen foerdern die Lesbarkeit der Definitionen. 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 UniversitAt Bonn gehalten habe. Es beschreibt grundlegende und weiterfAhrende Kom;epte der funktionalen l Programmierung und der Programmiersprache Miranda . Eine rein funktionale Sprache wie Miranda ist aus mindestens drei GrAnden eine interessante und faszinierende Alternative sowohl zu herkAmmlichen, imperaA tiven Sprachen als auch zu hybriden Sprachen wie LISP oder Scheme, die neben einem funktionalen Kern viele imperative Konstrukte inkorporieren. 1. Funktionale Programme sind kArzer, einfacher zu verstehen und besitzen eiA nen hAheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugAnglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind FunktioA nen im mathematischen Sinn) erleichtern eine Implementierung auf paralleA len Rechnerarchitekturen. Insbesondere der letzte Punkt erAffnet fAr die Zukunft vielversprechende PerspekA tiven. Miranda verkArpert die Tugenden funktionaler Sprachen in besonderer Weise. Die Syntax ist prAgnant und frei von syntaktischem Ballast. Funktionen wie Typen werden mittels (rekursiver) Gleichungen definiert. Muster auf der linken Seite von Funktionsdefinitionen fArdern die Lesbarkeit Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…