函数式语言
创新互联建站"三网合一"的企业建站思路。企业可建设拥有电脑版、微信版、手机版的企业网站。实现跨屏营销，产品发布一步更新，电脑网络+移动网络一网打尽，满足企业的营销需求！创新互联建站具备承接各种类型的网站设计制作、成都网站设计项目的能力。经过10余年的努力的开拓，为不同行业的企事业单位提供了优质的服务，并获得了客户的一致好评。
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 也非常适合嵌入式设备、网络服务和命令行编写。
安卓App用Java和Kotlin作为开发语言。
Google IO 2017宣布了 Kotlin 会成为 Android 官方开发语言。在Kotlin 语言出现之前，几乎所有的安卓应用程序都是使用Java语言编写的。
扩展资料
Google在今年I/O2017开发者大会中宣布，正式把Kotlin纳入Android程序的一级开发语言（First-classlanguage），并与开发团队JetBrains合组非牟利基金会推广Kotlin。据多间外国媒体报导，这是GoogleI/O开发者大会中引来最多欢呼声的消息。
Kotlin将于AndroidStudio3.0得到支持，JetBrians指开发者不用再安装额外元件或担心兼容问题。Kotlin能与Java互通，但拥有Java不支持的功能。Google相信利用Kotlin可使Android程序开发更快捷有趣，但他们补充，此举绝非取代Java和C++的官方支持。
一 · 编程语言及其主要用途
常见的是 C Family （C系列语言），比如：C、Cpp（C++）、C Sharp（C#）、Java、Python、R、JavaScript、Objective-C、Swift、Go、Kotlin 等等。然后有很多脚本语言，Python 也在其内，比如：Ruby、Perl 等。
光说名字意义不大，所以举几个例子。
C 常用于单片机开发和一些接底层硬件的操作使用；
C++ 是 C 的超集，因为直接支持了面向对象所以更多用于游戏、图像开发方面；
C# 是微软为了把 Java 人才引入 Windows 平台设计的语言，和 Java 语法几乎一致，目前多用于服务器后端开发和 Unity 3D 的游戏开发，也有人会用这个做很多 windows 平台下的软件插件甚至常说的软件外挂（外挂其实严格说就是插件，但大陆地区已经有更深层的意义了，所以两者并列举例出来）；
Java 是目前最流行的服务器后端开发语言和 Android 开发语言，因为有大量框架和工具包的支持，Java 语言的运行速度已经不能阻挡 Java 成为服务器开发的首选语言。至于是什么服务器后端开发，题主学了 JavaEE 自然便知，通俗举例来说可以 yy 一下：我写了这篇答案，答案存在哪里呢？肯定是在知乎那边！至于怎么存、怎么取，都是后端开发需要设计的问题了。Java 也曾一度是 Android 的首选语言（虽然目前 Kotlin 的影响很多人转战 Kotlin 去了），负责 Android 顶层的 APP 层开发。
Python 是目前机器学习最流行的语言，也可以做服务器开发，有堪比 Java Spring 框架的 Django 作为支持。更多的人会使用 Python 作为机器学习、深度学习的首选语言，因为 Python 语法的简洁和类似数学式表达的规范，当然还是因为包多，很多学者科学家都会使用 Python 做科学研究。
R 语言作用类似 Python，常用于工程方面。还有一门语言是 Matlab，其实称之为语言是不恰当的，因为这是一个软件，脱离了软件就无法生存，远不是编译器那么简单的结构了。MatLab 汇集了太多的工具，便于科学从业人员快速分析数据，写出优良的程序，这种程序语言通常也称之为 Matlab；
JavaScript 是前端开发首选语言，在使用 HTML + CSS 模式绘制出页面图像后，通常都会使用 JS （JavaScript）来写交互、动画、请求、视图内容更新这些操作，这门语言是函数式也是面向对象的语言，灵活度极高，但有了 C Family 任何一门语言的基础就很容易学；
Objective-C 是苹果（Apple.Inc）开发的一门为 mac 和 iPhone 设备开发程序的语言，和 C++ 类似，也是 C 的超集，也是面向对象。但由于其太过于面向对象了（基于消息的传递数据机制）导致很不 C Family，所以对 C 系列人员上手难度偏大，比较冷门。但后来 iPhone 的崛起，导致该语言又一度热议起来；
Swift 是苹果最新发明的一门函数式编程语言，和 OC（Objective-C）的目的一样，为苹果设备而生，但苹果也提倡用该语言做工程方面的扩展，比如苹果会在宣传的时候拿它和 Python 对比。为了兼容 OC 的所有工具包，避免该语言的冷门，创造了 bridge 作为两个语言直接的桥梁，解决了语言兼容问题；
Go 语言是 Google 开发的一门函数式语言，特点是能解决大规模的高并发问题，天然支持多线程使得该语言一出来就广受关注。目前多用于机器学习和一些 Google 自己产品的开发以及后端服务器开发；
Kotlin 是大家常用的 IDEA 开发工具的开发商 Jetbrains 发明的函数式语言，这门语言是基于 JVM 进行设计的，比较完美地兼容了 Java 语言，所以前后端开发都可以使用该语言替代 Java，不确切统计是可以用比 Java 少一半的代码量完成同样的功能并拥有同样的运行效率。类似的 JVM 语言也有 Scale，但比较元老了，兼容力度不大所以也开始广受诟病；
Ruby 和 Perl 这些是典型的脚本语言，Ruby 多用于各个语言的粘合剂，Perl 是 Linux 下最常用的脚本语言，文本处理能力极强。
kotlin是一门现代的编程语言呢，这门编程语言的设计符合很多现代编程语言的思维。简化编程语言，提升开发效率，跨平台开发，空安全，类型转换，协程，函数式编程，兼容庞大的资源库，工具友好等等。
这些特点，是新一代的编程语言的追求的特色。比如说Go，Swift等。kotlin是这一轮新的编程语言的大潮中，综合实力非常突出的佼佼者。
可用于开发跨平台的应用。kotlin是一门真正全栈式的编程语言，可以开发web，Socket，安卓，js，NativeApp等。投资这门编程语言的收益率，太高了。
然后，它是一门静态编译型的编程语言。在很多专业的评测当中，性能基本跟原生Java相当。但是，某些项目会更省内存。使用Kotlin开发安卓，app的体积大约会增加1MB。
最后，与java和android 100%可互相操作。由于跟java一样，基于JVM引擎生成字节码，所以kotlin跟java和android，那是100%兼容的。说白一点，kotlin可以拿所有java的资源来用，干所有java能干的活，然后能比java干的更好。
