119 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	27
2	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to Github Copilot Chat - using Scala in IntelliJ IDEA	100
3	Non-strict functions, bottom, and Scala by-name parameters	118
4	De Morgan's Laws are Monoid Homomorphisms	153
5	Symmetry in the interrelation of flatMap/foldMap/traverse and flatten/fold/sequence	165
6	Monads do not Compose	167
7	Ad hoc Polymorphism using Type Classes and Cats	170
8	Year when lambda functions were introduced in various languages	177
9	Imperative Bowling Kata - 20 Years On - Delegating Menial Tasks to AI Coding Tool 'Claude Code'	179
10	Function Composition - forward composition versus backward composition	189
11	Functor Composition	193
12	Folding Cheat Sheet Series Titles	202
13	Addendum to `Monads do not Compose`	203
14	Monoids - Part 2 - With examples using Scalaz and Cats	204
15	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4	205
16	Monoids - Part 1 - With examples using Scalaz and Cats	205
17	Sequence and Traverse - Part 2	210
18	Monad Fact #5	212
19	Sequence and Traverse - Part 1	213
20	Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation	214
21	AI Concepts - MCP Neurons	215
22	Game of Life - Polyglot FP - Haskell and Scala - Part 1	218
23	State Monad	223
24	Functional Effects - Part 1	225
25	Monad Transformers - Part 1	225
26	Game of Life - Polyglot FP - Haskell and Scala - Part 2	225
27	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2	226
28	Function Applicative for Great Good of Palindrome Checker Function	227
29	Sequence and Traverse - Part 3	228
30	Folding Unfolded - Part 5	236
31	Natural Transformations	238
32	Functional Effects - Part 2	239
33	Folding Unfolded - Part 1	241
34	Applicative Functor - Part 2	241
35	Monad Fact #6	242
36	A sighting of traverse_ in Practical FP in Scala	243
37	Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example	247
38	‘go-to’ general-purpose sequential collections - from Java To Scala	249
39	Arrive at monads by going from composition of pure functions to composition of effectful functions	250
40	Folding Cheat Sheet #5 - Folding a list right and left using Cons and Nil results in the identity and reverse functions	252
41	Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala	252
42	The aggregate function - from sequential and parallel folds to parallel aggregation	253
43	The Sieve of Eratosthenes - Part 1	253
44	Monad Fact #2	255
45	Folding Unfolded - Part 2	255
46	ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names	258
47	Folding Unfolded - Part 4	258
48	Monad Fact #4	259
49	Writer Monad for logging execution of functions	259
50	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 2	261
51	Computer Graphics in Java and Scala - Part 1b	264
52	Folding Unfolded - Part 3	264
53	Applicative Functor - Part 3	265
54	Monad Fact #1	266
55	Monad as Functor with pair of Natural Transformations	268
56	Game of Life - Polyglot FP - Haskell and Scala - Part 3	271
57	A sighting of sequence function in Practical FP in Scala	271
58	The Expression Problem Part 1	273
59	Fusing Transformations of Strict Scala Collections with Views	275
60	The Monad Fact Series	279
61	Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms	283
62	Left and Right Folds - Comparison of a mathematical definition and a programmatic one	285
63	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3	285
64	A sighting of traverseFilter and foldMap in Practical FP in Scala	286
65	Computer Graphics in Java and Scala - Part 1	287
66	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala	288
67	Point-free or Die - Tacit Programming in Haskell	295
68	Functor Laws	295
69	The Open-Closed Principle - Part 2 - The Contemporary Version - An Introduction	299
70	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2	305
71	Monad Fact #3	312
72	Definitions of Functional Programming	319
73	The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve	325
74	Nat, List and Option Monoids - From scratch - Combining and Folding - An example	336
75	Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java	337
76	Applicative Functor - Part 1	343
77	From Scala Monadic Effects to Unison Algebraic Effects	344
78	Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1	352
79	Scala Left Fold Parallelisation - Three Approaches	362
80	Folding Cheat Sheet #9 - List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	364
81	Function Applicative for Great Good of Leap Year Function	364
82	Drawing Heighway’s Dragon - Part 2 - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity	367
83	Folding Cheat Sheet #8 - Folding with monoids	367
84	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	368
85	Scala 3 enum for a terser Option Monad Algebraic Data Type	372
86	Folding Cheat Sheet #2 - Programmatic and mathematical definitions of right fold and left fold	382
87	Folding Cheat Sheet #3 - The universal property of fold	382
88	Sum and Product Types - The Fruit Salad & Fruit Snack Example	383
89	Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3	385
90	Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1	386
91	Fibonacci Function Gallery - Part 1	398
92	Compositionality and Category Theory	398
93	Folding Cheat Sheet #7 - The three duality theorems of fold	403
94	Hand Rolled Applicative User Validation Code Kata	405
95	N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1	412
96	Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java	418
97	A Sighting of filterA in Typelevel Rite of Passage	418
98	From Subtype Polymorphism To Typeclass-based Ad hoc Polymorphism - An Example	419
99	Drawing Heighway’s Dragon - Part 1 - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3	434
100	The Uniform Access Principle	436
101	Combinatorial Interview Problems with Backtracking Solutions - from Procedural to Functional Programming - Part 1	457
102	The Functional Programming Triad of map, filter and fold	458
103	The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell	462
104	Fibonacci Function Gallery - Part 2	471
105	Lambda Expressions and Java 8 - Lambda Calculus, Lambda Expressions, Syntactic Sugar, First Class Functions	473
106	Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists	513
107	Tagless Final Encoding - Algebras and Interpreters and also Programs	532
108	Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala	551
109	List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'	573
110	N-Queens Combinatorial Puzzle meets Cats	594
111	Folding Cheat Sheet #6 - Left and right folds and tail recursion	617
112	Monad Laws Must Be Checked	631
113	The Open-Closed Principle - Part 1 - The Original Version	708
114	Kleisli Composition	852
115	Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication	907
116	Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid	1212
117	The Debt Metaphor - Ward Cunningham in his 2009 YouTube video	1395
118	The Nature of Complexity in John Ousterhout’s Philosophy of Software Design	1453
119	The Expression Problem Part 2	2354