110 Decks Ordered By Upload Date - Latest First - Chse one - invert order

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