Functional Programming

The course introduces elements of functional programming in Java 8. After completing this course, you should have a basic understanding of lambda expressions, functional interfaces, stream API, lazy evaluation, currying and monads.

This course covers functional, object-oriented, and declarative dataflow programming in a unified framework, with practical code fragments and a simple semantics.

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

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 [...]