About this course
Do you want to develop software using the latest programming language paradigm? Haskell is a functional programming language, based on formal mathematical principles. As such, it is easy to reason about and develop, and it executes efficiently on modern multicore machines. From investment banks to social networks, everyone is adopting Haskell. Free to register. Fee to certificate.
- Develop simple programs involving basic Haskell techniques, including pure function definitions.
- Produce definitions of algebraic data types and apply recursion to define functions that traverse such types.
- Interpret data structures and function interfaces using types.
- Apply formal methods to prove properties of functional programs.
- Develop, modify, and explore code using standard Haskell platform tools.
- Justify why a program uses common standard monads (including IO and Maybe).
- Explore standard combinators for operating on lists.