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

#	Title	Downloads
1	Defining filter using (a) recursion (b) folding (c) folding with S, B and I combinators (d) folding with applicative functor and identity function	70
2	The Functional Programming Triad of fold, scan and iterate	143
3	Non-strict functions, bottom, and Scala by-name parameters	147
4	De Morgan's Laws are Monoid Homomorphisms	179
5	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA	188
6	Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional	200
7	Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence	207
8	Ad hoc Polymorphism using Type Classes and Cats	213
9	Monads do not Compose	216
10	Year when lambda functions were introduced in various languages	230
11	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code'	235
12	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4	239
13	Addendum to `Monads do not Compose`	241
14	Folding Cheat Sheet Series Titles	242
15	Function Composition - forward composition versus backward composition	244
16	Game of Life - Polyglot FP - Haskell and Scala - Part 1	245
17	Monoids - Part 1 - With examples using Scalaz and Cats	251
18	Monad Fact #5	252
19	Functor Composition	252
20	Sequence and Traverse - Part 3	254
21	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2	254
22	Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation	258
23	Monoids - Part 2 - With examples using Scalaz and Cats	259
24	Sequence and Traverse - Part 2	259
25	Game of Life - Polyglot FP - Haskell and Scala - Part 2	264
26	Functional Effects - Part 1	267
27	State Monad	270
28	Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example	270
29	Function Applicative for Great Good of Palindrome Checker Function	270
30	Monad Transformers - Part 1	273
31	Functional Effects - Part 2	273
32	A sighting of traverse_ in Practical FP in Scala	277
33	Folding Unfolded - Part 1	279
34	Monad Fact #6	280
35	Folding Unfolded - Part 5	280
36	AI Concepts - MCP Neurons	283
37	Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions	283
38	Applicative Functor - Part 2	285
39	Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala	285
40	The aggregate function - from sequential and parallel folds to parallel aggregation	288
41	The Sieve of Eratosthenes - Part 1	291
42	The Expression Problem Part 1	294
43	‘go-to’ general-purpose sequential collections - from Java To Scala	297
44	Writer Monad for logging execution of functions	300
45	Sequence and Traverse - Part 1	301
46	Monad Fact #2	302
47	Computer Graphics in Java and Scala - Part 1b	302
48	The Bowling Game - From Imperative to Functional Programming - Part 1	306
49	Monad Fact #1	307
50	Folding Unfolded - Part 4	309
51	Monad Fact #4	310
52	Folding Unfolded - Part 2	311
53	Folding Unfolded - Part 3	312
54	Arrive at monads by going from composition of pure functions to composition of effectful functions	313
55	Applicative Functor - Part 3	314
56	Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms	317
57	A sighting of sequence function in Practical FP in Scala	318
58	The Monad Fact Series	321
59	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3	321
60	ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names	323
61	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2	323
62	Natural Transformations	325
63	Computer Graphics in Java and Scala - Part 1	325
64	Monad as Functor with pair of Natural Transformations	326
65	A sighting of traverseFilter and foldMap in Practical FP in Scala	326
66	Game of Life - Polyglot FP - Haskell and Scala - Part 3	329
67	Left and Right Folds - Comparison of a mathematical definition and a programmatic one	329
68	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala	329
69	The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction	340
70	Point-free or Die - Tacit Programming in Haskell	343
71	Fusing Transformations of Strict Scala Collections with Views	348
72	Functor Laws	352
73	The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve	368
74	Monad Fact #3	371
75	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2	372
76	Nat, List and Option Monoids - From scratch - Combining and Folding - An example	380
77	Applicative Functor - Part 1	388
78	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java	398
79	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1	398
80	Definitions of Functional Programming	400
81	From Scala Monadic Effects to Unison Algebraic Effects	401
82	Scala Left Fold Parallelisation - Three Approaches	403
83	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	408
84	Folding Cheat Sheet #8 - Folding with monoids	408
85	Function Applicative for Great Good of Leap Year Function	409
86	Folding Cheat Sheet #3 - The universal property of fold	423
87	Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	427
88	Folding Cheat Sheet #7 - The three duality theorems of fold	430
89	Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity	430
90	Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold	432
91	Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3	436
92	Hand Rolled Applicative User Validation Code Kata	441
93	Scala 3 enum for a terser Option Monad Algebraic Data Type	450
94	Sum and Product Types - The Fruit Salad & Fruit Snack Example	454
95	Compositionality and Category Theory	458
96	From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example	461
97	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1	462
98	Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3	472
99	Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java	477
100	A Sighting of filterA in Typelevel Rite of Passage	478
101	Fibonacci Function Gallery - Part 1	482
102	The Uniform Access Principle	499
103	The Functional Programming Triad of map, filter and fold	503
104	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1	528
105	Fibonacci Function Gallery - Part 2	535
106	Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions	540
107	The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell	569
108	Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists	572
109	Tagless Final Encoding - Algebras and Interpreters and also Programs	578
110	Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala	647
111	N-Queens Combinatorial Puzzle meets Cats	652
112	Folding Cheat Sheet #6 - Left and right folds and tail recursion	695
113	Monad Laws Must Be Checked	717
114	Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1	781
115	The Open-Closed Principle - Part 1 - The Original Version	788
116	List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	821
117	Kleisli Composition	987
118	Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication	1103
119	Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid	1310
120	The Nature of Complexity in John Ousterhout’s Philosophy of Software Design	1895
121	The Debt Metaphor - Ward Cunningham in his 2009 YouTube video	2064
122	The Expression Problem Part 2	3261