樓上 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