Script:
Abstract data types in Haskell
Headline
Abstract data types in Haskell
Description
We look at functional programming techniques for implementing abstract data types (ADTs) and concrete data structures. In particular, we want to get a basic understanding of using familiar data types such as stacks. This is also an exercise in modularity (or information hiding). We look at several implementations of stacks and how we can hide these implementations behind a more abstract interface, while also focusing om the characterstic properties of stack. We also cover the domain of unparsing or pretty printing (i.e., rendering structures as text) to discuss a more advanced example of an abstract data type.
Concepts
- Concrete data type
- Abstract data type
- Stack as a key example of an abstract data type
- Reverse Polish notation as an illustrative application of Stack
- Functions as data as an advanced technique
- Combinator library as a functional programming form of abstract data type
- Unparsing or pretty printing as a domain benefitting from an ADT approach
Technologies
- Technology:HughesPJ for pretty printing
Features
Contributions
Backlinks
Ralf Lämmel
edited this article at
Fri, 07 Jul 2023 19:27:55 +0200
User contributions
User edits
Syntax for editing wiki
For you are available next options:will make text bold.
will make text italic.
will make text underlined.
will make text striked.
will allow you to paste code headline into the page.
will allow you to link into the page.
will allow you to paste code with syntax highlight into the page. You will need to define used programming language.
will allow you to paste image into the page.
is list with bullets.
is list with numbers.
will allow your to insert slideshare presentation into the page. You need to copy link to presentation and insert it as parameter in this tag.
will allow your to insert youtube video into the page. You need to copy link to youtube page with video and insert it as parameter in this tag.
will allow your to insert code snippets from @worker.
Syntax for editing wiki
For you are available next options:will make text bold.
will make text italic.
will make text underlined.
will make text striked.
will allow you to paste code headline into the page.
will allow you to link into the page.
will allow you to paste code with syntax highlight into the page. You will need to define used programming language.
will allow you to paste image into the page.
is list with bullets.
is list with numbers.
will allow your to insert slideshare presentation into the page. You need to copy link to presentation and insert it as parameter in this tag.
will allow your to insert youtube video into the page. You need to copy link to youtube page with video and insert it as parameter in this tag.
will allow your to insert code snippets from @worker.