利用第一性原理分析可行性
python 之类的动态语言根本就不知道数据类型。他要做的话只能做成 jit
多线程的数据冲突它怎么解决？它会分析所有的变量之间的关系吗？这个真的可行吗
如果他并行化，粒度怎么评估？不合适的粒度反而会让性能更差。
综上所述，他只能造一个自己特别的编程语言，很难让任意类型的高级语言自动高效的并行化。