Well-designed type systems tend to show up in functional languages for good reason, especially if we restrict ourselves to small languages. It's much easier to

Well-designed type systems tend to show up in functional languages for good reason, especially if we restrict ourselves to small languages. It's much easier to make coherent typing rules in languages with clean semantics.