A three-part mini-series on implementing total maps (functions over all keys) in Haskell, covering a survey of dictionary data structures, a denotational specification with derivation, and a type-class and GHC generics implementation. Readers get careful, math-flavoured explanations of functional data structure design with concrete Haskell code.
Website: https://www.jakemcarthur.com/
Personal blog of the creator of Elementary Audio, covering release announcements and the design thinking behind a functional, declarative framework for writing audio software. Readers get development updates, technical rationale and occasional notes on audio industry work.
A technical newsletter that walks through functional programming and type-level concepts using TypeScript, including isomorphisms, catamorphisms and strongly typed utility functions. Readers get step-by-step code explanations with runnable examples and links to playgrounds and repos.
A developer blog exploring functional programming ideas in C# and F#, including error handling, type systems and LINQ-based patterns. Readers get code-driven explorations of how to bring concepts like union types, monads and Result types into mainstream .NET code.
NDC Blog collects articles by NDC conference speakers, covering software development topics such as functional programming and design patterns, alongside conference announcements. Readers get a mix of practical technical essays from practitioners and occasional company news about NDC events and workshops.
One short email a week with hand-picked newsletters from the index. Free, no spam, unsubscribe anytime.
