Harness Engineering through Functional Programming: Tools, Effects, and Verification
Harness engineering surrounds coding agents with tools, constraints, and feedback. Functional programming provides a mature foundation for making that execution layer typed, explicit, composable, and verifiable.