Stephen Diehl
Stephen Diehl
Index Blog Humor Book Reviews Python Rust Mathematics Machine Learning Functional Programming Compilers Formal Methods Markets Public Policy
Contact PGP Key
Github Bluesky LinkedIn Substack RSS
Stephen Diehl
Index Blog Humor Book Reviews Python Rust Mathematics Machine Learning Functional Programming Compilers Formal Methods Markets Public Policy
Contact PGP Key
Github Bluesky LinkedIn Substack RSS

Posts tagged
fp

Dependent Types in 200 Lines of Python
November 18, 2024
Cooking Logics with Soufflé
February 1, 2024
Exotic Programming Ideas, Part 2 (Term Rewriting)
March 8, 2021
Exotic Programming Ideas, Part 4 (Datalog)
March 4, 2021
Exotic Programming Ideas, Part 3 (Effect Systems)
March 3, 2021
Exotic Programming Ideas, Part 1 (Module Systems)
March 1, 2021
View all tags

© 2009–2026 Stephen Diehl · License