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