The home for great developer writing.

We surface the best developer writing from thousands of independent blogs, updated daily.

Lifting and Lowering Functions with The Dump Calculus

· · May 1, 2026, 1:44 p.m.

Functional programming combinators the dump calculus de Bruijn index

Summary

I’ve been trying to think about how to make a nameless de bruijn-y e-graph and that has led me down a road to consider some interesting functional combinators for lifting and lowering functions....

Read full post on www.philipzucker.com →

MORE POSTS LIKE THIS

An Overview of an Ambitious Music Project

isovector · Nov 2, 2026

Haskell Design Patterns

Is there a nicer syntax for `if let ... Some(destructred_field) else None`?

Users Rust Lang · Nov 2, 2026

Functional programming software development

Presence polymorphism

osa1.net - All posts · Sep 26, 2026

Functional programming software development

lisp.md: System Instructions for Lisp

Funcall Blogspot · Sep 19, 2026

Common Lisp Vibe Coding

JavaScript immutable array methods: toSorted(), toReversed(), toSpliced(), with()

Flaviocopes · Aug 21, 2026

Javascript Functional programming

I is for immutable - Python A to Z

Juha-Matti Santala · Aug 10, 2026

Python Functional programming

Discover more posts →

AUTHOR