以下九种语言应该是每个程序员所关注的技术。它们并不是最好的编程语言，有些甚至仅仅在专门项目应用上提供帮助。但这九种编程语言具备上升空间，是值得每一个开发人员研究和学习，或许有一天这些语言成为你的项目必不可少的。
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可以体会编程泛型的表达方式，减少逗号、括弧这些只是增强表达能力的一些副作用。