通用编程语言 - The mini wiki

Ruby 是一种面向对象的程序设计、指令式编程、函数式、动态语言的通用编程语言。在20世纪90年代中期由日本电脑科学家松本行弘设计并开发。

ML，是一个函数式编程语言、指令式编程语言的通用编程语言的编程语言，它著称于使用了多态的类型推论。ML能自动的指定多数表达式的数据类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。

Standard ML，是一个函数式编程、指令式编程、模块化编程的通用编程语言的编程语言，具有类型系统和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。

Objective-C是一种通用编程语言、高级语言、面向对象程序设计的编程语言。它扩展了标准的ANSI C编程语言，将Smalltalk式的消息传递机制加入到ANSI C中。目前主要支持的编译器有GCC和Clang。

Zig是一个指令式编程、通用编程语言、类型系统、编译语言的系统程式语言。以“强健性、最佳性以及可维护性”为核心理念。它支援编译时泛型与反射、交叉编译以及手动内存管理。目标为改进 C语言，同时参考从 Rust 和其他语言。Zig 有许多低阶程式设计的功能，例如紧致结构、任意大小的整数以及多指针型别。

Python，是一种广泛使用的解释型、高级和通用编程语言的编程语言。Python支持多种编程范型，包括函数式、指令式、反射式、结构化和面向对象编程。它拥有类型系统和垃圾回收功能，能够自动管理内存使用，并且其本身拥有一个巨大而广泛的标准库。它的语言结构以及面向对象程序设计的方法旨在帮助程序员为小型的和大型的项目编写清晰的、合乎逻辑的代码。

面向语言的程序设计，指一种程序设计范型，将有相同状态的块建造成对象、模块和构件，不再用通用编程语言解决问题，程序员首先为问题编写一种或多种领域特定语言，然后再在这些语言中解决问题。这个概念具体描述于Martin Ward的1994年的题为《面向语言编程》的论文中。

Ruby 是一种面向对象的程序设计、指令式编程、函数式、动态语言的通用编程语言。在20世纪90年代中期由日本电脑科学家松本行弘设计并开发。