编程语言

编程语言是一种形式语言包括一组指令产生各种输出。编程语言用于计算机编程中以实现算法。 大多数编程语言包括指令的计算机。有些可编程机器使用一组特定的指令，而不是通用的编程语言。自1800年代初期以来，就一直使用程序来控制诸如提花织机，音乐盒和弹奏钢琴之类的机器的行为。这些机器的程序（例如，演奏者的钢琴卷轴）对于不同的输入或条件没有产生不同的行为。 已经创建了成千上万种不同的编程语言，并且每年都在创建…

已经创建了成千上万种不同的编程语言，并且每年都在创建更多的编程语言。许多编程语言是以命令式形式（即，作为要执行的一系列操作）编写的，而其他语言则使用声明式形式（即，指定了所需的结果，而不是如何实现）。

编程语言的描述通常分为语法（形式）和语义（含义）两个部分。某些语言由规范文档定义（例如，C编程语言由ISO标准指定），而其他语言（例如Perl）则具有占主导地位的实现，被视为参考。某些语言既具有标准定义的基本语言，又具有从主导实现中进行的扩展的通用性。

许多编程语言都是从头开始设计的，为了满足新的需求而进行了更改，并与其他语言结合使用。许多最终都被废弃了。尽管已经尝试设计一种可以满足所有目的的“通用”编程语言，但是所有这些语言都未能被普遍接受以填补这一角色。对多种编程语言的需求源于使用语言的上下文的多样性：

编程语言规范可以采取几种形式，包括以下几种：

直接在硬件上执行的程序通常比在软件中解释的程序运行快得多。

Factor（编程语言）是一种免费的编程语言，由SlavaPestov设计，自2003年开始开发。它采用了Forth、Lisp和Smalltalk-80的概念。它旨在作为Joy的实际继承者，并且可以在BSD许可下获得实现。 所有函数都从堆栈中读取它们的参数，将它们的结果压入堆栈，并被称为字。程序是压入堆栈的对象和压入堆栈的单词的一系列词典。 首先，将2和3压入堆栈。+从堆栈中取出两个数字并将两者的...

GOAL是一种用于认知代理编程的代理编程语言。GOAL代理从他们的信念和目标中得出他们的行动选择。该语言提供了设计和实现认知代理的基本构件，其编程结构允许并促进对代理的信念和目标的操作，并构造其决策。该语言提供了一个基于常识或实际推理的直观的编程框架。 GOAL的主要特点包括陈述性信念。代理人使用一种符号化的逻辑语言来表示他们所拥有的信息，以及他们为了实现目标而采取行动的关于环境的信念或知识。这种...

SARL编程语言是一种模块化的面向代理的编程语言。它旨在为处理并发性、分布性、交互性、分散性、反应性、自主性和动态重新配置提供基本抽象。SARL是独立于平台的，与代理的架构无关。它在语言层面上直接提供了一套面向代理的第一类抽象（见概念部分）。然而，它支持其他面向代理的元模型所提供的概念的整合和映射。SARL本身利用这种扩展机制来定义自己的扩展（组织、事件驱动等）。SARL编程语言的一个重要特征是它...