Also, any kind of weakly typed language. I kinda liked working with pytype at Google; it let me specify types when it's important either for correctness or doc

Also, any kind of weakly typed language. I kinda liked working with pytype at Google; it let me specify types when it's important either for correctness or documentation purposes, and ignore them when it's obvious. My experience working with modern C++ is that there are a zillion horrible templated types that mostly get in your way when you're trying to do something boring. 'auto' is a useful way to clear out that messy boilerplate garbage and make your code clearer. But if it's not making your code clearer, then that's what code reviews are for.