Einführung in die funktionale Programmierung mit Miranda:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1992
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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, Scene 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 Konzepte 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, imperativen 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 einen höheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugänglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktionen im mathematischen Sinn) erleichtern eine Implementierung auf parallelen Rechnerarchitekturen. Insbesondere der letzte Punkt eröffnet für die Zukunft vielversprechende Perspektiven. 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 |
| Beschreibung: | 1 Online-Ressource (XIV, 347 S. 10 Abb) |
| ISBN: | 9783322930903 9783519022879 |
| DOI: | 10.1007/978-3-322-93090-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042430728 | ||
| 003 | DE-604 | ||
| 005 | 20180117 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1992 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322930903 |c Online |9 978-3-322-93090-3 | ||
| 020 | |a 9783519022879 |c Print |9 978-3-519-02287-9 | ||
| 024 | 7 | |a 10.1007/978-3-322-93090-3 |2 doi | |
| 035 | |a (OCoLC)864071533 | ||
| 035 | |a (DE-599)BVBBV042430728 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Hinze, Ralf |d 1965- |e Verfasser |0 (DE-588)1046187147 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die funktionale Programmierung mit Miranda |c von Ralf Thomas Walter Hinze |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1992 | |
| 300 | |a 1 Online-Ressource (XIV, 347 S. 10 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a 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, Scene 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 Konzepte 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, imperativen 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 einen höheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugänglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktionen im mathematischen Sinn) erleichtern eine Implementierung auf parallelen Rechnerarchitekturen. Insbesondere der letzte Punkt eröffnet für die Zukunft vielversprechende Perspektiven. 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 | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Miranda |g Programmiersprache |0 (DE-588)4274854-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | 1 | |a Miranda |g Programmiersprache |0 (DE-588)4274854-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-93090-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866059 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153113018368000 |
|---|---|
| any_adam_object | |
| author | Hinze, Ralf 1965- |
| author_GND | (DE-588)1046187147 |
| author_facet | Hinze, Ralf 1965- |
| author_role | aut |
| author_sort | Hinze, Ralf 1965- |
| author_variant | r h rh |
| building | Verbundindex |
| bvnumber | BV042430728 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)864071533 (DE-599)BVBBV042430728 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-93090-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03381nmm a2200481zc 4500</leader><controlfield tag="001">BV042430728</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180117 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1992 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322930903</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-93090-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519022879</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02287-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-93090-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864071533</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042430728</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hinze, Ralf</subfield><subfield code="d">1965-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1046187147</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die funktionale Programmierung mit Miranda</subfield><subfield code="c">von Ralf Thomas Walter Hinze</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 347 S. 10 Abb)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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, Scene 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 Konzepte 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, imperativen 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 einen höheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugänglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktionen im mathematischen Sinn) erleichtern eine Implementierung auf parallelen Rechnerarchitekturen. Insbesondere der letzte Punkt eröffnet für die Zukunft vielversprechende Perspektiven. 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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Miranda</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4274854-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Miranda</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4274854-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-93090-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866059</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042430728 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:26Z |
| institution | BVB |
| isbn | 9783322930903 9783519022879 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866059 |
| oclc_num | 864071533 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XIV, 347 S. 10 Abb) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| spelling | Hinze, Ralf 1965- Verfasser (DE-588)1046187147 aut Einführung in die funktionale Programmierung mit Miranda von Ralf Thomas Walter Hinze Wiesbaden Vieweg+Teubner Verlag 1992 1 Online-Ressource (XIV, 347 S. 10 Abb) txt rdacontent c rdamedia cr rdacarrier 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, Scene 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 Konzepte 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, imperativen 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 einen höheren Abstraktionsgrad als korrespondierende imperative Programme. 2. Sie sind einer mathematischen Behandlung einfacher zugänglich. 3. Die angenehmen mathematischen Eigenschaften (Funktionen sind Funktionen im mathematischen Sinn) erleichtern eine Implementierung auf parallelen Rechnerarchitekturen. Insbesondere der letzte Punkt eröffnet für die Zukunft vielversprechende Perspektiven. 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 Engineering Engineering, general Ingenieurwissenschaften Miranda Programmiersprache (DE-588)4274854-9 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 s Miranda Programmiersprache (DE-588)4274854-9 s 1\p DE-604 https://doi.org/10.1007/978-3-322-93090-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hinze, Ralf 1965- Einführung in die funktionale Programmierung mit Miranda Engineering Engineering, general Ingenieurwissenschaften Miranda Programmiersprache (DE-588)4274854-9 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4274854-9 (DE-588)4198740-8 |
| title | Einführung in die funktionale Programmierung mit Miranda |
| title_auth | Einführung in die funktionale Programmierung mit Miranda |
| title_exact_search | Einführung in die funktionale Programmierung mit Miranda |
| title_full | Einführung in die funktionale Programmierung mit Miranda von Ralf Thomas Walter Hinze |
| title_fullStr | Einführung in die funktionale Programmierung mit Miranda von Ralf Thomas Walter Hinze |
| title_full_unstemmed | Einführung in die funktionale Programmierung mit Miranda von Ralf Thomas Walter Hinze |
| title_short | Einführung in die funktionale Programmierung mit Miranda |
| title_sort | einfuhrung in die funktionale programmierung mit miranda |
| topic | Engineering Engineering, general Ingenieurwissenschaften Miranda Programmiersprache (DE-588)4274854-9 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Miranda Programmiersprache Funktionale Programmierung |
| url | https://doi.org/10.1007/978-3-322-93090-3 |
| work_keys_str_mv | AT hinzeralf einfuhrungindiefunktionaleprogrammierungmitmiranda |