Totally get that, and agree that this is an aspect if Python that is awesome for iteration on new ideas without many barriers.
However, this seems to make the assumptions that when you, as you say, transition to the industrial phase:
- MonkeyType will get all of the assumped types correct, which at any scale I doubt. Not because of the ability of the projects contributors, but because they warn about this in their own documentation
- If you're doing this at an industrial scale, and you haven't already documented/thought about/understood what these functions are. I'd appreciate that it may help intially, but still runs in to the problem I was discussing above.