1 
Compositionality and Category Theory 
17 slides 


2 
Functor Laws 
13 slides 


3 
Monad Laws Must Be Checked 
13 slides 



4 
Kleisli Composition 
33 slides 



5 
Applicative Functor 
19 slides 



6 
Sequence and Traverse 
36 slides 


7 
Definitions of Functional Programming 
7 slides 


8 
Sequence and Traverse  Part 2 
33 slides 


9 
Sequence and Traverse  Part 3 
33 slides 


10 
Applicative Functor  Part 2 
44 slides 



11 
Applicative Functor  Part 3 
38 slides 



12 
The Monad Fact Series 
4 slides 



13 
Monad Fact #1 
8 slides 


14 
Monad Fact #2 
9 slides 


15 
Monad Fact #3 
16 slides 


16 
Monad Fact #4 
24 slides 


17 
Monad Fact #5 
17 slides 


18 
Monad Fact #6 
18 slides 



19 
From Scala Monadic Effects to Unison Algebraic Effects 
44 slides 



20 
Scala 3 by Example  Algebraic Data Types for Domain Driven Design  Part 1 
34 slides 



21 
Game of Life  Polyglot FP  Haskell and Scala  Part 1 
70 slides 



22 
Game of Life  Polyglot FP  Haskell and Scala  Part 2 
55 slides 



23 
Game of Life  Polyglot FP  Haskell and Scala  Part 3 
52 slides 



24 
Folding Unfolded 
58 slides 



25 
Folding Unfolded  Part 2 
46 slides 



26 
Folding Unfolded  Part 3 
53 slides 



27 
Folding Unfolded  Part 4 
54 slides 



28 
The Functional Programming Triad of Folding, Scanning and Iteration  A first example in Scala and Haskell 
31 slides 



29 
Folding Unfolded  Part 5 
48 slides 



30 
Scala 3 enum for a terser Option Monad Algebraic Data Type 
21 slides 


31 
Function Applicative for Great Good of Palindrome Checker Function 
71 slides 



32 
Sierpinski Triangle  Polyglot FP for Fun and Profit  Haskell and Scala 
58 slides 



33 
NQueens Combinatorial Problem  Polyglot FP for Fun and Profit – Haskell and Scala  Part 1 
34 slides 



34 
NQueens Combinatorial Problem  Polyglot FP for Fun and Profit – Haskell and Scala  Part 2 
58 slides 



35 
Left and Right Folds  Comparison of a mathematical definition and a programmatic one 
14 slides 



36 
NQueens Combinatorial Problem  Polyglot FP for Fun and Profit – Haskell and Scala  Part 3 
27 slides 



37 
Quicksort  a whistlestop tour of the algorithm in five languages and four paradigms 
28 slides 







38 
NQueens Combinatorial Problem  Polyglot FP for Fun and Profit – Haskell and Scala  Part 4 
55 slides 



39 
Functional Core and Imperative Shell  Game of Life Example  Haskell and Scala 
13 slides 



40 
The Functional Programming Triad of map, filter and fold 
51 slides 






41 
‘goto’ generalpurpose sequential collections  from Java To Scala 
67 slides 



42 
Refactoring: A First Example  Martin Fowler’s First Example of Refactoring, Adapted to Scala 
93 slides 


43 
Refactoring: A First Example  Martin Fowler’s First Example of Refactoring, Adapted to Java 
95 slides 


44 
Side by Side  Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example 
13 slides 



45 
The Expression Problem Part 1 
47 slides 




46 
Computer Graphics in Java and Scala  Part 1 
25 slides 



47 
The Expression Problem Part 2 
35 slides 



48 
Computer Graphics in Java and Scala  Part 1b 
28 slides 



49 
The Uniform Access Principle 
22 slides 


50 
The Sieve of Eratosthenes  Part 1 
50 slides 





51 
Algebraic Data Types for Data Oriented Programming  From Haskell and Scala to Java 
46 slides 




52 
Sum and Product Types  The Fruit Salad & Fruit Snack Example 
19 slides 





53 
The Sieve of Eratosthenes  Part 2  Genuine versus Unfaithful Sieve 
57 slides 



54 
Nat, List and Option Monoids  From scratch  Combining and Folding  An example 
12 slides 



55 
The aggregate function  from sequential and parallel folds to parallel aggregation 
31 slides 



56 
Kleisli composition, flatMap, join, map, unit  implementation and interrelation  V2 updated for Scala 3 
16 slides 



57 
NQueens Combinatorial Puzzle meets Cats 
386 slides 



58 
A sighting of sequence function in Practical FP in Scala 
4 slides 


59 
A sighting of traverseFilter and foldMap in Practical FP in Scala 
6 slides 


60 
A sighting of traverse_ in Practical FP in Scala 
5 slides 


61 
Fusing Transformations of Strict Scala Collections with Views 
28 slides 


62 
Tagless Final Encoding  Algebras and Interpreters and also Programs 
16 slides 


63 
Scala Left Fold Parallelisation  Three Approaches 
44 slides 


64 
Folding Cheat Sheet #1 
3 slides 


65 
Folding Cheat Sheet #2 
4 slides 


66 
Folding Cheat Sheet #3 
6 slides 


67 
Folding Cheat Sheet #4 
8 slides 



68 
Direct Style Effect Systems  The Print[A] Example  A Comprehension Aid 
37 slides 



69 
A Sighting of filterA in Typelevel Rite of Passage 
23 slides 


70 
Hand Rolled Applicative User Validation Code Kata 
6 slides 

