欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rubinius
来自开放百科 - 灰狐
Rubinius是一个主要用Ruby语言实现的Ruby虚拟机,它的底层实现包括少量C,不过这部分也会在将来用Ruby来重写。
Links
分享您的观点