84 Decks - Earliest First - Ch
se one -
invert order
1
Arrive at monads by going from composition of pure functions to composition of effectful functions
6 slides
2
Compositionality and Category Theory
17 slides
3
Functor Laws
13 slides
4
Natural Transformations
8 slides
5
Monad Laws Must Be Checked
13 slides
6
Kleisli Composition
33 slides
7
Writer Monad for logging execution of functions
14 slides
8
Applicative Functor - Part 1
19 slides
9
Sequence and Traverse - Part 1
36 slides
10
Definitions of Functional Programming
7 slides
11
Monoids - Part 1 - With examples using Scalaz and Cats
39 slides
12
Monoids - Part 2 - With examples using Scalaz and Cats
40 slides
13
Sequence and Traverse - Part 2
33 slides
14
Sequence and Traverse - Part 3
33 slides
15
Ad hoc Polymorphism using Type Classes and Cats
54 slides
16
Functional Effects - Part 1
8 slides
17
Functional Effects - Part 2
39 slides
18
Applicative Functor - Part 2
44 slides
19
Applicative Functor - Part 3
38 slides
20
State Monad
91 slides
21
Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1
33 slides
22
The Monad Fact Series
4 slides
23
Monad Fact #1
8 slides
24
Monad Fact #2
9 slides
25
Monad Fact #3
16 slides
26
Monad Fact #4
24 slides
27
Monad Fact #5
17 slides
28
Monad Fact #6
18 slides
29
From Scala Monadic Effects to Unison Algebraic Effects
44 slides
30
Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2
77 slides
31
Game of Life - Polyglot FP - Haskell and Scala - Part 1
70 slides
32
Game of Life - Polyglot FP - Haskell and Scala - Part 2
55 slides
33
Game of Life - Polyglot FP - Haskell and Scala - Part 3
52 slides
34
Folding Unfolded - Part 1
58 slides
35
Folding Unfolded - Part 2
46 slides
36
Folding Unfolded - Part 3
53 slides
37
Folding Unfolded - Part 4
54 slides
38
The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell
31 slides
39
Folding Unfolded - Part 5
48 slides
40
Scala 3 enum for a terser Option Monad Algebraic Data Type
21 slides
41
Function Applicative for Great Good of Palindrome Checker Function
71 slides
42
Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala
58 slides
43
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1
34 slides
44
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2
58 slides
45
Left and Right Folds - Comparison of a mathematical definition and a programmatic one
14 slides
46
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3
27 slides
47
Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms
28 slides
48
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4
55 slides
49
Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala
13 slides
50
The Functional Programming Triad of map, filter and fold
51 slides
51
‘go-to’ general-purpose sequential collections - from Java To Scala
67 slides
52
Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala
93 slides
53
Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java
95 slides
54
Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example
13 slides
55
The Expression Problem Part 1
47 slides
56
Computer Graphics in Java and Scala - Part 1
25 slides
57
The Expression Problem Part 2
35 slides
58
Computer Graphics in Java and Scala - Part 1b
28 slides
59
The Uniform Access Principle
22 slides
60
The Sieve of Eratosthenes - Part 1
50 slides
61
Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java
46 slides
62
Sum and Product Types - The Fruit Salad & Fruit Snack Example
19 slides
63
The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve
57 slides
64
Nat, List and Option Monoids - From scratch - Combining and Folding - An example
12 slides
65
The aggregate function - from sequential and parallel folds to parallel aggregation
31 slides
66
Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3
16 slides
67
N-Queens Combinatorial Puzzle meets Cats
386 slides
68
A sighting of sequence function in Practical FP in Scala
4 slides
69
A sighting of traverseFilter and foldMap in Practical FP in Scala
6 slides
70
A sighting of traverse_ in Practical FP in Scala
5 slides
71
Fusing Transformations of Strict Scala Collections with Views
28 slides
72
Tagless Final Encoding - Algebras and Interpreters and also Programs
16 slides
73
Scala Left Fold Parallelisation - Three Approaches
44 slides
74
Folding Cheat Sheet #1
3 slides
75
Folding Cheat Sheet #2
4 slides
76
Folding Cheat Sheet #3
6 slides
77
Folding Cheat Sheet #4
8 slides
78
Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid
37 slides
79
A Sighting of filterA in Typelevel Rite of Passage
23 slides
80
Hand Rolled Applicative User Validation Code Kata
6 slides
81
Folding Cheat Sheet #5
2 slides
82
Folding Cheat Sheet #6
12 slides
83
Folding Cheat Sheet #7
21 slides
84
Function Applicative for Great Good of Leap Year Function
25 slides