Functional Programming & Software Engineering
Exploring type theory, functional paradigms, and real-world engineering challenges from a backend developer's perspective
Recent Posts
- Classical Equivalences in Agda August 4, 2025
- Building Arithmetic from Scratch August 4, 2025
- Structural Induction, Formally July 30, 2025
- Folding Left and Right October 25, 2024
- Structural Induction October 23, 2024
About This Blog
Hi, I'm archbung 👋 I'm a backend engineer passionate about functional programming and type theory. Currently working with Ruby/Rails, but my heart belongs to Haskell and the broader FP ecosystem.
I write about applying functional programming concepts in production, exploring type systems, and navigating the journey of a software engineer in the real world.