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

# Title Views  
1 Non-strict functions, bottom, and Scala by-name parameters 618  
2 Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence 691  
3 Year when lambda functions were introduced in various languages 704  
4 De Morgan's Laws are Monoid Homomorphisms 708  
5 Defining filter using (a) recursion (b) folding (c) folding with S, B and I combinators (d) folding with applicative functor and identity function 735  
6 Monad as Functor with pair of Natural Transformations 744  
7 Addendum to `Monads do not Compose` 754  
8 Monad Transformers - Part 1 765  
9 Functor Composition 768  
10 Function Composition - forward composition versus backward composition 782  
11 Monads do not Compose 796  
12 The Functional Programming Triad of fold, scan and iterate 833  
13 Ad hoc Polymorphism using Type Classes and Cats 901  
14 Writer Monad for logging execution of functions 909  
15 Natural Transformations 921  
16 Monoids - Part 2 - With examples using Scalaz and Cats 943  
17 State Monad 944  
18 Sequence and Traverse - Part 2 948  
19 Sequence and Traverse - Part 3 954  
20 Sequence and Traverse - Part 1 957  
21 Left and Right Folds - Comparison of a mathematical definition and a programmatic one 958  
22 Functional Effects - Part 2 961  
23 Monoids - Part 1 - With examples using Scalaz and Cats 962  
24 Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2 964  
25 Functional Effects - Part 1 987  
26 Game of Life - Polyglot FP - Haskell and Scala - Part 2 990  
27 Monad Fact #2 1006  
28 Game of Life - Polyglot FP - Haskell and Scala - Part 3 1007  
29 Folding Cheat Sheet Series Titles 1016  
30 The aggregate function - from sequential and parallel folds to parallel aggregation 1021  
31 Monad Fact #6 1028  
32 Folding Unfolded - Part 4 1031  
33 Fusing Transformations of Strict Scala Collections with Views 1031  
34 Function Applicative for Great Good of Palindrome Checker Function 1032  
35 Monad Fact #5 1039  
36 Functor Laws 1041  
37 Monad Fact #3 1046  
38 Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1 1054  
39 Arrive at monads by going from composition of pure functions to composition of effectful functions 1063  
40 Applicative Functor - Part 3 1069  
41 A sighting of traverseFilter and foldMap in Practical FP in Scala 1073  
42 Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms 1073  
43 Folding Unfolded - Part 3 1075  
44 Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example 1077  
45 Folding Unfolded - Part 5 1080  
46 The Uniform Access Principle 1080  
47 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4 1086  
48 ‘go-to’ general-purpose sequential collections - from Java To Scala 1092  
49 A sighting of sequence function in Practical FP in Scala 1093  
50 Sum and Product Types - The Fruit Salad & Fruit Snack Example 1099  
51 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2 1106  
52 Monad Fact #4 1120  
53 The Monad Fact Series 1126  
54 A sighting of traverse_ in Practical FP in Scala 1134  
55 The Debt Metaphor - Ward Cunningham in his 2009 YouTube video 1141  
56 Monad Fact #1 1145  
57 Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala 1169  
58 Applicative Functor - Part 1 1191  
59 Folding Unfolded - Part 2 1195  
60 Kleisli Composition 1214  
61 Folding Unfolded - Part 1 1216  
62 The Sieve of Eratosthenes - Part 1 1228  
63 Nat, List and Option Monoids - From scratch - Combining and Folding - An example 1241  
64 The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell 1245  
65 Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA 1252  
66 Computer Graphics in Java and Scala - Part 1b 1261  
67 Definitions of Functional Programming 1262  
68 Game of Life - Polyglot FP - Haskell and Scala - Part 1 1273  
69 Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3 1275  
70 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3 1277  
71 Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions 1281  
72 Applicative Functor - Part 2 1301  
73 Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala 1312  
74 Scala 3 enum for a terser Option Monad Algebraic Data Type 1322  
75 Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity 1353  
76 Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1 1354  
77 The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve 1359  
78 From Scala Monadic Effects to Unison Algebraic Effects 1360  
79 Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala 1363  
80 Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional 1384  
81 Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java 1390  
82 Computer Graphics in Java and Scala - Part 1 1398  
83 Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication 1415  
84 The Expression Problem Part 1 1430  
85 N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1 1448  
86 Scala Left Fold Parallelisation - Three Approaches 1503  
87 Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code' 1572  
88 AI Concepts - MCP Neurons 1595  
89 Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation 1631  
90 Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java 1653  
91 Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2 1675  
92 Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate' 1753  
93 The Nature of Complexity in John Ousterhout’s Philosophy of Software Design 1762  
94 Compositionality and Category Theory 1783  
95 The Expression Problem Part 2 1913  
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 1935  
97 From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example 1945  
98 Hand Rolled Applicative User Validation Code Kata 2117  
99 Point-free or Die - Tacit Programming in Haskell 2142  
100 Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1 2191  
101 A Sighting of filterA in Typelevel Rite of Passage 2213  
102 ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names 2216  
103 Tagless Final Encoding - Algebras and Interpreters and also Programs 2260  
104 Folding Cheat Sheet #8 - Folding with monoids 2325  
105 The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction 2391  
106 Folding Cheat Sheet #3 - The universal property of fold 2538  
107 Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold 2546  
108 Function Applicative for Great Good of Leap Year Function 2645  
109 Fibonacci Function Gallery - Part 1 2652  
110 The Bowling Game - From Imperative to Functional Programming - Part 1 2657  
111 The Functional Programming Triad of map, filter and fold 2724  
112 Folding Cheat Sheet #7 - The three duality theorems of fold 2742  
113 Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3 2859  
114 List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate' 2936  
115 Fibonacci Function Gallery - Part 2 2986  
116 Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists 3682  
117 Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions 3867  
118 Monad Laws Must Be Checked 4139  
119 Folding Cheat Sheet #6 - Left and right folds and tail recursion 4749  
120 The Open-Closed Principle - Part 1 - The Original Version 4879  
121 N-Queens Combinatorial Puzzle meets Cats 5524  
122 Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid 10759