Sort options

Functional Programming in Haskell: Supercharge Your Coding (FutureLearn)

Apr 19th 2021
 Functional Programming in Haskell: Supercharge Your Coding (FutureLearn)
Course Auditing
Get an introduction to Haskell, the increasingly popular functional programming language, with this University of Glasgow 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 [...]
Average: 8 ( 3 votes )

Introduction to programming with dependent types in Scala (Stepik)

This course is an introduction to type theory, homotopy type theory (HoTT), dependent-type programming, type-level programming, and theorem proving using Scala.
Average: 10 ( 2 votes )

Introduction to Functional Programming (edX)

The aim of this course is to teach the foundations of functional programming and how to apply them in the real world. Broadly speaking, functional programming is a style of programming in which the primary method of computation is the application of functions to arguments. Among other features, functional [...]
Average: 7 ( 3 votes )