Contact FutureLearn for Support Skip main navigation
We use cookies to give you a better experience, if that’s ok you can close this message and carry on browsing. For more info read our cookies policy.
We use cookies to give you a better experience. Carry on browsing if you're happy with this, or read our cookies policy for more information.

Certificate of Achievement

Maik Toepfer

has completed the following course:

Functional Programming in Haskell: Supercharge Your Coding

University of Glasgow

This online course explored the concepts of functional programming using the Haskell language. The course covered standard functional programming techniques, as well as some advanced concepts, which were applied to realistic programming problems.

6 weeks, 4 hours per week

Educators

Wim Vanderbauwhede

Senior Lecturer in Computing Science

University of Glasgow

Jeremy Singer

Lecturer in Computing Science

University of Glasgow

Transcript

Learning outcomes

  • 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

Syllabus

  • Evaluation via expression reduction
  • Semantics of function abstraction and application
  • Operations involving basic types including integers, characters and booleans
  • Definition and traversal of recursive data types including lists and trees
  • Techniques for structuring programs of non-trivial size
  • Developing custom parsing tools with library support
  • Automated testing with the QuickCheck tool
  • Infinite data structures and lazy evaluation
  • Type classes
  • Principles of Lambda calculus
  • Monads

Issued on 9th November 2016

The person named on this certificate has completed the activities in the transcript above. For more information about Certificates of Achievement and the effort required to become eligible, visit futurelearn.com/proof-of-learning/certificate-of-achievement.

This learner has not verified their identity. The certificate and transcript do not imply the award of credit or the conferment of a qualification from University of Glasgow.

Free online course:

Functional Programming in Haskell: Supercharge Your Coding

University of Glasgow