123 Decks Ordered By View Count - Lowest First - Chse one - invert order

# Title Views  
1 Non-strict functions, bottom, and Scala by-name parameters 679  
2 Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence 750  
3 De Morgan's Laws are Monoid Homomorphisms 759  
4 Year when lambda functions were introduced in various languages 766  
5 Monad as Functor with pair of Natural Transformations 804  
6 Defining filter using (a) recursion (b) folding (c) folding with S, B and I combinators (d) folding with applicative functor and identity function 805  
7 Addendum to `Monads do not Compose` 819  
8 Functor Composition 829  
9 Monad Transformers - Part 1 830  
10 Function Composition - forward composition versus backward composition 848  
11 Monads do not Compose 862  
12 The Functional Programming Triad of fold, scan and iterate 913  
13 Writer Monad for logging execution of functions 968  
14 Ad hoc Polymorphism using Type Classes and Cats 970  
15 Natural Transformations 976  
16 State Monad 1008  
17 Sequence and Traverse - Part 2 1011  
18 Sequence and Traverse - Part 3 1015  
19 Monoids - Part 2 - With examples using Scalaz and Cats 1016  
20 Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2 1021  
21 Left and Right Folds - Comparison of a mathematical definition and a programmatic one 1022  
22 Functional Effects - Part 2 1031  
23 Sequence and Traverse - Part 1 1035  
24 Monoids - Part 1 - With examples using Scalaz and Cats 1036  
25 Game of Life - Polyglot FP - Haskell and Scala - Part 2 1050  
26 Functional Effects - Part 1 1052  
27 Game of Life - Polyglot FP - Haskell and Scala - Part 3 1067  
28 Monad Fact #2 1076  
29 Folding Cheat Sheet Series Titles 1078  
30 Monad Fact #6 1085  
31 Folding Unfolded - Part 4 1087  
32 The aggregate function - from sequential and parallel folds to parallel aggregation 1088  
33 Fusing Transformations of Strict Scala Collections with Views 1088  
34 Function Applicative for Great Good of Palindrome Checker Function 1100  
35 Functor Laws 1104  
36 Monad Fact #5 1107  
37 Monad Fact #3 1108  
38 Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1 1117  
39 Arrive at monads by going from composition of pure functions to composition of effectful functions 1131  
40 A sighting of traverseFilter and foldMap in Practical FP in Scala 1134  
41 Applicative Functor - Part 3 1137  
42 Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms 1138  
43 Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example 1138  
44 Folding Unfolded - Part 3 1142  
45 Folding Unfolded - Part 5 1146  
46 A sighting of sequence function in Practical FP in Scala 1149  
47 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4 1150  
48 The Uniform Access Principle 1152  
49 Sum and Product Types - The Fruit Salad & Fruit Snack Example 1154  
50 ‘go-to’ general-purpose sequential collections - from Java To Scala 1162  
51 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2 1172  
52 Monad Fact #4 1183  
53 The Monad Fact Series 1198  
54 A sighting of traverse_ in Practical FP in Scala 1198  
55 Monad Fact #1 1207  
56 The Debt Metaphor - Ward Cunningham in his 2009 YouTube video 1209  
57 Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala 1239  
58 Applicative Functor - Part 1 1268  
59 Kleisli Composition 1279  
60 Folding Unfolded - Part 2 1281  
61 Folding Unfolded - Part 1 1294  
62 The Sieve of Eratosthenes - Part 1 1305  
63 Nat, List and Option Monoids - From scratch - Combining and Folding - An example 1316  
64 The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell 1320  
65 Definitions of Functional Programming 1328  
66 Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3 1336  
67 Computer Graphics in Java and Scala - Part 1b 1340  
68 Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions 1343  
69 Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA 1350  
70 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3 1350  
71 Game of Life - Polyglot FP - Haskell and Scala - Part 1 1364  
72 Applicative Functor - Part 2 1383  
73 Scala 3 enum for a terser Option Monad Algebraic Data Type 1393  
74 Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala 1394  
75 Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity 1428  
76 The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve 1434  
77 From Scala Monadic Effects to Unison Algebraic Effects 1437  
78 Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1 1438  
79 Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala 1442  
80 Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java 1451  
81 Computer Graphics in Java and Scala - Part 1 1479  
82 The Expression Problem Part 1 1486  
83 Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication 1507  
84 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1 1518  
85 Scala Left Fold Parallelisation - Three Approaches 1584  
86 Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional 1632  
87 Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code' 1689  
88 Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation 1700  
89 AI Concepts - MCP Neurons 1714  
90 Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java 1739  
91 Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2 1755  
92 Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate' 1835  
93 Compositionality and Category Theory 1847  
94 The Nature of Complexity in John Ousterhout’s Philosophy of Software Design 1851  
95 The Bowling Game - From Imperative to Functional Programming - Part 2 1954  
96 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 2008  
97 From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example 2038  
98 Hand Rolled Applicative User Validation Code Kata 2204  
99 Point-free or Die - Tacit Programming in Haskell 2206  
100 The Expression Problem Part 2 2229  
101 A Sighting of filterA in Typelevel Rite of Passage 2278  
102 ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names 2298  
103 Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1 2331  
104 Tagless Final Encoding - Algebras and Interpreters and also Programs 2342  
105 Folding Cheat Sheet #8 - Folding with monoids 2396  
106 The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction 2481  
107 Folding Cheat Sheet #3 - The universal property of fold 2603  
108 Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold 2614  
109 Function Applicative for Great Good of Leap Year Function 2740  
110 Fibonacci Function Gallery - Part 1 2752  
111 Folding Cheat Sheet #7 - The three duality theorems of fold 2811  
112 The Functional Programming Triad of map, filter and fold 2850  
113 Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3 2957  
114 List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate' 3015  
115 Fibonacci Function Gallery - Part 2 3075  
116 The Bowling Game - From Imperative to Functional Programming - Part 1 3208  
117 Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists 3753  
118 Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions 4183  
119 Monad Laws Must Be Checked 4492  
120 Folding Cheat Sheet #6 - Left and right folds and tail recursion 5108  
121 The Open-Closed Principle - Part 1 - The Original Version 5266  
122 N-Queens Combinatorial Puzzle meets Cats 5897  
123 Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid 11378