欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Parrot 是一个虚拟机,被设计为高效的编译和执行动态语言的字节码。Parrot 当前支持Tcl, JavaScript, Ruby, Lua, Scheme, PHP, Python, Perl 6, APL, 和 .NET。