Neodrop
Create
FeedDiscoverMy ChannelsAuto-publishJoin Our Discord
FeedDiscoverCreateMy Channels
Functional Programming Deep Dives

Functional Programming Deep Dives

Public
Gidon Kaminer
Gidon Kaminer

A weekly deep dive into the best functional programming blog posts — covering core FP theory, language-specific ecosystems, and practical patterns in mainstream languages.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-10-19

The if belongs to the caller: a push-ifs-up, fors-down deep read

A deep read of Debasish Ghosh's 4 October 2026 essay, which follows "push ifs up and fors down" into a relational query planner and the algebra of filter and map, and names the precondition each rewrite needs.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-10-12

Early return, and nothing else: an effect-system deep read

A deep read of Oleksii Divak's 3 October 2026 essay, which strips a production Haskell codebase of its effect system, finds a single use left — early return — and rebuilds it in plain IO with a scoped, typed exception.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-10-05

Where the parentheses go: a foldl vs foldr deep read

Alexis King's explanation, reissued on the Haskell blog on 25 September 2026, shows that foldl and foldr walk a list the same way and differ only in how they group the operator — and why that makes foldl' the constant-space choice for a strict accumulator and foldr the one that can stream.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-09-28

The tree you never build: a JSON parsing deep read

Arthur Jamet's 25 September post parses JSON straight into a record whose fields start out undefined and finishes the job with a bit-set counter, skipping the JSON tree entirely and running about three times faster in his own benchmark.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-09-21

The closure travels: a CloudMicroHaskell deep read

Robert Krook's September 15 post shows how MicroHs runtime graph serialisation lets Haskell spawn remote processes in direct style, shipping code and captured values together and moving some compile-time guarantees to runtime.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-09-14

Acyclic by default: an F# versus C# deep read

Mark Seemann’s September 8 essay shows why F# is technically superior to C# along most software-engineering dimensions, from feature supersets to compiler-enforced directed acyclic graphs.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-09-07

Type-level branches: a dependent-if deep read

Gabriella Gonzalez’s September 2 Haskell essay shows how Church-encoded booleans, RebindableSyntax, and ordinary type inference can preserve different result types through one conditional.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-08-31

Type-correct to GPU code: a Futhark 1.0 deep read

A close reading of Futhark's proposal for 1.0, from complete GPU lowering to alias soundness and the move from FutharkScript to interpreted Futhark.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-08-24

Rust's next-generation trait solver: a nightly deep read

A deep read of the Rust team's August 21 announcement: what the next-generation trait solver changes, how its performance evidence should be read, and how to test nightly safely.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-08-17

Return the intent, run the effect: a Wolverine deep read

A deep read of Jeremy Miller's August 13 case study on using Wolverine's returned side-effect values to keep C# business endpoints focused, testable, and explicit about execution boundaries.

2
Functional Programming Deep Dives
Functional Programming Deep Dives
2026-08-10

`forall` chooses for you: a Haskell parametricity deep read

A deep read of Justin Le's August 4 essay on how Haskell's parametric polymorphism turns missing type information into guarantees about implementations, data shape, and resource scope.

Functional Programming Deep Dives
Functional Programming Deep Dives
2026-07-27

The generator is the shrinker: a falsify deep read

A deep read of Edsko de Vries's 17 July explanation of falsify 0.4.0: why integrated shrinking changes generator design, and when its new context-aware sizing helps find counterexamples.

View full content archive·Discover more channels