8. Nimrod Nimrod是一个新型的静态类型、命令式编程语言，支持过程式、函数式、面向对象和泛型编程风格而保持简单和高效。
9. Chapel Chapel语言的语法有很多源头，除了常见的如C，C++，Java外，它还借鉴了一些科学研究性语言（比如Fortran和Matalb）里的概念。这种语言专门为超级计算机和集群设计的，它是Cray的Cascade研究课题的一部分，由美国国防部高级研究计划局(DARPA)参与启动，有一个宏大的高性能计算设想。
10. Whiley Whiley是一个轻量级面向对象和函数式编程语言，目标代码在 Java 虚拟机上执行。Whiley在编译时就可以排除很多错误，例如除0、数组越界和空引用等。
11. Clojure Clojure是一个在JVM平台运行的动态函数式编程语言，其语法接近于LISP语言，在JVM平台运行的时候，会被编译为JVM的字节码进行运算。
12. JRuby JRuby是面向Ruby、基于Java虚拟机(JVM)的一种解释程序，它结合了Ruby语言的简易性和功能强大的JVM的执行机制，包括与Java库 全面集成。
13. CoffeeScript CoffeeScript是JavaScript的转译语言，它会将类似 Ruby 语法的代码编译成 JavaScript，而且大部分结构都相似，但不同的是 CoffeeScript 拥有更严格的语法。
14. Dart Dart是一种基于类的可选类型化编程语言，其设计目标是为Web编程创造结构化但又富有灵活性的语言；编程方法一目了然，符合程序员的自然习惯，易于学习；能在所有浏览器和不同环境中实现高性能。
15. R R是用于统计分析、绘图的语言和操作环境。R是属于GNU系统的一个自由、免费、源代码开放的软件，它是一个用于统计计算和统计制图的优秀工具。
16. L++ L++使用的是类Lisp语法，最终会转编译为C++。例如：Hello，World！ (main (prn "Hello, World!")) 17. Hack Hack 是由Facebook开发的，同时结合了动态类型语言（如PHP语言）和静态类型语言（如C语言）两种特点的一种编程语言。通常在使用静态类型语言编程 时，开发者会在程序被运行前就知道错误发生的位置。
除了上面所列举到的，不知道你还有没有其他的比较实用的新的编程语言可以分享给大家。 |
