程序员必需要知道的九大非主流编程语言

流行的编程语言随着时代发生了不小的变化，如下这九大被誉为最有潜力的编程语言可能足以成为你下一个项目的完美选择。这些编程语言受欢迎的缘由以下：它们提供了开源代码、丰富的库和框架。这是多年来程序员选择其的主要动力，并且对专业知识的丰富愈来愈有价值。

有时，主流的编程语言，好比java、javascript，可能不足以解决特殊问题。有时，程序员必须超越主流语言寻找正确的语言和架构，以帮助代码更快的运行，无需无限的调整和优化。

如下九大编程语言被列入了众多程序员的技术雷达中，它们可能不是每一项工做的最佳选择，但它们值得被调查和投资。

Kotkin：Java程序员能够考虑

Java是一种伟大的语言，支持一些受欢迎的平台，但它有点老了。Kotlin旨在快速编译，与Java共存，并修复了一些Java开发的痛点。

最大的改进多是对空值的关注，全部面向对象程序员的痛苦。Kotlin为解决这个问题迈出了一大步，它可自动检查代码中可能出现的糟糕错误。若是须要，它也将编译为JavaScript或本地代码。Google认识到这个语言的价值，如今Android程序员使用Kotlin将获得很好的支持。

Erlang：实时系统的函数式编程

当爱立信的程序员开始吹嘘其“9个9”表演时，Erlang可达到99.9999999％的数据可靠性，爱立信之外的开发者开始注意到该语言。

Erlang的秘密功能是范式。大多数代码被迫在本身的小世界中操做，不能经过反作用破坏系统的其他部分。这些功能在内部完成全部的工做，只能运行在像沙盒同样的“进程”中，只能经过邮件消息相互通讯。没法经过一个指针，快速更改堆栈中任何地方的状态。

该模型使运行时代码更简单，运行时调度程序可利用很是低的开销来设置和分解进程。Erlang程序员也喜欢在Web服务器上同时运行2000万个“进程”。

若是你正在创建一个实时系统，请查看Erlang。

Go: 简单动态

2009年，谷歌发布了该静态类型语言，看起来像C，但程序员没必要指定类型和调整malloc调用。使用Go语言，程序员能够具备编译C的简洁性和结构，以及易于使用动态脚本语言。

虽然Sun和Apple分别在建立Java和Swift方面采用了相似的路径，但Google的Go作出了一个大相径庭的决定：只有干净，简单的if-then-else代码块操纵字符串、数组和哈希表。

若是是一家初创企业，但愿抓住Google的目光，而且须要构建一些服务器端的业务逻辑，那么Go是一个很好的开始。

OCaml：复杂的数据层次结构juggler

对于想要精细变量类型，甚至创造类型迭代的程序员而言，Ocaml是最好的选择，其有对象支持、自动内存管理和设备可移植性，甚至还有苹果App Store提供的OCaml应用程序。

TypeScript：你想要的JavaScript

每一个程序员都有喜欢的预处理器或超级处理器来扩展和改进语言，TypeScript是Javascript的超集，它为全部变量添加了类型，这使Java程序员感受更加安全，也能够早期捕捉一些bug，提升代码质量。

如今，不少程序员对TypeScript感兴趣的最大缘由是Angular，这是编写Web应用程序一个很好的框架。有趣的是，程序员不须要使用TypeScript来使用Angular。你能够享受其代码质量，并将其与旧版JavaScript进行合并，由于TypeScript是JavaScript的超集。

Rust: 安全可用的系统语言

Rust像C的翻新版本，连续两年，赢得了Stack Overflow“最受欢迎的编程语言”，这也体如今Stack Overflow流行指数榜单中，就在几年前，Rust在名单上徘徊在50左右，今年它跃升到了18。

为何？也许由于Rust清理了不少C语言的棘手问题，也许由于Rust让程序员以为真正掌握了内存变化，而不是等待一些服务。实现时，编译器会自定义每种类型的结构，这些开发人员喜欢称之为“单态”。该语言增长了一些其余限制，以防止开发人员脱离轨道。例如，每一个值都是“owned”，这意味着它只能被消耗一次，从而防止程序其余部分引用。

全部这些功能加上一些更像无竞争条件的线程 – 意味着程序员能够开始编写系统代码，而不会遇到长期困扰C程序员的最糟糕的反模式，可使用编译器来获取编写C的全部硬核，享受高性能的好处。

Scala：JVM上的函数式编程

若是须要简单的代码、面向对象层次结构的项目，但喜欢功能范例，Scala能够成为一个选择。 Scala运行在JVM上，经过提供符合Java类规范的代码和与其余JAR文件的连接，将函数式编程全部干净的设计限制带到Java世界。类型机制是强静态的，编译器完成全部推断类型工做。原始类型和对象类型之间没有区别，语法比Java简单得多，能够将段落长的CamelCase变量名返回Java Land。

若是必须在数千个处理器集群中进行数据整理，并拥有一大堆旧的Java代码，则Scala是一个很好的解决方案。

Haskell：函数式编程，纯而简单

二十多年来，从事函数式编程的学者一直在积极开发Haskell，致使它是函数式编程理想更纯粹的表达之一，具备处理I / O通道和其余不可避免的反作用的谨慎机制。

社区很是活跃，有十几个Haskell变种等待探索。有些是独立的，有些与Java（Jaskell，Frege）或Python（Scotch）等更主流的语言相结合。

若是你的数据结构很复杂，不妨试试Haskell。

Julia：把速度带到Python

编程的世界充满了Python爱好者，他们享受简单的语法，避免思考细节，如指针和字节等。然而，由于其全部优点，Python一般会变得很慢，若是正在处理科学计算领域中常见的大型数据集，那么这多是一个问题。为了加快事件发展，许多科学家转而在C中编写最重要的例程，其速度要快得多。可是，用两种语言编写的软件是更难修复和扩展的。

Julia解决了这个复杂性。它的建立者采用了Python的干净语法，并对其进行了调整，从而能够在后台编译代码。