欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Erlang
来自开放百科 - 灰狐
相关链接
- http://www.erlang.org/
- 轻松实现可伸缩性,容错性,和负载平衡的大规模多人在线系统 - http://blog.mylkcn.net/senzung.php
- http://forum.javaeye.com/viewtopic.php?t=22318
分享您的观点