84 Decks - Earliest First - Chse 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