91 Decks - Latest First - Chse one - invert order

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