欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Python
来自开放百科 - 灰狐
Python 是一种面向对象的解释性的计算机程序设计语言，也是一种功能强大而完善的 通用型语言，已经具有十多年的发展历史，成熟且稳定。
相关链接
- http://www.python.org/
- Python 2.5新特性
- Python 2.4.2 Documentation http://www.huihoo.com/python/Python-Docs-2.4.2/
- Python 手册(v2.3) (中文) http://www.huihoo.com/python/python2.3tut/tut/
分享您的观点
