October 29, 2016Filed under micro#ml#programming languages#software developmentMarkdown source

Using ML-style types to reason through things—even just as a reasoning tool, without language support—makes such a huge difference.

I’m rewriting a hairy, often-buggy section of HolyBible.com’s user logic, and using type definitions for reasoning was invaluable.