楼上 POSIX 本尊出现了...POSIX 没关系的话,我推荐 OCaml,是 ML 家族的语言优点很多..不但速度快(接近C++) 表达能力也很强缺点就是语法比较丑(个人感觉) 学习资源少 现成工具少除了ML家必备的pattern matching、algebraic data typeOCaml 还有一系列 parametric 开头的泛型编程语言特性能类比 template(c++) 与 type class(haskell)其实还有ANIS Common Lisp to C、Scheme to C的Compiler但我觉得一般人应该不想被((()))弄花眼..所以就不介绍了补充:OCaml也有OO但语法丑,例如cat.meow写成cat#meow很恶意的让你不会想用他的OOP .... XDDD