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

#	Title	Views
1	Non-strict functions, bottom, and Scala by-name parameters	469
2	Year when lambda functions were introduced in various languages	573
3	Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence	573
4	De Morgan's Laws are Monoid Homomorphisms	593
5	Monad as Functor with pair of Natural Transformations	599
6	Addendum to `Monads do not Compose`	602
7	Monad Transformers - Part 1	609
8	Functor Composition	626
9	Function Composition - forward composition versus backward composition	642
10	Monads do not Compose	642
11	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA	677
12	Writer Monad for logging execution of functions	756
13	Ad hoc Polymorphism using Type Classes and Cats	761
14	Sequence and Traverse - Part 2	780
15	Monoids - Part 2 - With examples using Scalaz and Cats	781
16	State Monad	788
17	Sequence and Traverse - Part 3	796
18	Natural Transformations	796
19	Functional Effects - Part 2	797
20	Sequence and Traverse - Part 1	805
21	Monoids - Part 1 - With examples using Scalaz and Cats	807
22	Left and Right Folds - Comparison of a mathematical definition and a programmatic one	817
23	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2	830
24	Functional Effects - Part 1	842
25	Game of Life - Polyglot FP - Haskell and Scala - Part 2	849
26	Folding Cheat Sheet Series Titles	859
27	Monad Fact #2	866
28	Game of Life - Polyglot FP - Haskell and Scala - Part 3	872
29	Folding Unfolded - Part 4	890
30	Monad Fact #5	892
31	Functor Laws	893
32	The aggregate function - from sequential and parallel folds to parallel aggregation	894
33	Function Applicative for Great Good of Palindrome Checker Function	902
34	Folding Unfolded - Part 3	902
35	Fusing Transformations of Strict Scala Collections with Views	903
36	Monad Fact #3	904
37	Monad Fact #6	905
38	Arrive at monads by going from composition of pure functions to composition of effectful functions	911
39	Applicative Functor - Part 3	912
40	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1	915
41	The Uniform Access Principle	921
42	Folding Unfolded - Part 5	927
43	A sighting of traverseFilter and foldMap in Practical FP in Scala	928
44	The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell	934
45	‘go-to’ general-purpose sequential collections - from Java To Scala	936
46	Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example	944
47	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4	945
48	Sum and Product Types - The Fruit Salad & Fruit Snack Example	945
49	Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms	953
50	The Debt Metaphor - Ward Cunningham in his 2009 YouTube video	963
51	A sighting of sequence function in Practical FP in Scala	963
52	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2	971
53	Monad Fact #4	973
54	Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala	988
55	The Monad Fact Series	990
56	A sighting of traverse_ in Practical FP in Scala	1000
57	Monad Fact #1	1015
58	Applicative Functor - Part 1	1017
59	Folding Unfolded - Part 2	1049
60	Folding Unfolded - Part 1	1058
61	The Sieve of Eratosthenes - Part 1	1072
62	Kleisli Composition	1074
63	Nat, List and Option Monoids - From scratch - Combining and Folding - An example	1088
64	Game of Life - Polyglot FP - Haskell and Scala - Part 1	1090
65	Computer Graphics in Java and Scala - Part 1b	1104
66	Scala 3 enum for a terser Option Monad Algebraic Data Type	1106
67	Definitions of Functional Programming	1113
68	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3	1115
69	Applicative Functor - Part 2	1117
70	Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions	1126
71	Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3	1128
72	Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala	1139
73	From Scala Monadic Effects to Unison Algebraic Effects	1139
74	Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1	1161
75	Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity	1172
76	The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve	1186
77	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala	1193
78	Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java	1225
79	Computer Graphics in Java and Scala - Part 1	1227
80	Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication	1238
81	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1	1287
82	The Expression Problem Part 1	1293
83	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code'	1312
84	AI Concepts - MCP Neurons	1322
85	Scala Left Fold Parallelisation - Three Approaches	1344
86	The Expression Problem Part 2	1365
87	Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation	1425
88	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java	1448
89	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2	1464
90	The Nature of Complexity in John Ousterhout’s Philosophy of Software Design	1554
91	Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	1605
92	Compositionality and Category Theory	1628
93	From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example	1754
94	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	1779
95	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1	1863
96	Hand Rolled Applicative User Validation Code Kata	1927
97	Point-free or Die - Tacit Programming in Haskell	1969
98	ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names	2013
99	Tagless Final Encoding - Algebras and Interpreters and also Programs	2064
100	A Sighting of filterA in Typelevel Rite of Passage	2068
101	Folding Cheat Sheet #8 - Folding with monoids	2162
102	The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction	2209
103	Folding Cheat Sheet #3 - The universal property of fold	2346
104	Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold	2376
105	Fibonacci Function Gallery - Part 1	2479
106	Function Applicative for Great Good of Leap Year Function	2491
107	Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3	2495
108	The Functional Programming Triad of map, filter and fold	2498
109	Folding Cheat Sheet #7 - The three duality theorems of fold	2573
110	List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	2727
111	Fibonacci Function Gallery - Part 2	2792
112	Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions	3232
113	Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists	3509
114	Monad Laws Must Be Checked	3516
115	Folding Cheat Sheet #6 - Left and right folds and tail recursion	4072
116	The Open-Closed Principle - Part 1 - The Original Version	4201
117	N-Queens Combinatorial Puzzle meets Cats	4406
118	Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid	9638