Author

Jaeho Choi

Compiler engineer on HyperAccel’s Compiler team. Interested in programming language theory, software verification, and AI-assisted mathematics using Lean 4.

GitHub ↗

Articles 2

Programming Language

Monads and Category Theory ② Different Computations, the Same Composition

Jaeho Choi · 2026.10.19 · 20 min

Compilers & KernelsMonads and Category Theory - Part 01

When Functions Do Not Compose

Jaeho Choi · 2026.09.25 · 17 min