函数式语言
创新互联公司凭借专业的设计团队扎实的技术支持、优质高效的服务意识和丰厚的资源优势，提供专业的网站策划、成都做网站、网站设计、网站优化、软件开发、网站改版等服务，在成都十余年的网站建设设计经验，为成都近千家中小型企业策划设计了网站。
Elixir
Elixir 比 Erlang 更容易编写，具有 Haskell 等语言的函数式编程概念。Elixir是基于Erlang 虚拟机的，其广为人知的特点是运行低延时、分布式、可容错的系统，并成功用于Web开发与嵌入式软件领域。
Elm
Elm是一种用于构建 Web 应用程序的函数式语言。业内一般认为，它适用于创建高可交互应用，例如复杂的用户界面，开发人员可以通过 Elm 快速编写富有表现力的系统。Elm 也以没有运行时异常而闻名。
PureScript
PureScript是一种可编译为 JavaScript 的纯函数式编程语言。与 Haskell 最相似的是，PureScript 最适合用于开发 Web 应用程序和服务器端应用程序。
PureScript 支持类型推断，与其他语言相比，需要明显类型注释要少得多。
Swift
Swift是一种由苹果公司开发的通用编译编程语言，最早的设想是替代上一代编程语言Objective-C ，过程中结合了Objective-C、Rust、Ruby 和 Python等语言的编程思想。目前Swift用于开发苹果自己的手机、服务器、台式机上的应用软件。
程序语言
Go
Go语言是由谷歌公司创造的类似C风格的语言。Go 比 C++ 或 Java 更简洁，比 Ruby 或 Python 更安全。
一些缺点： 编码要求严格。比如，不能混用符号和无符号整数。还有一个明显的遗漏，Go语言没有泛型和继承。
但Go语言的优势同样明显，简单且易于使用。Go语言擅长于网络和多线程方面的编程。
面向对象语言
DART
Dart同样来自谷歌公司具有C语言风格。Dart可以轻松编写JavaScript、Java for Android、本地机器代码或独立的 Dart 虚拟机。它还可以运行后端代码。
Dart 非常适合使用事件驱动代码构建用户界面。根据Dart 团队成员的说法，Dart的优势：可选的静态类型、最小的编译时错误和强大的内置编辑器。
Pony
Pony是一种基于无数据竞争类型和垃圾收集的语言，并使用 actor 模型以及称为引用功能的东西。
你可以把 Pony 想象成某种“Rust 遇上 Erlang”的复合体，没有锁，高并发是其主要优点。
Pony 的缺点是 API 稳定性低、很少有高质量的第三方库和有限的本地工具。
TypeScript
TypeScript是一个基于 JavaScript 静态类型定义构建，并由微软维护且开源编程语言。Visual Studio Code 或Visual Studio 是推荐的IDE编辑器，微软大厂的用户体验和错误检查也不用怀疑。
复合编程语言
Hack
Hack是一种作为 PHP 方言的 HipHop 虚拟机的编程语言。于 2014 年由Facebook创建，允许程序员同时使用静态和动态类型（也称为渐进类型），这为编码提供了灵活性。
Julia
Julia是一种高级通用编程语言，用于计算科学和数值分析。Julia 以动态类型和可重现的高性能特性而闻名。
Julia 在数据可视化和机器学习等方面都有大量用途。事实上，它被英国保险公司 Aviva 用于风险计算，纽约联邦储备银行用于金融建模，甚至气候建模联盟用于气候变化建模。它拥有Fortran、C++、R、Java、C 、Python等的接口，这使其成为最受追捧的新语言之一。
Kotlin
Kotlin是运行在 Java 虚拟机中的更快、更流畅的 Java 版本。它现在是Android 开发的首选语言。根据 Android 开发者网站显示，程序员正转而采用 Kotlin，因为该语言的样板代码更少，空指针异常更少，并且与 Java 有互操作性。
Kotlin 可用于在 iOS 和 Android 上运行的应用程序、不使用额外运行时或虚拟机。
Nim
Nim是一种优先考虑可读性的静态类型语言。通过结合多种语言的特性，Nim 为程序员提供了速度和易用性。
它带有 JavaScript 后端、分散的包管理、自动内存管理、C 和 C++ 库的绑定以及用于调试的回溯。作为一种语言，Nim 是有限的，但它包含一组元编程功能，如泛型、模板和宏，因此开发人员可以在避免冗长代码的同时以不同的风格工作。
OCaml作为此列表中较旧的语言，OCaml是一种多范式语言——既有函数式、命令式和类型安全，也具有面向对象功能。
OCaml 的一些优势：定义数据类型很容易。默认情况下，所有变量都是不可变的。API 稳定，具有良好的库向后兼容性。该语言还为独立应用程序提供自动内存管理和单独编译。
Reason
如果比JavaScript 更快、更简单且类型安全会怎样？
这就是创建Reason的 Facebook 开发者想要回答的问题。不过，他并没有从头开始构建一种新语言，而是采用了 OCaml，并将其调整为类似于 JavaScript。
Reason使用项目 BucketScript编译为 JavaScript，并且可以访问 80% 的 JavaScript 工具和生态系统。它还可以编译为准系统、iOS、Android 和微控制器。
Red
Red是一种最初旨在克服 Rebol 语言限制的编程语言。Red 于 2011 年推出，受 Rebol、Lua 和 Scala 等语言的影响，对高级和低级编程都很有用。
该语言可用于开发从高级 GUI 到低级操作系统的所有方面。Red 拥有人性化的语法、低内存占用和垃圾收集等优点。
Rust
Rust解决了一些与 Go 相同的问题，如系统级别的线程和进程安全，，但Rust 更像 C 风格的语法
但Rust语言的缺点：静态类型和缺乏垃圾收集
Rust可直接访问内存意味着程序员可以编写低级代码，如操作系统内核。Rust 也非常适合嵌入式设备、网络服务和命令行编写。
Kotlin的优势很明显，因为JVM是宇宙第一运行时
Kotlin的劣势也非常明显，就是基于宇宙第一运行时。JVM吃内存的问题这辈子感觉是没希望解决了
目前，计算机语言的总数总计达9000种。但是，其中只有50种编程语言是较为流行的。今天，小编就给大家盘点一下2020年最受欢迎的编程语言。
1、Python
Python是目前开发人员比较常用的编程语言之一。有很多大企业都选择Python进行产品开发，比如：NASA，Google，Instagram，Spotify，Uber，Netflix等，而且很奇妙的一点是，无论是初学者还是专业人员，都很喜欢Python，由此可见它的受欢迎程度。如果你是大数据职业的技术专业人员，那么Python可以说是最合适的。
2、R
R是一种可以轻松连接到数据库管理系统（DBMS）的语言，但其实它本身不提供任何电子表格数据视图。不过，R语言最大的特点是为数据表示提供了多种图形功能，例如条形图，饼图，时间序列，点图，3D表面，图像图，地图，散点图等。R语言可以帮助用户很容易地自定义图形，并开发有特点的新奇的图形。
3、Java
Java出现之后，它就以其在数据科学技术中的多功能性而广为人知。而且，用于处理和存储大数据应用程序的开源框架Hadoop HDFS已完全用Java编写。Java还被广泛用于构建各种ETL应用程序，例如Apache，Apache Kafka和Apache Camel等，这些应用程序用于运行数据提取，数据转换以及在大数据环境中的加载。
4、Scala
Scala是一种开源高级编程语言，目前主要是金融行业在着重使用。Scala的一个最大的特点，是能够保证其在大数据可用性方面的重要性。总之，Apache Spark是用于大数据应用程序的集群计算框架，大数据从业者一般都需要具备Scala相关的丰富的知识和操作经验。
5、Kotlin
Kotlin是一款很不错的的Android应用开发语言，可以在JVM上运行，在一定程度上克服了Java的某些缺点，提供许多现代功能。Kotlin的主要特点在于它的语言设计，它提供了优秀的指针、安全性、类型推断等功能。现有Java库庞大的生态系统都可供Kotlin使用，因为Kotlin也运行在JVM中。
总体说, 对于大部分普通程序员, 可算比较完美了(综合考量语言自身\平台及库\IDE等工具\背后支持公司). 目前主要风格还是偏OO, 如果可以再偏FP一点会更好. 像是一个Scala与C#的合体, 比Scala简单得多; 比C#更干净, 因为没有历史包袱. 我多多少少写过代码的语言超过10种, Kotlin与F#是感觉最舒适的, 另外Kotlin是少有的和Go/Python一样写代码时不需要程序员动脑的语言, 很适合开发普通项目.与Scala有根本设计思路上的不同, Scala是一切尽量自己来, 实在不够用了再用java的; Kotlin是尽量用Java的, 不够用了再扩展, 尤其体现在二者的容器库上, 导致Kotlin的学习曲线极低, 这对于我这样的普通码农是一大优点, 而高手们可能更看重Scala强大的容器库和完备的FP功能, 所以个人估计它很难吸引Scala程序员.比较喜欢的几点:既有FP的everything is an expression风格, 可以直接用if等表达式赋值, 又可以用label控制return, 使得return可以用于lambda中, 进而在lambda中使用卫述句直接return, 减少巢式嵌套, 这点做的比Scala漂亮. 我个人非常喜欢使用卫述句, 一直为不能在FP语言中用卫述句而感到遗憾, Kotlin很好的解决了这个问题.可以像F#/Go一样直接在package内写函数, 不需要所有东西都放进一个object/class之类的, 代码看着很舒服. 说起来, Kotlin的设计定位有点像jvm下的Go, 追求简洁实用, 但比Go好用(主要在泛型/FP两方面). 目前虽然没有自己的actor库, 但可以用akka, 这点就显示出jvm的多语言群殴优势了.目前编译器和插件还不如Scala的成熟, idea下曾碰到过IDE内部错误之类的问题, 自动完成也经常出问题, 不过实际影响很小. 另外比较意外的是没有union而一定要用data class或Pair/Triple, 也没有type alias, 原来代码里用的太多, 改起来有点烦, 但想一想Scala的编译时间和类型系统, 忍了吧.估计会先在Android上开始流行, 慢慢扩展到server端. 但要达到Scala目前的流行程度, 短期内是不可能了, 希望今年能出1.0.以后有新感想了再说2015.06.01补充一段其设计者对于集合库的说明：“Scala 的经验表明，有自己的集合库 — 总的来说很不错 — 可以带来明显优势，但在需要与Java代码互操作时也存在缺点：所有数据都需要转换/包装，因此代码有点难看，性能有时会大打折扣。鉴于此，Kotlin采用了另一种策略：我们使用简单的Java集合，但通过提取“虚拟”只读接口并引入声明位置变量使它们有不俗的表现。这样，既可兼顾兼容性，又可得到一个好用的库。Kotlin 依赖于Java库，但可以增强Java库的功能，主要是通过扩展，但有时使用编译器支持的技术（集合/数组/基元）,这在保证兼容性的同时保持了语言的纯净.” -- Andrey