概率编程（PP：Probabilistic programming）是一种编程范型，在其中指定了概率模型并自动进行这些模型的推断。它代表了统一概率模型和传统通用编程的一种尝试，使前者更加容易并更广泛的应用。它可以用于建立系统帮助在面对不确定时作出决定。 用于概率编程的编程语言被称为“概率编程语言”（PPL）。...

编程（英语：Inductive logic programming） ，使用逻辑式编程语言比如Prolog，和其他逻辑式表述比如描述逻辑。尽管它们已经很突出了，但其他编程语言范式也有使用，比如约束编程或概率编程 。 自动编程 遗传编程 归纳推理 归纳逻辑编程 机器学习 程序合成...

图来解决了这种问题，允许任意代码都是可求微分的。 可微分编程已经应用于多个领域，比如在机器人学中结合深度学习和物理引擎，用可微分密度泛函理论解决电子结构（英语：Electronic structure）问题，可微分光线追踪，图像处理和概率编程。 可微函数 机器学习 Baydin, Atilim Gunes;...

在90年代，人们普遍认为为遗传编程发展一个理论十分困难，GP在各种搜索技术中也处于劣势。2000年后，GP的理论取得重大发展，建立确切的GP概率模型和马尔可夫链模型已成为可能。遗传编程比遗传算法适用的范围更广（实际上包含了遗传算法） 除了生成计算机程序，遗传编程也被用与产生可发展的硬件。 Juergen...

编程范型、编程范式或程式設計法（英語：Programming paradigm），是指软件工程中的一类典型的编程风格。常见的编程范型有：函数式编程、指令式編程、过程式编程、面向对象编程等等。 编程范型提供并决定了程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，由...

函数式编程，或称函数程序设计、泛函编程（英語：Functional programming），是一种编程范型，它将电脑运算视为函数运算，并且避免使用程式状态（英语：State (computer science)）以及可變物件。 在函数式编程中，函数是头等对象即头等函数，这意味着一个函数，既可以作为...

同步式（synchronous）编程，也叫做同步式响应式编程或缩写为SRP，是为响应式系统编程而优化的一种计算机编程范型。同步式编程语言，是支持同步式编程范型的计算机编程语言。 计算机系统可以归入三大类别： 变换式系统，接受输入、对其进行处理、递送出输出、并终止它们的执行，典型例子是编译器；...

面向堆栈编程，或基于堆栈编程，是依赖于堆栈机器模型来传递参数的编程范型。一些编程语言适合这种描述，著名的有Forth、RPL（英语：RPL (programming language)）、 PostScript、BibTeX风格设计语言和很多汇编语言。 面向堆栈语言运算于一个或多个堆栈之上，每个都充...

过程式程序设计（英語：Procedural programming），又稱过程化編程，一種編程典範，衍生自指令式編程，有時會被視為是同義語。主要要採取过程调用或函数调用的方式來進行流程控制。流程則由包涵一系列運算步驟的过程（Procedures），例程（routines），子程序（subroutines）,...

基于原型编程（英語：prototype-based programming）或称为原型程序设计、原型编程，是面向对象编程的一种风格和方式。在原型编程中，行为重用（在基于类的语言通常称为继承），是通过复制已经存在的原型对象的过程实现的。这个模型一般被认为是无类的、面向原型、或者是基于实例的编程。 原型编程...

宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 常見的宣告式語言包括：資料庫查詢語言如SQL的查询子集和XQuery（英语：XQuery），正则表达式...