123 Decks Ordered By PDF Download Count - Highest First - Chse one - invert order

#	Title	Downloads
1	The Expression Problem Part 2	3355
2	The Debt Metaphor - Ward Cunningham in his 2009 YouTube video	2171
3	The Nature of Complexity in John Ousterhout’s Philosophy of Software Design	2156
4	Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid	1384
5	Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication	1139
6	Kleisli Composition	1056
7	List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	892
8	Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1	865
9	The Open-Closed Principle - Part 1 - The Original Version	842
10	Monad Laws Must Be Checked	774
11	Folding Cheat Sheet #6 - Left and right folds and tail recursion	747
12	N-Queens Combinatorial Puzzle meets Cats	699
13	Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala	696
14	The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell	626
15	Tagless Final Encoding - Algebras and Interpreters and also Programs	622
16	Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists	616
17	Fibonacci Function Gallery - Part 2	595
18	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1	583
19	Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions	578
20	The Uniform Access Principle	558
21	A Sighting of filterA in Typelevel Rite of Passage	537
22	Fibonacci Function Gallery - Part 1	536
23	The Functional Programming Triad of map, filter and fold	533
24	Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java	520
25	Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3	520
26	Sum and Product Types - The Fruit Salad & Fruit Snack Example	514
27	From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example	512
28	Compositionality and Category Theory	499
29	Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	498
30	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1	495
31	Scala 3 enum for a terser Option Monad Algebraic Data Type	489
32	Folding Cheat Sheet #7 - The three duality theorems of fold	477
33	Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold	476
34	Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3	471
35	Definitions of Functional Programming	469
36	Hand Rolled Applicative User Validation Code Kata	464
37	The Bowling Game - From Imperative to Functional Programming - Part 1	459
38	Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity	457
39	Folding Cheat Sheet #8 - Folding with monoids	452
40	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1	450
41	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2	445
42	From Scala Monadic Effects to Unison Algebraic Effects	444
43	Folding Cheat Sheet #3 - The universal property of fold	443
44	Scala Left Fold Parallelisation - Three Approaches	441
45	Function Applicative for Great Good of Leap Year Function	440
46	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	437
47	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java	425
48	Applicative Functor - Part 1	422
49	The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve	409
50	Monad Fact #3	409
51	Fusing Transformations of Strict Scala Collections with Views	401
52	Nat, List and Option Monoids - From scratch - Combining and Folding - An example	400
53	Functor Laws	394
54	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2	389
55	Point-free or Die - Tacit Programming in Haskell	386
56	Monad as Functor with pair of Natural Transformations	381
57	Natural Transformations	375
58	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala	375
59	Game of Life - Polyglot FP - Haskell and Scala - Part 3	367
60	The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction	366
61	ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names	366
62	Left and Right Folds - Comparison of a mathematical definition and a programmatic one	361
63	A sighting of traverseFilter and foldMap in Practical FP in Scala	360
64	Folding Unfolded - Part 4	359
65	Applicative Functor - Part 3	352
66	Arrive at monads by going from composition of pure functions to composition of effectful functions	350
67	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3	350
68	AI Concepts - MCP Neurons	348
69	Computer Graphics in Java and Scala - Part 1	347
70	Folding Unfolded - Part 2	347
71	A sighting of sequence function in Practical FP in Scala	346
72	Monad Fact #1	345
73	The Monad Fact Series	341
74	The Sieve of Eratosthenes - Part 1	341
75	Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms	340
76	Monad Fact #2	339
77	Folding Unfolded - Part 3	334
78	Computer Graphics in Java and Scala - Part 1b	333
79	Sequence and Traverse - Part 1	331
80	Writer Monad for logging execution of functions	329
81	‘go-to’ general-purpose sequential collections - from Java To Scala	328
82	Monad Fact #4	327
83	Applicative Functor - Part 2	326
84	The Expression Problem Part 1	321
85	Monad Transformers - Part 1	318
86	State Monad	310
87	The aggregate function - from sequential and parallel folds to parallel aggregation	310
88	Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions	309
89	Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala	305
90	Monoids - Part 2 - With examples using Scalaz and Cats	303
91	A sighting of traverse_ in Practical FP in Scala	303
92	Folding Unfolded - Part 1	301
93	Functional Effects - Part 2	300
94	Monad Fact #6	299
95	Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation	299
96	Folding Unfolded - Part 5	298
97	Function Applicative for Great Good of Palindrome Checker Function	296
98	Functional Effects - Part 1	293
99	Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example	291
100	Functor Composition	290
101	Game of Life - Polyglot FP - Haskell and Scala - Part 2	290
102	Monoids - Part 1 - With examples using Scalaz and Cats	286
103	Sequence and Traverse - Part 2	285
104	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code'	282
105	Monad Fact #5	281
106	Sequence and Traverse - Part 3	280
107	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2	274
108	Year when lambda functions were introduced in various languages	274
109	Function Composition - forward composition versus backward composition	270
110	Addendum to `Monads do not Compose`	268
111	Folding Cheat Sheet Series Titles	267
112	Game of Life - Polyglot FP - Haskell and Scala - Part 1	266
113	Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional	263
114	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4	257
115	Monads do not Compose	256
116	Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence	247
117	Ad hoc Polymorphism using Type Classes and Cats	246
118	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA	241
119	De Morgan's Laws are Monoid Homomorphisms	197
120	The Bowling Game - From Imperative to Functional Programming - Part 2	186
121	Non-strict functions, bottom, and Scala by-name parameters	174
122	The Functional Programming Triad of fold, scan and iterate	170
123	Defining filter using (a) recursion (b) folding (c) folding with S, B and I combinators (d) folding with applicative functor and identity function	110