Or... as Jeremy Howard said it, having a real compiler with a strongly typed language is "mind blowing" after working in Python.

A compiler isn't in your way, with modern JIT compilation and a language with an actual type system, its actually an productivity assistant. Shouldn't AI researchers have automation too?