1 |
The Functional Programming Triad of map, filter and fold |
3,718 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/clojure/clojure-original.svg) |
![](https://avatars.githubusercontent.com/u/7087133?s=200&v=4) |
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/2560px-Lambda_lc.svg.png) |
|
2 |
Sequence and Traverse - Part 1 |
3,562 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
3 |
Sequence and Traverse - Part 2 |
3,531 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
4 |
Sequence and Traverse - Part 3 |
2,821 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
5 |
Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 1 |
2,513 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/fsharp/fsharp-original.svg) |
|
6 |
State Monad |
2,117 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
7 |
Functional Effects - Part 1 |
2,056 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
8 |
Functor Laws |
1,956 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
9 |
Kleisli Composition |
1,917 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/18/ISO_C%2B%2B_Logo.svg/213px-ISO_C%2B%2B_Logo.svg.png) |
|
10 |
Monoids - Part 1 - With examples using Scalaz and Cats |
1,748 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
11 |
Functional Effects - Part 2 |
1,731 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
12 |
Scala 3 by Example - Algebraic Data Types for Domain Driven Design - Part 2 |
1,699 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/fsharp/fsharp-original.svg) |
|
13 |
Ad hoc Polymorphism using Type Classes and Cats |
1,587 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
14 |
Algebraic Data Types for Data Oriented Programming - From Haskell and Scala to Java |
1,582 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
15 |
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 1 |
1,543 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
16 |
Function Applicative for Great Good of Palindrome Checker Function |
1,533 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
17 |
The Expression Problem Part 1 |
1,461 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
18 |
Sierpinski Triangle - Polyglot FP for Fun and Profit - Haskell and Scala |
1,375 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
19 |
Game of Life - Polyglot FP - Haskell and Scala - Part 1 |
1,359 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
20 |
From Scala Monadic Effects to Unison Algebraic Effects |
1,307 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://avatars.githubusercontent.com/u/7087133?s=200&v=4) |
|
21 |
The Functional Programming Triad of Folding, Scanning and Iteration - A first example in Scala and Haskell |
1,293 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
22 |
The Sieve of Eratosthenes - Part 1 |
1,272 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/2560px-Lambda_lc.svg.png) |
|
23 |
Folding Unfolded - Part 1 |
1,258 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
24 |
Sum and Product Types - The Fruit Salad & Fruit Snack Example |
1,219 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/fsharp/fsharp-original.svg) |
|
25 |
Quicksort - a whistle-stop tour of the algorithm in five languages and four paradigms |
1,203 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/clojure/clojure-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/fsharp/fsharp-original.svg) |
![](https://www.swi-prolog.org/download/logo/swipl-128.png) |
|
26 |
Game of Life - Polyglot FP - Haskell and Scala - Part 2 |
1,196 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
27 |
Definitions of Functional Programming |
1,145 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
28 |
Monoids - Part 2 - With examples using Scalaz and Cats |
1,086 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
29 |
Left and Right Folds - Comparison of a mathematical definition and a programmatic one |
1,036 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
30 |
Monad Laws Must Be Checked |
1,011 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
31 |
Applicative Functor - Part 2 |
972 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
32 |
Arrive at monads by going from composition of pure functions to composition of effectful functions |
960 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
33 |
Folding Unfolded - Part 4 |
953 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
34 |
Folding Unfolded - Part 3 |
944 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
35 |
Functional Core and Imperative Shell - Game of Life Example - Haskell and Scala |
937 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
36 |
Game of Life - Polyglot FP - Haskell and Scala - Part 3 |
915 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
37 |
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 3 |
898 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
38 |
Compositionality and Category Theory |
872 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
39 |
Folding Unfolded - Part 2 |
858 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
40 |
‘go-to’ general-purpose sequential collections - from Java To Scala |
835 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
41 |
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 2 |
808 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
42 |
Writer Monad for logging execution of functions |
803 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/18/ISO_C%2B%2B_Logo.svg/213px-ISO_C%2B%2B_Logo.svg.png) |
|
43 |
Applicative Functor - Part 1 |
773 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
44 |
The Expression Problem Part 2 |
755 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
45 |
Applicative Functor - Part 3 |
717 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
46 |
Monad Fact #5 |
690 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
47 |
Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Scala |
674 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
48 |
The Uniform Access Principle |
654 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
49 |
Scala 3 enum for a terser Option Monad Algebraic Data Type |
618 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
50 |
Natural Transformations |
612 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
51 |
Tagless Final Encoding - Algebras and Interpreters and also Programs |
602 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
52 |
Folding Unfolded - Part 5 |
582 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
53 |
N-Queens Combinatorial Problem - Polyglot FP for Fun and Profit – Haskell and Scala - Part 4 |
549 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
54 |
Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid |
546 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
55 |
Monad Fact #6 |
516 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
56 |
Scala Left Fold Parallelisation - Three Approaches |
493 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
57 |
Computer Graphics in Java and Scala - Part 1 |
470 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
58 |
The Monad Fact Series |
469 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
59 |
Refactoring: A First Example - Martin Fowler’s First Example of Refactoring, Adapted to Java |
437 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
60 |
Monad Fact #4 |
420 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
61 |
The aggregate function - from sequential and parallel folds to parallel aggregation |
408 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
62 |
Nat, List and Option Monoids - From scratch - Combining and Folding - An example |
406 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
63 |
N-Queens Combinatorial Puzzle meets Cats |
399 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
64 |
Monad Fact #2 |
384 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
65 |
Monad Fact #1 |
373 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
66 |
A sighting of sequence function in Practical FP in Scala |
371 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
67 |
The Sieve of Eratosthenes - Part 2 - Genuine versus Unfaithful Sieve |
356 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
68 |
Monad Fact #3 |
351 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
69 |
Side by Side - Scala and Java Adaptations of Martin Fowler’s Javascript Refactoring Example |
326 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
70 |
Computer Graphics in Java and Scala - Part 1b |
320 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original.svg) |
|
71 |
Fusing Transformations of Strict Scala Collections with Views |
299 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
72 |
Folding Cheat Sheet #1 |
285 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
73 |
Kleisli composition, flatMap, join, map, unit - implementation and interrelation - V2 updated for Scala 3 |
268 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
74 |
A sighting of traverse_ in Practical FP in Scala |
264 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
75 |
A sighting of traverseFilter and foldMap in Practical FP in Scala |
256 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
76 |
A Sighting of filterA in Typelevel Rite of Passage |
200 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
77 |
Folding Cheat Sheet #2 |
176 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
78 |
Folding Cheat Sheet #3 |
162 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
79 |
Folding Cheat Sheet #4 |
154 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
80 |
Hand Rolled Applicative User Validation Code Kata |
99 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
|
81 |
Folding Cheat Sheet #6 |
86 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
82 |
Folding Cheat Sheet #5 |
41 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
83 |
Folding Cheat Sheet #7 |
0 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|
84 |
Function Applicative for Great Good of Leap Year Function |
0 views |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/scala/scala-original.svg) |
![](https://cdn.jsdelivr.net/gh/devicons/devicon/icons/haskell/haskell-original.svg) |
|