如今，对于编程语言而言，提供一个丰富的开放式源代码，函数库以及框架为基础语言是用户关注的重点。在一些特定项目情况下，市场主流编程语言尽管有大量资源提供，但并不能有效解决用户的特定问题，用户不得不去寻找适合的语言。通过一些编程语言可以提供额外的功能，帮助代码运行速度更快，摈弃无休止的调整和优化。
Erlang语言：提供实时系统功能
Erlang是运作于虚拟机的解释型语言，在程序设计范型上，Erlang属于多重范型编程语言，涵盖函数式、并行及分布式。循序运行的Erlang是一个及早求值，单次赋值和动态类型的函数式编程语言。特别是在实时系统应用上，如移动电话交换机计费系统。
Go语言是谷歌2009发布源编程语言，专门针对多处理器系统应用程序的编程进行了优化，使用Go编译的程序可以媲美C或C++代码的速度，而且更加安全、支持并行进程。
Groovy语言： Java编程的精华
构建在强大的Java语言之上并添加了从Python，Ruby和Smalltalk等语言中诸多特征，例如动态类型转换、闭包和元编程支持。不仅如此，紧密联系到Java JAR文件，Groovy的代码运行像一个动态类型的脚本语言，可全面进入到静态类型的Java对象的数据。
OCaml最早称为Objective Caml，是Caml编程语言的主要实现，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml有一个巨大标准库，使得可以像Python或者Perl语言一样可以方便地开发各种应用程序。
2揭秘九大前沿编程语言B
Coffeescript并非一种语言，受到Ruby、Python与Haskell等语言的启发，增强了Javascript的简洁性与可读性的转译器。同时新增更复杂的功能，例如列表内涵、模式匹配等。使用Coffeescript可以体会编程泛型的表达方式，减少逗号、括弧这些只是增强表达能力的一些副作用。
Scala运行在JVM上，兼容现有的Java程序，集成面向对象编程和函数式编程的各种特性。Scala也是一种函数式语言，其函数也能当成值来使用。Scala提供了轻量级的语法用以定义匿名函数，支持高阶函数，允许嵌套多层函数，并支持柯里化。Scala的case class及其内置的模式匹配相当于函数式编程语言中常用的代数类型。
Dart语言：非JS的Javascript
Dart与Javascript相似，用到了类似于C语言的语法和关键词。最明显的区别在于Javascript是一种基于原型的编程语言，而Dart和C++、Java类似，需要使用类和接口来声明对象。开发人员可以选用Dart来声明静态类型的变量，与Javascript相比，HTML5开发者们尝试一下Dart语言在WEB编写代码的速度上更胜一筹。
对于有20年的发展，Haskell语言是一种标准化的，通用纯函数式编程语言，有非限定性语义和强静态类型。作为函数式编程语言，主要控制结构是函数，具有“证明即程序、命题为类型”的特征。社区在宣传时一直是将其定位为一门通用程序设计语言的。Haskell是一种程序语言。特别是多态类型，懒惰的，纯的函数式语言，与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言，基于lambda演算。
Julia语言
科学计算传统上需要最高的性能，但是领域内的专家们在日常工作中更多的会选择慢一些的动态语言。现代语言设计和编译器技术使目标成为可能：最大化的消除性能抉择和为原型设计（prototyping）提供一个富有成效的单一环境并且足够有效率的来运用性能加强的应用。面向科学计算的高性能动态高级程序设计语言，像Python般通用Julia编程语言扮演这个角色：灵活的动态语言，科学和数值计算方面的优异表现，以及比得上传统静态类型语言的优异性能。
Julia的特性包括可选的输入，多重分派（Multiple dispatch）和优异性能，实现了使用类型推断和JIT（just-in-time）编译，使用LLVM执行。它采用多范式的，命令式的特征组合，函数化的并且面向对象的编程方式。同时Julia保持了MATLAB在高水平数值计算方面的轻松表现，但突破在一般编程上的局限，不仅建立在数学编程语言上的血统，而且借鉴了流行的动态语言如Lisp, Perl, Python, Lua和Ruby的优点。
