欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Pyston: 一个使用LLVM 和JIT技术实现Python的开源(Apache v2)项目。
Pyston的工作原理:
从高层看,Pyston接受解析好的Python代码,并将其转换为LLVM中间代码(IR)。然后IR经由LLVM优化器处理,再被传送给LLVM JIT引擎,最后得到可执行的机器代码。