欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
http://www.rubyonrails.org/
Ruby on rails cheat sheet
文件:Example.jpg Rails 和 J2EE 堆栈的比较