python may be the most popular language for machine learning, but the lack of type safety is a dealbreaker for anything beyond a quick script