Python with type annotations is the closest I've used to that, and I hate it. It beats no type annotations, but only barely. As soon as I need to use someone e

Python with type annotations is the closest I've used to that, and I hate it. It beats no type annotations, but only barely. As soon as I need to use someone else's code, all bets are off. Half the reason I want types is because it makes my life easier when I'm trying to use something written by someone else -- instead I find myself needing to experiment with a debugger to figure out what functions are actually doing.