Media Summary: In this video we discuss some exercises on folding. Solutions: ... In this video we explore records and their usage. In this video we explore typeclasses and how to instanciate them.

Haskell For Imperative Programmers 11 - Detailed Analysis & Overview

In this video we discuss some exercises on folding. Solutions: ... In this video we explore records and their usage. In this video we explore typeclasses and how to instanciate them. In this video we explore what may be and may won't be. This video is supported by Isabelle: The Archive of Formal Proofs: ... In this video we are going to get theoretical!

In this video we explore how to create your own datatypes. In this video we explore foldings on lists. In this video we explore lists, listcomprehensions, matching, etc... In this video we will explore software transactional memory within This video is supported by Further reading:

Photo Gallery

Haskell for Imperative Programmers #11 - Folding Exercises
Haskell for Imperative Programmers #12 - Records
Haskell for Imperative Programmers #13 - Typeclasses
Haskell for Imperative Programmers #14 - Maybe
Haskell for Imperative Programmers #37 - Arrows
Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)
Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)
Haskell for Imperative Programmers #10 - Datatypes
Haskell for Imperative Programmers #9 - Folding (foldr, foldl)
Haskell for Imperative Programmers #4 - Lists and Tuples
Haskell for Imperative Programmers #30 - Software Transactional Memory (STM)
Haskell for Imperative Programmers #40 - Termination Proofs
View Detailed Profile
Haskell for Imperative Programmers #11 - Folding Exercises

Haskell for Imperative Programmers #11 - Folding Exercises

In this video we discuss some exercises on folding. Solutions: ...

Haskell for Imperative Programmers #12 - Records

Haskell for Imperative Programmers #12 - Records

In this video we explore records and their usage.

Haskell for Imperative Programmers #13 - Typeclasses

Haskell for Imperative Programmers #13 - Typeclasses

In this video we explore typeclasses and how to instanciate them.

Haskell for Imperative Programmers #14 - Maybe

Haskell for Imperative Programmers #14 - Maybe

In this video we explore what may be and may won't be.

Haskell for Imperative Programmers #37 - Arrows

Haskell for Imperative Programmers #37 - Arrows

Let's head in the right direction!

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: ...

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 #10 - Datatypes

Haskell for Imperative Programmers #10 - Datatypes

In this video we explore how to create your own datatypes.

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 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 #30 - Software Transactional Memory (STM)

Haskell for Imperative Programmers #30 - Software Transactional Memory (STM)

In this video we will explore software transactional memory within

Haskell for Imperative Programmers #40 - Termination Proofs

Haskell for Imperative Programmers #40 - Termination Proofs

This video is supported by https://translatebox.io Further reading: https://www.springer.com/de/book/9783658263010 ...

Haskell for Imperative Programmers #27 - Exceptions

Haskell for Imperative Programmers #27 - Exceptions

Documentation and interesting reads: https://hackage.