欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
在Web Game中, Flash, Ajax是两项基本技术。
而擅长Flash, Ajax的OpenLaszlo 能否在 Web Game 扮演一个重要角色，为Web Game带来更多Rich Client的感觉。让我试试后再说。
不过, 还是觉得 PHP + JavaScript 是更好组合.
