用户:LynChern/Sandbox

添加新语言时，需要以某种方式对其进行分类，以便更容易找到符合特定标准的语言。

以下是在对语言进行分类时要考虑的特征列表。（关于如何应用分类的信息，请参阅MediaWiki 文档的相关页面，但总结起来就是在页面底部写上 [[Category:分类名称]]。）

（如果下方列出的分类未链接，则表示该属性被认为不值得分类。）

请注意，站点政策规定，新分类应在Esolang talk:分类中讨论后再创建。

语言

• 分类:语言（这应出现在所有语言中，与例如分类:计算模型相反）
  • 分类:元语言（例如 ALPACA）
  • 分类:高尔夫语言
  • 分类:OISC
  • 分类:玩笑语言
  • 分类:特色语言（见Esolang:特色语言）
  • 分类:标记语言

范式

• 命令式范式
• 分类:函数式范式
• 分类:字符串重写范式
• 分类:面向对象范式
  • 基于类的范式
  • 分类:基于原型的范式
• 分类:声明式范式
• 分类:细胞自动机
• 分类:粒子自动机
• 分类:图灵焦油坑 [原文如此]

创建年份

这些分类说明语言是何时创建或首次发布的。见分类:年份。

确定性

• 确定性的
• 分类:非确定性的
  • 分类:概率性的

内存

• 基于变量、动态内存等
• 分类:基于单元格的
• 分类:基于堆栈的
• 分类:基于队列的
• 分类:基于双端队列的
• 分类:基于树的
• 分类:基于矩阵的

编写程序的可用性

• 可用的
• 分类:无法用于编程的
• 分类:可用性未知
• 分类:可用性未设置

量子性

• 非量子的
• 分类:量子计算

并发性

• 非并发的
• 分类:并发编程

可逆性

• 不可逆的
• 分类:可逆计算

计算类别

对应于乔姆斯基层级的分类已被用作包容性分类，除了图灵完全类别。这意味着该类别是可以包容语言所有程序的最小计算模型。这对于图灵完全是相反的，因此图灵完全语言必须能够包容所有图灵机。

• 分类:图灵完全 - 可以模拟任何图灵机的语言
  • 分类:图灵焦油坑
• 分类:线性有界自动机 - 可以由线性有界自动机模拟的语言
• 分类:下推自动机 - 可以由下推自动机模拟的语言
• 分类:有限状态自动机 - 可以由有限状态机模拟的语言

其他分类：

• 分类:完全 - 完全的语言，其中所有程序都停止
• 分类:不可计算 - 不可计算的语言，无法由图灵机模拟
• 分类:未知计算类别

输入/输出能力

• 有IO
• 分类:无IO
• 分类:仅输出
• 分类:图形输出 （这个讨论过吗？）
• 分类:音频输出 （这个讨论过吗？）

衍生语言

• 非衍生语言或不在此列表中
• 分类:Brainfuck 衍生语言
  • 分类:Brainfuck 等价语言
• 分类:Aubergine 衍生语言 （这个讨论过吗？）

维度

• 分类:零维
• 一维
• 分类:多维语言
  • 分类:二维语言

已实现

• 分类:已实现
• 分类:未实现

源代码格式

• 基于文本
  • 分类:二进制
• 分类:基于模式
• 分类:CJK（中文/日文/韩文字符）
• 分类:非文本
  • 分类:隐写术（见隐写术）
• 分类:伪自然（程序类似于自然语言（即人类使用的语言）中的文本）

抽象级别

• 分类:低级
• 分类:高级

自修改

• 不自修改
• 分类:自修改

主题

• 无主题
• 分类:主题性

结构

• 扁平
• 分类:嵌套
• 分类:扁平嵌套

对代码的依赖

• 代码型深奥语言
• 分类:无代码深奥语言

杂项

• 分类:人物 用于深奥程序员和其他知名人士
• 分类:概念 用于无限性、计算类别等
• 分类:证明 用于证明或尝试证明某事的页面
• 分类:程序形式 用于通常在深奥编程语言中实现的程序类别
• 分类:编程技术 用于讨论如何在深奥语言中编程的页面
• 分类:数据类型和结构 用于数据类型和结构
• 分类:示例 用于主要包含代码示例的文章
• 分类:实现 用于深奥编程语言的实现以及常规语言的深奥实现
• 分类:编程游戏 用于基于编程或与编程相关的游戏，或与之相关的文章
• 分类:深奥子集 用于作为其他语言（包括严肃语言和深奥语言）子集的深奥语言

另见

• 特殊:分类 -- 由 MediaWiki 软件生成的、本维基实际使用的所有分类列表
• 特殊:未分类页面 -- 自动生成的、缺少分类的页面列表