Media Summary: In this video we are going to get theoretical! In this video we explore higher order functions, anonymous functions and the functions map and filter. In this video we explore lists, listcomprehensions, matching, etc...

Haskell For Imperative Programmers 37 - Detailed Analysis & Overview

In this video we are going to get theoretical! In this video we explore higher order functions, anonymous functions and the functions map and filter. In this video we explore lists, listcomprehensions, matching, etc... In this video we explore the theory of partial function application and its use. In this video it's going to get theoretical! Documentation: ... In this video we are going to evaluate to normal form. Documentation: ...

In this video we explore foldings on lists. This video is supported by Isabelle: The Archive of Formal Proofs: ... The talk is related to our new book: "Algorithm Design with In this video we will look at Monads and their application.

Photo Gallery

Haskell for Imperative Programmers #37 - Arrows
Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)
Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions
Haskell for Imperative Programmers #4 - Lists and Tuples
Haskell for Imperative Programmers #7 - Partial Function Application & Currying
Haskell for Imperative Programmers #35 - Semigroup & Monoid
Haskell for Imperative Programmers #32 - DeepSeq
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Haskell for Imperative Programmers #9 - Folding (foldr, foldl)
Haskell in 100 Seconds
Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)
Jeremy Gibbons: Algorithm Design with Haskell
View Detailed Profile
Haskell for Imperative Programmers #37 - Arrows

Haskell for Imperative Programmers #37 - Arrows

Let's head in the right direction!

Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)

Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)

In this video we are going to get theoretical!

Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions

Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions

In this video we explore higher order functions, anonymous functions and the functions map and filter.

Haskell for Imperative Programmers #4 - Lists and Tuples

Haskell for Imperative Programmers #4 - Lists and Tuples

In this video we explore lists, listcomprehensions, matching, etc...

Haskell for Imperative Programmers #7 - Partial Function Application & Currying

Haskell for Imperative Programmers #7 - Partial Function Application & Currying

In this video we explore the theory of partial function application and its use.

Haskell for Imperative Programmers #35 - Semigroup & Monoid

Haskell for Imperative Programmers #35 - Semigroup & Monoid

In this video it's going to get theoretical! Documentation: ...

Haskell for Imperative Programmers #32 - DeepSeq

Haskell for Imperative Programmers #32 - DeepSeq

In this video we are going to evaluate to normal form. Documentation: ...

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Simon Peyton Jones is the co-creator of

Haskell for Imperative Programmers #9 - Folding (foldr, foldl)

Haskell for Imperative Programmers #9 - Folding (foldr, foldl)

In this video we explore foldings on lists.

Haskell in 100 Seconds

Haskell in 100 Seconds

Haskell

Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)

Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)

This video is supported by https://translatebox.io Isabelle: https://isabelle.in.tum.de The Archive of Formal Proofs: ...

Jeremy Gibbons: Algorithm Design with Haskell

Jeremy Gibbons: Algorithm Design with Haskell

The talk is related to our new book: "Algorithm Design with

Haskell for Imperative Programmers #17 - Monads

Haskell for Imperative Programmers #17 - Monads

In this video we will look at Monads and their application.