JiPP lab

Location and time

Solutions to exercises

• Week 1
• Week 2
• Week 3
• Reader monad
• State monad
• Parsers, monad transformers, etc.
• Parser example in Parsec
• Prolog 1
• Prolog 2
• Smalltalk - solutions week 2
• Smalltalk: packages with solutions for week 2 and week 3:
  • StosKolejka.pac
  • Pierwsze.pac
  • Karty.pac

Additional exercises (optional)

• Implement the reverse function using fold. Hint: base your implementation on the accumulator-based version of reverse.
• Implement the Newton-Raphson algorithm (as explained in Hughes - Why Functional Programming Matters) in Haskell. Additionally, you can use the Rational type in the Data.Ratio module to try and compute a large number of decimals of square roots.

Additional material/sources

• Some basic facts about monads
• Monad tutorial on haskell.org
• Yet another Haskell tutorial by Hal Daumé III.
• Real World Haskell
• Haskell 98 Language and Libraries - The Revised Report
• A tutorial on the universality and expressiveness of fold by Graham Hutton