Nim是一个指令式编程、通用编程语言、多重编程范式、静态类型、编译语言的编程语言，由Andreas Rumpf设计和开发，设计目标是高效、富有表现力以及优雅。Nim支持元编程、函数式编程、讯息传递、过程式编程以及面向对象程序设计编程。
是Google开发的一种静态类型强类型、编译语言、并行计算，并具有垃圾回收功能的编程语言。
类型推论、类型推导、型别推断、或隐含类型，是指编程语言中在编译期自动推导出值的数据类型的能力，它是一些强静态类型语言的特性。一般而言，函数式编程语言具有此特性。自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略类型标注的同时仍然允许类型检查。
是Google开发的一种静态类型强类型、编译语言、并行计算，并具有垃圾回收功能的编程语言。
Oberon是一种通用编程语言，最初由尼克劳斯·维尔特在1987年推出，是维尔特风格的类ALGOL语言中的最后一员。Oberon是增进Pascal语言的直接后继者Modula-2的能力，并减少其复杂度的集中努力的结果。它的原理性新特征是记录类型的类型扩展的概念。它允许新数据类型构造在现存数据类型之上并关联于它们，脱离了严格的静态类型数据的教条。Oberon是在瑞士的苏黎世联邦理工学院作为Oberon操作系统实现的一部分而开发的。这个名字来自天王星的卫星天卫四。
Kotlin是一种在Java虚拟机上执行的静态类型编程语言，它也可以被编译成为JavaScript源代码。它主要是由俄罗斯圣彼得堡的JetBrains开发团队所发展出来的程式语言，其名称来自于圣彼得堡附近的科特林岛。2012年1月，著名期刊《Dr. Dobb's Journal》中Kotlin被认定为该月的最佳语言。虽然与Java语法并不相容，但在JVM环境中Kotlin被设计成可以和Java程式码相互运作，并可以重复使用如Java集合框架等的现有Java引用的函数库。Hathibelagal写道，“如果你正在为Android开发寻找一种替代编程语言，那么应该试下Kotlin。它很容易在Android项目中替代Java或者同Java一起使用。”
是Google开发的一种静态类型强类型、编译语言、并行计算，并具有垃圾回收功能的编程语言。
是Google开发的一种静态类型强类型、编译语言、并行计算，并具有垃圾回收功能的编程语言。
是Google开发的一种静态类型强类型、编译语言、并行计算，并具有垃圾回收功能的编程语言。
类型推论、类型推导、型别推断、或隐含类型，是指编程语言中在编译期自动推导出值的数据类型的能力，它是一些强静态类型语言的特性。一般而言，函数式编程语言具有此特性。自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略类型标注的同时仍然允许类型检查。
Mini wiki
