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

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