Category: Type Systems

Personally, I've come to prefer languages that have static type systems over those with more dynamic ones. I was reflecting while investigating a stack trace for work and I realized that there is an undercurrent of empathy to my preference. Much has been said about "types as tests" and "eliminating classes of bugs by making illegal state unrepresentable", but I haven't seen it expressed from this framing before.