101 Decks - Latest First - Chse one - invert order

1  Drawing Heighway’s Dragon - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3 - 36 slides

2  Fibonacci Function Gallery - Part 2 - 62 slides

3  Fibonacci Function Gallery - Part 1 - 38 slides

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

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

6  Folding Cheat Sheet #8 - 39 slides

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

8  Folding Cheat Sheet #7 - 21 slides

9  Folding Cheat Sheet #6 - 12 slides

10  Folding Cheat Sheet #5 - 2 slides

11  Hand Rolled Applicative User Validation Code Kata - 6 slides

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

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

14  Folding Cheat Sheet #4 - 8 slides

15  Folding Cheat Sheet #3 - 6 slides

16  Folding Cheat Sheet #2 - 4 slides

17  Folding Cheat Sheet #1 - 3 slides

18  Folding Cheat Sheet Series Titles - 1 slides

19  Scala Left Fold Parallelisation - Three Approaches - 44 slides

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

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

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

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

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

25  N-Queens Combinatorial Puzzle meets Cats - 386 slides

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

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

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

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

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

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

32  The Sieve of Eratosthenes - Part 1 - 50 slides

33  The Uniform Access Principle - 22 slides

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

35  The Expression Problem Part 2 - 35 slides

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

37  The Expression Problem Part 1 - 47 slides

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

53  Folding Unfolded - Part 5 - 48 slides

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

55  Folding Unfolded - Part 4 - 54 slides

56  Folding Unfolded - Part 3 - 53 slides

57  Folding Unfolded - Part 2 - 46 slides

58  Folding Unfolded - Part 1 - 58 slides

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

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

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

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

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

64  Monad Fact #6 - 18 slides

65  Monad Fact #5 - 17 slides

66  Monad Fact #4 - 24 slides

67  Monad Fact #3 - 16 slides

68  Monad Fact #2 - 9 slides

69  Monad Fact #1 - 8 slides

70  The Monad Fact Series - 4 slides

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

72  State Monad - 91 slides

73  Applicative Functor - Part 3 - 38 slides

74  Applicative Functor - Part 2 - 44 slides

75  Functional Effects - Part 2 - 39 slides

76  Functional Effects - Part 1 - 8 slides

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

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

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

80  Function Composition - forward composition versus backward composition - 1 slides

81  Addendum to `Monads do not Compose` - 4 slides

82  Monad Transformers - Part 1 - 28 slides

83  Monads do not Compose - 30 slides

84  Functor Composition - 19 slides

85  Sequence and Traverse - Part 3 - 33 slides

86  Sequence and Traverse - Part 2 - 33 slides

87  Monoids - Part 2 - With examples using Scalaz and Cats - 40 slides

88  Monoids - Part 1 - With examples using Scalaz and Cats - 39 slides

89  Definitions of Functional Programming - 7 slides

90  Sequence and Traverse - Part 1 - 36 slides

91  Applicative Functor - Part 1 - 19 slides

92  Writer Monad for logging execution of functions - 14 slides

93  Kleisli Composition - 33 slides

94  Monad Laws Must Be Checked - 8 slides

95  Monad as Functor with pair of Natural Transformations - 20 slides

96  Natural Transformations - 8 slides

97  Functor Laws - 13 slides

98  Compositionality and Category Theory - 17 slides

99  Arrive at monads by going from composition of pure functions to composition of effectful functions - 6 slides

100  De Morgan's Laws are Monoid Homomorphisms - 1 slides

101  Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions - 202 slides