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

#	Title	Downloads
1	The Expression Problem Part 2	3515
2	The Nature of Complexity in John Ousterhout’s Philosophy of Software Design	2340
3	The Debt Metaphor - Ward Cunningham in his 2009 YouTube video	2329
4	Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid	1450
5	Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication	1185
6	Kleisli Composition	1134
7	List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	988
8	Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1	942
9	The Open-Closed Principle - Part 1 - The Original Version	915
10	Monad Laws Must Be Checked	842
11	Folding Cheat Sheet #6 - Left and right folds and tail recursion	817
12	N-Queens Combinatorial Puzzle meets Cats	806
13	Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala	748
14	The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell	700
15	Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists	699
16	Tagless Final Encoding - Algebras and Interpreters and also Programs	660
17	The Bowling Game - From Imperative to Functional Programming - Part 1	647
18	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1	647
19	Fibonacci Function Gallery - Part 2	647
20	Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions	647
21	The Uniform Access Principle	624
22	Sum and Product Types - The Fruit Salad & Fruit Snack Example	613
23	Fibonacci Function Gallery - Part 1	603
24	Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java	595
25	A Sighting of filterA in Typelevel Rite of Passage	588
26	The Functional Programming Triad of map, filter and fold	580
27	Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	568
28	From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example	567
29	Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3	562
30	Compositionality and Category Theory	553
31	Scala 3 enum for a terser Option Monad Algebraic Data Type	548
32	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1	537
33	Definitions of Functional Programming	531
34	Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold	529
35	Folding Cheat Sheet #7 - The three duality theorems of fold	523
36	Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3	521
37	Folding Cheat Sheet #8 - Folding with monoids	505
38	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2	501
39	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1	500
40	Hand Rolled Applicative User Validation Code Kata	498
41	Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity	497
42	From Scala Monadic Effects to Unison Algebraic Effects	489
43	Scala Left Fold Parallelisation - Three Approaches	484
44	Function Applicative for Great Good of Leap Year Function	483
45	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	483
46	Folding Cheat Sheet #3 - The universal property of fold	478
47	Fusing Transformations of Strict Scala Collections with Views	474
48	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java	471
49	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2	462
50	The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve	455
51	Applicative Functor - Part 1	455
52	Monad Fact #3	444
53	Nat, List and Option Monoids - From scratch - Combining and Folding - An example	440
54	Functor Laws	439
55	Point-free or Die - Tacit Programming in Haskell	437
56	Monad as Functor with pair of Natural Transformations	437
57	ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names	423
58	Natural Transformations	422
59	AI Concepts - MCP Neurons	422
60	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala	419
61	Game of Life - Polyglot FP - Haskell and Scala - Part 3	407
62	Left and Right Folds - Comparison of a mathematical definition and a programmatic one	407
63	The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction	405
64	The Sieve of Eratosthenes - Part 1	401
65	Applicative Functor - Part 3	401
66	Arrive at monads by going from composition of pure functions to composition of effectful functions	401
67	Folding Unfolded - Part 4	400
68	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3	399
69	A sighting of traverseFilter and foldMap in Practical FP in Scala	395
70	Folding Unfolded - Part 2	392
71	Sequence and Traverse - Part 1	391
72	Computer Graphics in Java and Scala - Part 1	391
73	Monad Fact #2	387
74	A sighting of sequence function in Practical FP in Scala	384
75	Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms	381
76	Monad Fact #1	380
77	Computer Graphics in Java and Scala - Part 1b	375
78	The Monad Fact Series	373
79	Applicative Functor - Part 2	372
80	Folding Unfolded - Part 3	367
81	‘go-to’ general-purpose sequential collections - from Java To Scala	367
82	Monad Transformers - Part 1	365
83	Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala	362
84	Monad Fact #4	362
85	The Expression Problem Part 1	358
86	Writer Monad for logging execution of functions	358
87	Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation	353
88	State Monad	349
89	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code'	348
90	Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions	348
91	Monoids - Part 2 - With examples using Scalaz and Cats	347
92	The aggregate function - from sequential and parallel folds to parallel aggregation	343
93	Functional Effects - Part 2	339
94	Monad Fact #6	338
95	Folding Unfolded - Part 5	338
96	Functional Effects - Part 1	337
97	Sequence and Traverse - Part 2	336
98	Folding Unfolded - Part 1	336
99	Sequence and Traverse - Part 3	335
100	A sighting of traverse_ in Practical FP in Scala	334
101	Functor Composition	332
102	Year when lambda functions were introduced in various languages	330
103	Function Applicative for Great Good of Palindrome Checker Function	330
104	Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example	330
105	Monad Fact #5	329
106	Game of Life - Polyglot FP - Haskell and Scala - Part 2	329
107	Monoids - Part 1 - With examples using Scalaz and Cats	322
108	Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional	318
109	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA	318
110	Folding Cheat Sheet Series Titles	312
111	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2	307
112	Addendum to `Monads do not Compose`	305
113	Function Composition - forward composition versus backward composition	305
114	Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence	305
115	Monads do not Compose	304
116	Ad hoc Polymorphism using Type Classes and Cats	297
117	Game of Life - Polyglot FP - Haskell and Scala - Part 1	290
118	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4	284
119	The Bowling Game - From Imperative to Functional Programming - Part 2	275
120	De Morgan's Laws are Monoid Homomorphisms	223
121	The Functional Programming Triad of fold, scan and iterate	215
122	Non-strict functions, bottom, and Scala by-name parameters	199
123	The Bowling Game - From Imperative to Functional Programming - Part 3	174
124	Defining filter using (a) recursion (b) folding (c) folding with S, B and I combinators (d) folding with applicative functor and identity function	156