🧬 Functional Programming

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

🧮Algebraic Datatypes

lmika.org·

Kan Extensions in Haskell

🔀Category Theory

bartoszmilewski.com··Hacker News

quasitriangular Hopf 2-algebra in nLab

🧮Algebraic Archives

ncatlab.org·

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

🔗Functional Compilers Blog

irfanali.org··Hacker News, r/compsci, r/programming, r/programming

Debootstrapping without Archeology: Stacked Implementations in Camlboot

🔗Functional Compilers Academic

arxiv.org··Lobsters

Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?

🔗Functional Compilers

doscienceto.it··Lobsters, Hacker News

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

🔗Functional Compilers Video

youtube.com··Hacker News

Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’

⚛️Quantum Codecs News

the-independent.com·

Constants and pure functions in Python: how to do it right

⬆️Lambda Lifting Blog

en.andros.dev··Hacker News

Idris Elba: 'Don't try to make James Bond woke'

⚛️Quantum Codecs News

bbc.com·

Static types and shovels (2026)

💻programming languages

carefully.understood.systems··Lobsters

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

🔗Functional Compilers Code

github.com··Hacker News

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

📊Static Analysis Blog

semgrep.dev··Hacker News

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Issue 527

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

A line-by-line translation of the OCaml runtime from C to Rust

Implementing Monads with Async Zig

OCaml Onboarding: Introduction to the Dune build system

Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

Kan Extensions in Haskell

quasitriangular Hopf 2-algebra in nLab

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

Debootstrapping without Archeology: Stacked Implementations in Camlboot

Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’

Constants and pure functions in Python: how to do it right

Idris Elba: 'Don't try to make James Bond woke'

Static types and shovels (2026)

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans