Hands On Training

Functional Programming in Haskell: Supercharge Your Coding

via

Future Learn

Course Features

Duration

6 weeks

Delivery Method

Online

Available on

Lifetime Access

Accessibility

Mobile, Desktop

Language

English

Subtitles

English

Level

Intermediate

Effort

4 hours per week

Teaching Type

Self Paced

Course Description

Are you looking to create software using the most recent programming language paradigm? Haskell, a functional programming language based on formal mathematical principles, is available. It is therefore easy to understand and develop. Furthermore, it runs efficiently on modern multicore computers. Everyone is using Haskell, from investment banks to social media networks. This introductory course will show you how functional programming in Haskell can be elegant, simple, and powerful. You will be able: This course was created by the School of Computing Science, University of Glasgow, the virtual birthplace of Haskell, where many of its original developers worked. This course will allow you to interact with experts and be part of the global Haskell programming community. You can see some of the steps in this course before you sign up.

Course Overview

Alumni Network

International Faculty

Post Course Interactions

Instructor-Moderated Discussions

Skills You Will Gain

What You Will Learn

Apply formal methods to prove properties of functional programs

Develop simple programs involving basic Haskell techniques, including pure function definitions

Develop, modify, and explore code using standard Haskell platform tools

Explore standard combinators for operating on lists

Interpret data structures and function interfaces using types

Justify why a program uses common standard monads (including IO and Maybe)

Produce definitions of algebraic data types and apply recursion to define functions that traverse such types

Target Students

This course is intended for learners who already have experience of at least one programming language, such as Python or Java

You might be a computer science student, a software developer who wants to learn a new programming style, or somebody considering university study in computer science or information technology

Course Content

Expand all sections

Module 1: Evaluation via expression reduction

Module 2: Semantics of function abstraction and application

Module 3: Operations involving basic types including integers, characters and booleans

Module 4: Definition and traversal of recursive data types including lists and trees

Course Instructors

Jeremy Singer

Instructor

I am a lecturer in Computing Science at the University of Glasgow. I am moderately fluent in the following languages: Haskell, Java, C, Scouse and New Testament Greek. * http://dcs.gla.ac.uk/~jsinger

Wim Vanderbauwhede

Instructor

Professor in Computing Science at the University of Glasgow. I program mainly in Haskell, C++ and Perl and love parallel and heterogeneous programming. http:--www.dcs.gla.ac.uk-~wim- @HaskellMOOC