33 stories tagged functional-programming, newest first.
268 points by stmonty | 94 comments
Richard Feldman's blog post benchmarking roc-deflate, a pure Roc DEFLATE library, against C's libdeflate, finding it under 10% slower, and describing Roc-specific optimizations.
226 points by schindlabua | 81 comments
An interactive, slide-style blog post explaining parser combinators and how parsing turns unstructured text into structured data.
108 points by Thom2503 | 75 comments
Blog post explaining Haskell's Kind system, drawn from the author's work adding typed configuration to a Haskell Redis server clone.
84 points by saviorand | 12 comments
A blog post describing an implementation of the RealWorld demo application (a Medium-like reference app) written in the Lean 4 programming language.
23 points by silcoon | 7 comments
Blog post arguing that Clojure's data-centric, high-level style suits developers working alongside language models that handle low-level imperative code.
169 points by speckx | 79 comments
Blog post examining the 'push ifs up and fors down' coding idiom from TigerBeetle's TigerStyle, relating it to database query optimization and category theory.
49 points by leonry | 9 comments
Online book teaching quantitative finance with OCaml, covering derivatives pricing, risk, credit modeling, trading algorithms, and financial infrastructure.
41 points by stevefan1999 | 21 comments
Blog post announcing the release of Effect 4.0, a TypeScript library rebuilt from the ground up with a dependency-free core and long-term support.
188 points by pjmlp | 48 comments
Edward Kmett blog post on The Comonad.Reader titled Turbo Haskell, covering a Haskell compiler for the JVM: borrowing libraries, evaluation and concurrency, SIMD, and tail calls.
128 points by signa11 | 29 comments
Haskell Blog post reproducing Alexis King's explanation of the differences between foldl and foldr, including strict and lazy versions and associativity.
137 points by birdculture | 57 comments
A blog post on hereticpleb recounting how needing to compute 1+1 led the author to build a functional programming language.
![Screenshot of youtube.com: Functional Mechanical Sympathy [video]](https://hn.urlbox.com/shots/renders/2026/9/28/036b20e0-4ba6-4b11-80fd-623756e40df3.jpg)
60 points by surprisetalk | 11 comments
YouTube video of Richard Feldman's FUNARCH'26 keynote 'Functional Mechanical Sympathy', posted by ACM SIGPLAN.
![Screenshot of youtube.com: Deterministic Concurrency [video]](https://hn.urlbox.com/shots/renders/2026/9/28/607a0870-ca8f-4862-8ddd-2bc42810e740.jpg)
76 points by surprisetalk | 5 comments
YouTube video from ACM SIGPLAN of an ICFP 2026 talk titled "Deterministic Concurrency" filmed in Indianapolis.
321 points by handfuloflight | 63 comments
GitHub repository for Jane Street's Incremental, an OCaml library for building self-adjusting incremental computations.
318 points by wolfadex | 163 comments
Elm news post by Evan Czaplicki announcing Elm 0.19.2 with faster compiler builds as the first step on the road to Elm 1.0.
399 points by unignorant | 196 comments
Haskell Blog post by Ian Duncan, first in the 'Haskellers from the trenches' series, on production engineering with a multi-million-line Haskell codebase at Mercury.
331 points by tymscar | 193 comments
A blog post by Oscar Molnar describing his experience using the Gleam programming language to solve Advent of Code 2025 puzzles.
379 points by art-w | 270 comments
Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.
366 points by asabil | 215 comments
A personal blog post recounting the author's path from Commodore-64 BASIC to discovering and loving Erlang, starting with how mutable assignment like X = X + 1 confused him.
389 points by reqo | 172 comments
Google Testing Blog Tech on the Toilet post explaining the functional core, imperative shell pattern for separating business logic from side effects.
407 points by signa11 | 138 comments
A blog post by Josh Moody presenting a fictional interview where FizzBuzz is implemented in JavaScript using only S and K combinators.
365 points by nukifw | 258 comments
A personal blog post, translated from French, explaining why the author chose OCaml as their primary programming language since 2012.
419 points by bozhidar | 386 comments
Bozhidar Batsov's blog post explaining why he started using F#, the ML-family functional language for .NET, coming from OCaml and Java.
370 points by kurinikku | 211 comments
A Notion-hosted blog post recounting a week-long SICP course taught by David Beazley, covering functions, interpreters, and tail call optimization.
528 points by bpierre | 363 comments
Jonathan Blow's blog reposts John Carmack's 2007 email on inlining code and avoiding hidden state mutation, with Carmack's 2014 commentary favoring pure functions.
387 points by mesaoptimizer | 533 comments
A long personal essay arguing why Haskell is a practical, productive language for building real software like web servers, covering fewer mistakes and easier reasoning.
341 points by msolli | 82 comments
Official Clojure news post by Alex Miller announcing the release of Clojure 1.12.0, with compatibility notes and new features.
334 points by AlexeyBrin | 251 comments
Brian Harvey's essay, written for the Boston Globe in 2011, explaining why the MIT textbook SICP and its use of Scheme revolutionized introductory computer science.
391 points by brandonspark | 112 comments
A personal page sharing materials from CMU's 15-150 Principles of Functional Programming course, which the author taught in Summer 2023.
352 points by wscp-dev | 587 comments
Blog post on Java 21's record patterns in switch expressions and how they enable functional programming styles comparable to Kotlin, Rust, or C#.
412 points by todsacerdoti | 208 comments
A wiki page introducing the Elixir language for skeptical programmers; it loaded as a Happstack internal server error.
327 points by debanjan16 | 94 comments
Chris Okasaki's 1996 CMU PhD thesis on designing and analyzing purely functional data structures, hosted as a PDF.
472 points by surprisetalk | 121 comments
Landing page for Scrapscript, a small functional programming language for sharable software, showing example code and a 'coming 2024' notice.