From inheritance to feature interaction or composing monads:
Abstract: "We show that techniques for monad composition can be used nicely for modeling object-oriented programming concepts. In this functional setting, we develop a new model for composing objects from individual features in a modular way. Features are similar to abstract subclasses, but sep...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
1997
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9715 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We show that techniques for monad composition can be used nicely for modeling object-oriented programming concepts. In this functional setting, we develop a new model for composing objects from individual features in a modular way. Features are similar to abstract subclasses, but separate the core functionality of a subclass from overwriting methods. We view method overwriting more generally as resolving interactions between two features. The interaction handling is specified separately and added when features are composed. This generalizes inheritance as found in object-oriented languages and leads to a new view of objects in a functional setting. Our concepts are implemented in Gofer and generalize some monadic programming techniques, where objects correspond to monads, features to monad transformers, and feature interactions are resolved by lifting functions through monad transformers." |
| Beschreibung: | Literaturverz. S. 22 - 25 |
| Beschreibung: | 25 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011712902 | ||
| 003 | DE-604 | ||
| 005 | 20040419 | ||
| 007 | t | ||
| 008 | 971222s1997 gw d||| t||| 00||| ger d | ||
| 016 | 7 | |a 952258838 |2 DE-101 | |
| 035 | |a (OCoLC)40283253 | ||
| 035 | |a (DE-599)BVBBV011712902 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 088 | |a TUM I 9715 | ||
| 100 | 1 | |a Prehofer, Christian |d 1967- |e Verfasser |0 (DE-588)118120441 |4 aut | |
| 245 | 1 | 0 | |a From inheritance to feature interaction or composing monads |c Christian Prehofer |
| 264 | 1 | |a München |c 1997 | |
| 300 | |a 25 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9715 | |
| 500 | |a Literaturverz. S. 22 - 25 | ||
| 520 | 3 | |a Abstract: "We show that techniques for monad composition can be used nicely for modeling object-oriented programming concepts. In this functional setting, we develop a new model for composing objects from individual features in a modular way. Features are similar to abstract subclasses, but separate the core functionality of a subclass from overwriting methods. We view method overwriting more generally as resolving interactions between two features. The interaction handling is specified separately and added when features are composed. This generalizes inheritance as found in object-oriented languages and leads to a new view of objects in a functional setting. Our concepts are implemented in Gofer and generalize some monadic programming techniques, where objects correspond to monads, features to monad transformers, and feature interactions are resolved by lifting functions through monad transformers." | |
| 650 | 4 | |a Functional programming languages | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Triples, Theory of | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9715 |w (DE-604)BV006185376 |9 9715 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007898598 | ||
Datensatz im Suchindex
| _version_ | 1804126250498785280 |
|---|---|
| any_adam_object | |
| author | Prehofer, Christian 1967- |
| author_GND | (DE-588)118120441 |
| author_facet | Prehofer, Christian 1967- |
| author_role | aut |
| author_sort | Prehofer, Christian 1967- |
| author_variant | c p cp |
| building | Verbundindex |
| bvnumber | BV011712902 |
| ctrlnum | (OCoLC)40283253 (DE-599)BVBBV011712902 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02057nam a2200361 cb4500</leader><controlfield tag="001">BV011712902</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971222s1997 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952258838</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40283253</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011712902</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9715</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Prehofer, Christian</subfield><subfield code="d">1967-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118120441</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From inheritance to feature interaction or composing monads</subfield><subfield code="c">Christian Prehofer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9715</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 22 - 25</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We show that techniques for monad composition can be used nicely for modeling object-oriented programming concepts. In this functional setting, we develop a new model for composing objects from individual features in a modular way. Features are similar to abstract subclasses, but separate the core functionality of a subclass from overwriting methods. We view method overwriting more generally as resolving interactions between two features. The interaction handling is specified separately and added when features are composed. This generalizes inheritance as found in object-oriented languages and leads to a new view of objects in a functional setting. Our concepts are implemented in Gofer and generalize some monadic programming techniques, where objects correspond to monads, features to monad transformers, and feature interactions are resolved by lifting functions through monad transformers."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Triples, Theory of</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9715</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9715</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007898598</subfield></datafield></record></collection> |
| id | DE-604.BV011712902 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:14:28Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007898598 |
| oclc_num | 40283253 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 25 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Prehofer, Christian 1967- Verfasser (DE-588)118120441 aut From inheritance to feature interaction or composing monads Christian Prehofer München 1997 25 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9715 Literaturverz. S. 22 - 25 Abstract: "We show that techniques for monad composition can be used nicely for modeling object-oriented programming concepts. In this functional setting, we develop a new model for composing objects from individual features in a modular way. Features are similar to abstract subclasses, but separate the core functionality of a subclass from overwriting methods. We view method overwriting more generally as resolving interactions between two features. The interaction handling is specified separately and added when features are composed. This generalizes inheritance as found in object-oriented languages and leads to a new view of objects in a functional setting. Our concepts are implemented in Gofer and generalize some monadic programming techniques, where objects correspond to monads, features to monad transformers, and feature interactions are resolved by lifting functions through monad transformers." Functional programming languages Object-oriented programming (Computer science) Triples, Theory of Technische Universität <München>: TUM-I 9715 (DE-604)BV006185376 9715 |
| spellingShingle | Prehofer, Christian 1967- From inheritance to feature interaction or composing monads Technische Universität <München>: TUM-I Functional programming languages Object-oriented programming (Computer science) Triples, Theory of |
| title | From inheritance to feature interaction or composing monads |
| title_auth | From inheritance to feature interaction or composing monads |
| title_exact_search | From inheritance to feature interaction or composing monads |
| title_full | From inheritance to feature interaction or composing monads Christian Prehofer |
| title_fullStr | From inheritance to feature interaction or composing monads Christian Prehofer |
| title_full_unstemmed | From inheritance to feature interaction or composing monads Christian Prehofer |
| title_short | From inheritance to feature interaction or composing monads |
| title_sort | from inheritance to feature interaction or composing monads |
| topic | Functional programming languages Object-oriented programming (Computer science) Triples, Theory of |
| topic_facet | Functional programming languages Object-oriented programming (Computer science) Triples, Theory of |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT prehoferchristian frominheritancetofeatureinteractionorcomposingmonads |