115 Decks - Latest First - Chse one - invert order

 1 Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2
slide 1
 2 Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1
slide 1
 3 Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1
slide 1
 4 ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names
slide 1
 5 Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'
slide 1
 6 List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'
slide 1
 7 Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation
slide 1
 8 The Nature of Complexity in John Ousterhout’s Philosophy of Software Design
slide 1
 9 Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication
slide 1
 10 Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity
slide 1
 11 Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3
slide 1
 12 Fibonacci Function Gallery - Part 2
slide 1
 13 Fibonacci Function Gallery - Part 1
slide 1
 14 The Debt Metaphor - Ward Cunningham in his 2009 YouTube video
slide 1
 15 From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example
slide 1
 16 Folding Cheat Sheet #8 - Folding with monoids
slide 1
 17 Function Applicative for Great Good of Leap Year Function
slide 1
 18 Folding Cheat Sheet #7 - The three duality theorems of fold
slide 1
 19 Folding Cheat Sheet #6 - Left and right folds and tail recursion
slide 1
 20 Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions
slide 1
 21 Hand Rolled Applicative User Validation Code Kata
slide 1
 22 A Sighting of filterA in Typelevel Rite of Passage
slide 1
 23 Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid
slide 1
 24 Folding Cheat Sheet #4 - For functions that can be defined both as a right fold and as a left fold, one may be more efficient than the other
slide 1
 25 Folding Cheat Sheet #3 - The universal property of fold
slide 1
 26 Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold
slide 1
 27 Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists
slide 1
 28 Folding Cheat Sheet Series Titles
slide 1
 29 Scala Left Fold Parallelisation - Three Approaches
slide 1
 30 Tagless Final Encoding - Algebras and Interpreters and also Programs
slide 1
 31 Fusing Transformations of Strict Scala Collections with Views
slide 1
 32 A sighting of traverse_ in Practical FP in Scala
slide 1
 33 A sighting of traverseFilter and foldMap in Practical FP in Scala
slide 1
 34 A sighting of sequence function in Practical FP in Scala
slide 1
 35 N-Queens Combinatorial Puzzle meets Cats
slide 1
 36 Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3
slide 1
 37 The aggregate function - from sequential and parallel folds to parallel aggregation
slide 1
 38 Nat, List and Option Monoids - From scratch - Combining and Folding - An example
slide 1
 39 The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve
slide 1
 40 Sum and Product Types - The Fruit Salad & Fruit Snack Example
slide 1
 41 Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java
slide 1
 42 The Sieve of Eratosthenes - Part 1
slide 1
 43 The Uniform Access Principle
slide 1
 44 Computer Graphics in Java and Scala - Part 1b
slide 1
 45 The Expression Problem Part 2
slide 1
 46 Computer Graphics in Java and Scala - Part 1
slide 1
 47 The Expression Problem Part 1
slide 1
 48 Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example
slide 1
 49 Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java
slide 1
 50 Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala
slide 1
 51 ‘go-to’ general-purpose sequential collections - from Java To Scala
slide 1
 52 The Functional Programming Triad of map, filter and fold
slide 1
 53 Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala
slide 1
 54 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4
slide 1
 55 Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms
slide 1
 56 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3
slide 1
 57 Left and Right Folds - Comparison of a mathematical definition and a programmatic one
slide 1
 58 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2
slide 1
 59 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1
slide 1
 60 Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala
slide 1
 61 Function Applicative for Great Good of Palindrome Checker Function
slide 1
 62 Scala 3 enum for a terser Option Monad Algebraic Data Type
slide 1
 63 Folding Unfolded - Part 5
slide 1
 64 The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell
slide 1
 65 Folding Unfolded - Part 4
slide 1
 66 Folding Unfolded - Part 3
slide 1
 67 Folding Unfolded - Part 2
slide 1
 68 Folding Unfolded - Part 1
slide 1
 69 Game of Life - Polyglot FP - Haskell and Scala - Part 3
slide 1
 70 Game of Life - Polyglot FP - Haskell and Scala - Part 2
slide 1
 71 Game of Life - Polyglot FP - Haskell and Scala - Part 1
slide 1
 72 Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2
slide 1
 73 From Scala Monadic Effects to Unison Algebraic Effects
slide 1
 74 Monad Fact #6
slide 1
 75 Monad Fact #5
slide 1
 76 Monad Fact #4
slide 1
 77 Monad Fact #3
slide 1
 78 Monad Fact #2
slide 1
 79 Monad Fact #1
slide 1
 80 The Monad Fact Series
slide 1
 81 Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1
slide 1
 82 State Monad
slide 1
 83 Applicative Functor - Part 3
slide 1
 84 Applicative Functor - Part 2
slide 1
 85 Functional Effects - Part 2
slide 1
 86 Functional Effects - Part 1
slide 1
 87 Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence
slide 1
 88 Ad hoc Polymorphism using Type Classes and Cats
slide 1
 89 Year when lambda functions were introduced in various languages
slide 1
 90 Function Composition - forward composition versus backward composition
slide 1
 91 Non-strict functions, bottom, and Scala by-name parameters
slide 1
 92 Addendum to `Monads do not Compose`
slide 1
 93 Monad Transformers - Part 1
slide 1
 94 Monads do not Compose
slide 1
 95 Functor Composition
slide 1
 96 Sequence and Traverse - Part 3
slide 1
 97 Sequence and Traverse - Part 2
slide 1
 98 Monoids - Part 2 - With examples using Scalaz and Cats
slide 1
 99 Monoids - Part 1 - With examples using Scalaz and Cats
slide 1
 100 Definitions of Functional Programming
slide 1
 101 Sequence and Traverse - Part 1
slide 1
 102 Applicative Functor - Part 1
slide 1
 103 Writer Monad for logging execution of functions
slide 1
 104 Kleisli Composition
slide 1
 105 Monad Laws Must Be Checked
slide 1
 106 Point-free or Die - Tacit Programming in Haskell
slide 1
 107 Monad as Functor with pair of Natural Transformations
slide 1
 108 Natural Transformations
slide 1
 109 Functor Laws
slide 1
 110 Compositionality and Category Theory
slide 1
 111 Arrive at monads by going from composition of pure functions to composition of effectful functions
slide 1
 112 De Morgan's Laws are Monoid Homomorphisms
slide 1
 113 Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions
slide 1
 114 The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction
slide 1
 115 The Open-Closed Principle - Part 1 - The Original Version
slide 1