Programming in Haskell
August – November 2016

---

Administrative Details

---

• Evaluation
  • Assignments 30%, midsemester exam 30%, final exam 40%
  • Copying is fatal
  • Teaching assistants: Srijan Ghosh, Aalok Thakkar
• Resources
  • Official Haskell page
  • Introduction to Functional Programming using Haskell, Richard Bird (Prentice Hall)
  • Thinking Functionally with Haskell, Richard Bird (Cambridge University Press)
  • Programming in Haskell, Graham Hutton (Cambridge University Press)
  • Haskell Programming: from first principles (Christopher Allen & Julie Moronuki)
  • Real World Haskell (read online)
  • Learn You a Haskell for Great Good! (read online)
• Submit all assignments on Moodle only. Further instructions will be given as part of the assignments.

---

Course Plan

---

• Introduction to Haskell and the ghci interpreter
• Defining functions: guards, pattern matching and recursion
• Lists, strings and tuples
• Types and polymorphism
• Higher order functions on lists: map, filter, list comprehension
• Computation as rewriting, lazy evaluation and infinite data structures
• Conditional polymorphism and type classes
• User defined datatypes: lists, queues, trees
• Input/output and the ghc compiler
• Arrays

---

Assignments

---

Lectures

• Lecture 1. August 2, 2016

---

Resources

---