Functional Programming OvGU WiSe 2023/24

Exercise Sheet 1 [task sheet]

1. Sums
2. Digit sums
3. Prefixes
4. Guards vs. If
5. Laziness
6. Completing prefixes*

Exercise Sheet 2 [task sheet]

1. Modelling the basics of a casino
2. Text alignments
3. Safe calculations
4. The simplest enumeration type
5. Hiding values
6. Mixed lists*

Exercise Sheet 3 [task sheet]

1. Splitting Lists
2. Sorting
3. Components and Products
4. Polymorphism Quirks
5. Sets*

Exercise Sheet 4 [task sheet]

1. map, foldl, foldr, filter
2. Underscores, Types
3. Streams and higher order functions
4. Advanced folding and filtering
5. Function family and stream of streams*

Exercise Sheet 5 [task sheet]

1. Comprehensible Streams
2. The Functor class and its limits
3. The Functor class and its limits continued
4. Folding
5. Functor Functor and Foldable Foldable
6. Not enough Folding and Mapping: Functor3 and Foldable3*

Exercise Sheet 6 [task sheet]

1. Keeping things sorted
2. Deques, Module 'Deque'
3. Deques as Stacks/Queues, Modules 'MyStack', 'MyQueue', 'Deque'
4. Vectors, Module 'MyVector'
5. Maps and a very clunky TicTacToe*, Module 'TicTacToe'

Exercise Sheet 7 [task sheet]

1. Deque axioms, Module 'Deque'
2. More axioms: Sorted List, Module 'SortedList'
3. Trace
4. Tasty
5. Axiom puzzle*

Exercise Sheet 8 [task sheet]

1. To do or not to do
2. Better arbitrary for sorted list
3. Arbitrary generator for distinct pairs
4. File manipulation
5. Rolling Dice*, Module 'DiceRoller'

Exercise Sheet 9 [task sheet]

1. ID and a Monad for counting binds
2. making Bingos I
3. making Bingos II
4. The state of Ants*