97 Decks - Earliest First - Chse one - invert order

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 - 8 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  Function Composition - forward composition versus backward composition - 1 slides

21  Year when lambda functions were introduced in various languages - 2 slides

22  Ad hoc Polymorphism using Type Classes and Cats - 54 slides

23  Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence - 2 slides

24  Functional Effects - Part 1 - 8 slides

25  Functional Effects - Part 2 - 39 slides

26  Applicative Functor - Part 2 - 44 slides

27  Applicative Functor - Part 3 - 38 slides

28  State Monad - 91 slides

29  Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1 - 33 slides

30  The Monad Fact Series - 4 slides

31  Monad Fact #1 - 8 slides

32  Monad Fact #2 - 9 slides

33  Monad Fact #3 - 16 slides

34  Monad Fact #4 - 24 slides

35  Monad Fact #5 - 17 slides

36  Monad Fact #6 - 18 slides

37  From Scala Monadic Effects to Unison Algebraic Effects - 44 slides

38  Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2 - 77 slides

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

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

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

42  Folding Unfolded - Part 1 - 58 slides

43  Folding Unfolded - Part 2 - 46 slides

44  Folding Unfolded - Part 3 - 53 slides

45  Folding Unfolded - Part 4 - 54 slides

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

47  Folding Unfolded - Part 5 - 48 slides

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

49  Function Applicative for Great Good of Palindrome Checker Function - 71 slides

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

51  N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1 - 34 slides

52  N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2 - 58 slides

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

54  N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3 - 27 slides

55  Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms - 28 slides

56  N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4 - 55 slides

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

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

59  ‘go-to’ general-purpose sequential collections - from Java To Scala - 67 slides

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

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

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

63  The Expression Problem Part 1 - 47 slides

64  Computer Graphics in Java and Scala - Part 1 - 25 slides

65  The Expression Problem Part 2 - 35 slides

66  Computer Graphics in Java and Scala - Part 1b - 28 slides

67  The Uniform Access Principle - 22 slides

68  The Sieve of Eratosthenes - Part 1 - 50 slides

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

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

71  The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve - 57 slides

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

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

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

75  N-Queens Combinatorial Puzzle meets Cats - 386 slides

76  A sighting of sequence function in Practical FP in Scala - 4 slides

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

78  A sighting of traverse_ in Practical FP in Scala - 5 slides

79  Fusing Transformations of Strict Scala Collections with Views - 28 slides

80  Tagless Final Encoding - Algebras and Interpreters and also Programs - 16 slides

81  Scala Left Fold Parallelisation - Three Approaches - 44 slides

82  Folding Cheat Sheet Series Titles - 1 slides

83  Folding Cheat Sheet #1 - 3 slides

84  Folding Cheat Sheet #2 - 4 slides

85  Folding Cheat Sheet #3 - 6 slides

86  Folding Cheat Sheet #4 - 8 slides

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

88  A Sighting of filterA in Typelevel Rite of Passage - 23 slides

89  Hand Rolled Applicative User Validation Code Kata - 6 slides

90  Folding Cheat Sheet #5 - 2 slides

91  Folding Cheat Sheet #6 - 12 slides

92  Folding Cheat Sheet #7 - 21 slides

93  Function Applicative for Great Good of Leap Year Function - 25 slides

94  Folding Cheat Sheet #8 - 39 slides

95  From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example - 25 slides

96  The Debt Metaphor - Ward Cunningham in his 2009 YouTube video - 11 slides

97  Fibonacci Function Gallery - Part 1 - 37 slides