Insane, no - it's just a tradeoff. I agree that on balance type signatures are better -- and that's why modern Python has evolved to incorporate them. But the

Insane, no - it's just a tradeoff. I agree that on balance type signatures are better -- and that's why modern Python has evolved to incorporate them. But they aren't a magic cure-all, and do they impose a significant tax of their own.