欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Programming language
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| + | ==语言分类== | ||
| + | *[[C]] | ||
| + | *[[CPP|C++]] | ||
| + | *[[GCC]] | ||
| + | *[[Java]] | ||
| + | *[[Java Community Process|JCP]] | ||
| + | *[[Ruby]] | ||
| + | *[[Ruby on Rails|Rails]] | ||
| + | *[[Python]] | ||
| + | *[[PHP]] | ||
| + | *[[Perl]] | ||
| + | *[[XML]] | ||
| + | *[[JavaScript]] | ||
| + | |||
http://www.dmoz.org/Computers/Programming/Languages/ | http://www.dmoz.org/Computers/Programming/Languages/ | ||
2006年8月16日 (三) 10:54的版本
语言分类
分享您的观点
