> It's just that we've normalized an extremely misguided practice of abusing type systems as a crutch for non-descriptive variable and function names. And mayb

> It's just that we've normalized an extremely misguided practice of abusing type systems as a crutch for non-descriptive variable and function names. And maybe we just abuse formal logic because we've forgotten how to write good prose.