以下九种语言应该是每个程序员所关注的技术。它们并不是最好的编程语言，有些甚至仅仅在专门项目应用上提供帮助。但这九种编程语言具备上升空间，是值得每一个开发人员研究和学习，或许有一天这些语言成为你的项目必不可少的。
Erlang语言：提供实时系统功能
Erlang是由瑞典电信设备制造商爱立信所辖的计算机科学研究室开发，目的是可以应付大规模开发活动的程序设计语言和运行环境。Erlang于1987年发布正式版本，erlang是函数式语言，提供了9个9的稳定性和超高并发并发性能，于1998年发表开放源代码版本。
Erlang是运作于虚拟机的解释型语言，在程序设计范型上，Erlang属于多重范型编程语言，涵盖函数式、并行及分布式。循序运行的Erlang是一个及早求值，单次赋值和动态类型的函数式编程语言。特别是在实时系统应用上，如移动电话交换机计费系统。
GO语言：简单、动态
Go语言是谷歌2009发布源编程语言，专门针对多处理器系统应用程序的编程进行了优化，使用Go编译的程序可以媲美C或C++代码的速度，而且更加安全、支持并行进程。
编译后Go代码的运行速度与C语言非常接近,而且编译速度非常快，就像在使用一个交互式语言。现有编程语言均未专门对多核处理器进行优化。Go就是谷歌工程师为这类程序编写的一种语言。它不是针对编程初学者设计的，但学习使用它也不是非常困难。Go支持面向对象，而且具有真正的封装和反射 等功能，可以被用于网络服务器、存储系统和数据库中。
Groovy语言： Java编程的精华
Groovy是用于Java虚拟机的一种敏捷的动态语言，作为一种成熟的面向对象编程语言，既可以用于面向对象编程，又可以用作纯粹的脚本语言。Groovy语言提供程序员来编写简单的程序，充分利用现有的Java代码的能力。
构建在强大的Java语言之上并添加了从Python，Ruby和Smalltalk等语言中诸多特征，例如动态类型转换、闭包和元编程支持。不仅如此，紧密联系到Java JAR文件，Groovy的代码运行像一个动态类型的脚本语言，可全面进入到静态类型的Java对象的数据。
Ocaml语言：复杂数据层次“魔术师”
OCaml最早称为Objective Caml，是Caml编程语言的主要实现，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml有一个巨大标准库，使得可以像Python或者Perl语言一样可以方便地开发各种应用程序。
对于程序员来说，OCaml由编程语言社区努力推广，并提供有目标的支持，自动内存管理和设备的便携性。目前可从苹果的App Store获下载OCaml应用程序。通过OCaml语言的应用特性，可以建立一个教代数的网站。
CoffeeScript：JS转译语言
CoffeeScript并非一种语言，受到Ruby、Python与Haskell等语言的启发，增强了JavaScript的简洁性与可读性的转译器。同时新增更复杂的功能，例如列表内涵、模式匹配等。使用CoffeeScript可以体会编程泛型的表达方式，减少逗号、括弧这些只是增强表达能力的一些副作用。
Scala语言：运行JVM上函数程序
Scala运行在JVM上，兼容现有的Java程序，集成面向对象编程和函数式编程的各种特性。Scala也是一种函数式语言，其函数也能当成值来使用。Scala提供了轻量级的语法用以定义匿名函数，支持高阶函数，允许嵌套多层函数，并支持柯里化。Scala的case class及其内置的模式匹配相当于函数式编程语言中常用的代数类型。
Scala还包含了若干函数式语言的关键概念，包括高阶函数(Higher-Order Function)、局部套用(Currying)、嵌套函数(Nested Function)、序列解读(Sequence Comprehensions)等。Scala是静态类型的，这就允许它提供泛型类、内部类、甚至多态方法(Polymorphic Method)。另外值得一提的是，Scala被特意设计成能够与Java和.NET互操作。
Dart语言：非JS的JavaScript
Dart从设计之初就为配合现代web整体运作而考虑，开发团队也在持续改进Dart向JavaScript转换的快速编译器。JavaScript适用于为网页新增基本的交互性，但如果面对成千上万行代码弱点显而易见。谷歌设计Dart这门新语言的缘由，Dart与 JavaScipt双管齐下，用于优化Web编程开发。
Dart与JavaScript相似，用到了类似于C语言的语法和关键词。最明显的区别在于JavaScript是一种基于原型的编程语言，而Dart和C++、Java类似，需要使用类和接口来声明对象。开发人员可以选用Dart来声明静态类型的变量，与JavaScript相比，HTML5开发者们尝试一下Dart语言在WEB编写代码的速度上更胜一筹。
Haskell语言：简单纯粹的函数编程
对于有20年的发展，Haskell语言是一种标准化的，通用纯函数式编程语言，有非限定性语义和强静态类型。作为函数式编程语言，主要控制结构是函数，具有“证明即程序、命题为类型”的特征。社区在宣传时一直是将其定位为一门通用程序设计语言的。Haskell是一种程序语言。特别是多态类型，懒惰的，纯的函数式语言，与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言，基于lambda演算。
Julia语言
Julia语言：更快速度的Python
科学计算传统上需要最高的性能，但是领域内的专家们在日常工作中更多的会选择慢一些的动态语言。现代语言设计和编译器技术使目标成为可能：最大化的消除性能抉择和为原型设计(prototyping)提供一个富有成效的单一环境并且足够有效率的来运用性能加强的应用。面向科学计算的高性能动态高级程序设计语言，像Python般通用Julia编程语言扮演这个角色：灵活的动态语言，科学和数值计算方面的优异表现，以及比得上传统静态类型语言的优异性能。
Julia的特性包括可选的输入，多重分派(Multiple dispatch)和优异性能，实现了使用类型推断和JIT(just-in-time)编译，使用LLVM执行。它采用多范式的，命令式的特征组合，函数化的并且面向对象的编程方式。同时Julia保持了MATLAB在高水平数值计算方面的轻松表现，但突破在一般编程上的局限，不仅建立在数学编程语言上的血统，而且借鉴了流行的动态语言如Lisp, Perl, Python, Lua和Ruby的优点
[杨子seo : 国内知名互联网平台艾瑞网专栏作者、A5站长网专栏作者。一个简单的互联网人，半个自媒体人，关注站长圈、网络营销、新媒体营销、seo搜索引擎优化的实践者，百度文库认证SEO工程师。 交流更多请加qq/微信号：1970762704]