107 Decks - Latest First - Chse one - invert order

1  Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation - 46 slides

2  The Nature of Complexity in John Ousterhout’s Philosophy of Software Design - 21 slides

3  Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication - 29 slides

4  Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity - 62 slides

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

6  Fibonacci Function Gallery - Part 2 - 62 slides

7  Fibonacci Function Gallery - Part 1 - 38 slides

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

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

10  Folding Cheat Sheet #8 - 39 slides

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

12  Folding Cheat Sheet #7 - 21 slides

13  Folding Cheat Sheet #6 - 12 slides

14  Folding Cheat Sheet #5 - 2 slides

15  Hand Rolled Applicative User Validation Code Kata - 6 slides

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

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

18  Folding Cheat Sheet #4 - 8 slides

19  Folding Cheat Sheet #3 - 6 slides

20  Folding Cheat Sheet #2 - 4 slides

21  Folding Cheat Sheet #1 - 3 slides

22  Folding Cheat Sheet Series Titles - 1 slides

23  Scala Left Fold Parallelisation - Three Approaches - 44 slides

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

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

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

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

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

29  N-Queens Combinatorial Puzzle meets Cats - 386 slides

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

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

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

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

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

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

36  The Sieve of Eratosthenes - Part 1 - 50 slides

37  The Uniform Access Principle - 22 slides

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

39  The Expression Problem Part 2 - 35 slides

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

41  The Expression Problem Part 1 - 47 slides

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

57  Folding Unfolded - Part 5 - 48 slides

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

59  Folding Unfolded - Part 4 - 54 slides

60  Folding Unfolded - Part 3 - 53 slides

61  Folding Unfolded - Part 2 - 46 slides

62  Folding Unfolded - Part 1 - 58 slides

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

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

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

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

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

68  Monad Fact #6 - 18 slides

69  Monad Fact #5 - 17 slides

70  Monad Fact #4 - 24 slides

71  Monad Fact #3 - 16 slides

72  Monad Fact #2 - 9 slides

73  Monad Fact #1 - 8 slides

74  The Monad Fact Series - 4 slides

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

76  State Monad - 91 slides

77  Applicative Functor - Part 3 - 38 slides

78  Applicative Functor - Part 2 - 44 slides

79  Functional Effects - Part 2 - 39 slides

80  Functional Effects - Part 1 - 8 slides

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

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

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

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

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

86  Monad Transformers - Part 1 - 28 slides

87  Monads do not Compose - 30 slides

88  Functor Composition - 19 slides

89  Sequence and Traverse - Part 3 - 33 slides

90  Sequence and Traverse - Part 2 - 33 slides

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

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

93  Definitions of Functional Programming - 7 slides

94  Sequence and Traverse - Part 1 - 36 slides

95  Applicative Functor - Part 1 - 19 slides

96  Writer Monad for logging execution of functions - 14 slides

97  Kleisli Composition - 33 slides

98  Monad Laws Must Be Checked - 8 slides

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

100  Natural Transformations - 8 slides

101  Functor Laws - 13 slides

102  Compositionality and Category Theory - 17 slides

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

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

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

106  The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction - 40 slides

107  The Open-Closed Principle - Part 1 - The Original Version - 83 slides