It's the developer performance benefit of catching type bugs early, not the application performance benefit from a compiler, that Python developers find compelling