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