參數 (程式設計)
更準確地說，參數模式或參數共有三種類型：輸入參數（入參）、輸出參數（出參）、輸入輸出參數（出入參），這些參數往往使用codice_52、codice_53、codice_54來進行表示。輸入引數輸入引數（針對輸入參數的引數）必須是一個值，例如已經被初始化了的變數或常值，而且不能重新定義獲分配它。輸出引數必須是可分配變數，但不必初始化而且任何現有值均不可存取輸入值，執行函數後必須分配一個值。輸入輸出引數必須是已初始化了的可分配變數，並且可以選擇給其分配一個值。確切的要求和執行情況因語言而異，例如在Ada 83中，即使分配後也只能分配輸出參數（在Ada 95中刪除了該參數，以消除對輔助累加器變量的需要）。這有些類似於值的概念，也就是左值（，具有值）、右值（，可分配）以及左右值（，具有值且可分配），不過這些術語在C語言中有特殊含意。
.NET Framework泛型
泛型类可以拥有至少一个泛型类型参数，泛型类型参数可以代替泛型类的字段、属性、方法的参数和返回值、事件的参数和返回值、构造函数的参数的类型，也可作为内部类和基类以及实现接口的泛型类型参数。
Visual C++名字修饰
这里所说的类型，包括数据类型、函数指针的类型、函数模板、类模板等不需要分配内存空间的一些概念属性。类型是数据对象与函数这两类实体的属性。
右值引用
codice_10在调用时，应当显示给出该函数模板参数类型。其用途是：如果函数forward的实参的数据类型是左值引用，则返回类型为左值引用；如果函数forward的实参的数据类型是右值引用，则返回类型为右值引用，返回值的分类属于临终值，从而把参数的信息完整地传递给下一级被调用的函数。从上述codice_10的定义实现来看，实参必须是个为左值的引用对象，但是实参的数据类型有两种可能：
C++11
C++98支持类模板的模板参数默认值，不支持函数模板的模板参数默认值。C++11可以支持函数模板的模板参数默认值。类模板的模板参数默认值需要从右到左依次出现；函数模板的默认模板参数没有此约束。
多态 (计算机科学)
参数多态的概念适用于数据类型和函数二者。可以被求值或应用于不同类型的值之上的函数叫做“多态函数”。看起来具有泛化类型性质的数据类型（比如具有任意类型的元素的列表）被指认为“多态数据类型”，就像根据它来做特殊化的泛化类型那样。
参数
參數（parameter）可以指：
参数多态
非直谓多态（Impredicative polymorphism），也称“头等多态”（first-class polymorphism）是最强有力的参数多态形式。非直谓是指自引用（self-referential），类型论中允许实例化类型formula_1的变量为任何类型，包括参数化类型，如formula_1自身。一个例子是系统F在类型变量"X"下，类型formula_6，其中"X"可以为"T"自身。
参数多态
1985年与提出类型参数允许限定（bounds）的益处。限定量化（bounded quantification）也称作“限定多态”（bounded polymorphism）或“约束泛型”（constrained genericity）。许多操作要求数据类型的某些知识，但仍可以把类型参数化。例如，判断一项是否出现在列表中，需要比较项的相等。在Standard ML中，类型参数"’’a"被限定有相等判断可用，因此具有如下类型的函数："’’a" × "’’a" list → bool且"’’a"可译为任何定义了任何定义了相等判断的类形。在Haskell中，限定是通过要求类型属于某个类型类，因此同样的函数在Haskell中可写为：formula_7。大多数支持参数多态的面向对象语言可以把参数限定为给定类型的子类型。(见子类型多态)
Thiele/Small参数
Thiele/Small是1970年代 A.N.Thiele和R.H.Small首次提出了直接辐射式扬声器的几个独立的小信号参数，这些小信号参数用于表征扬声器的低频性能，广泛用于扬声器系统（音箱）生产和设计过程。国际电工委员会（IEC）将其称为Thiele-Small参数。
Sass
SassScript支持四种数据类型：变量可以用作函数的参数或返回值。在解释过程中，解释器会把变量的值写入最终的CSS文件中。
Void (编程语言)
在参数表中的 void 代表该函数没有参数。
可变参数模板
另一种方法使用重载函数的递归的终结版（"termination versions"）函数。这更为通用，但要求更多努力写更多代码。一个函数要求某种类型的实参与参数包。另一个函数没有参数。如下例： int func() {} // termination version
共价键
键参数，是可以用於描述共价键性质的物理量的統稱，參數詳情可見於下列条目：
鸭子类型
鸭子类型通常得益于"不"测试方法和函数中参数的类型，而是依赖文档、清晰的代码和测试来确保正确使用。
可变参数模板
如果在一个参数包展开中同时出现了两个参数包的名字，则二者在一起同时展开，且应该具有相同长度。这可能出现在类模板带有一个参数包，它的嵌套的类模板或成员函数模板带有另一个参数包。 可变参数模板可递归使用。可变模板参数自身并不可直接用于函数或类的实现。例如，printf的C++11可变参数的替换版本实现：
二端口网络
非互易网络的一个典型例子是工作在线性（小信号）条件下的放大器，而互易网络的例子是匹配衰减器。在以下的参数中，按一般约定假设输入和输出分别连接到端口1和端口2。系统额定阻抗、频率以及其他会影响装置的因素也都一定要事先精确规定。 散射传输参数又称T参数，是从入射波和反射波的角度来定义的参数。T参数与S参数的不同之处，在於T参数是将端口1的信号波与端口2的信号波关联起来，而S参数是将反射波与入射波关联起来。从这一方面来说，T参数与ABCD参数充当了相同的角色，能通过将级联网络组成部分的T参数进行矩阵相乘得到级联组合网络的T参数。同ABCD参数一样，T参数也可称为传输参数。T参数不像S参数一样容易直接测出，但是可以通过S参数非常容易地转换得出。
超几何函数
有时能表示成参数"a", "b", "c"是1, 1/2, 1/3, ... 或 0 的超几何函数之比的反函数。例如，若
线性变参数控制
參數相依系統是線性系統，其狀態空間描述是時變參數的已知函數。這些參數隨著時間的變化無法事先預測，但假設是在實時系統中可量測的數據。控制器受限成為一線性系統，其狀態空間的進入點和參數的歷史之間有因果关系。有三種不同的設計:线性变参数控制的方法。
可变参数模板
如果args...包含至少一个实参，则将调用第二个版本的函数；如果参数包为空将调用第一个“终结”版的函数。
.NET Framework泛型
泛型方法可以拥有至少一个泛型类型参数，泛型类型参数可以作为方法的参数或返回值的类型。泛型方法不用明确指定各泛型类型参数，可由上下文自动推断，如果上下文无法自动推断，则必须明确指定。
曲线的微分几何
称为一条 formula_7 类参数曲线或曲线 formula_8 的一个 formula_7 参数化，formula_5 称为曲线 formula_8 的参数，formula_16 称为曲线的像。将参数曲线 formula_8 和它的像 formula_16 区别开来是非常重要的，因为一个给定的formula_19的子集可以是许多不同的参数曲线的像。
模板的模板参数
模板的模板参数（template template parameter）是指C++语言程序设计中，一个模板的参数是模板类型。只有类模板允许其模板参数是模板类型；函数模板不允许具有这样的模板参数（此处有争议）。
UTM参数
UTM参数共有五种，使用中可以多项组合进行使用：
格式化字符串
如果函数参数太少，不能匹配所有的格式参数说明符，或者函数参数的类型不匹配，将导致未定义（undefined）行为。过多的函数参数被忽略。许多时候，未定义的行为将导致。
参数多态
参数多态与特设多态相对。特设多态是指一个多态函数有多个不同的实现，依赖于其实参而调用相应版本的函数。因此，特设多态仅支持有限数量的不同类型。
YAML
- step: 由於自動判定資料形態的功能，嚴格型態（也就是使用者有宣告的資料形態）很難在大部分的YAML文件中看到。資料型態可以被區分成三大類：原碼（core），定義（defined），使用者定義（user-defined）。原碼可以自動被解析器分析（例如：浮點數，整數，字串，清單，映射，...）。有一些進階的資料形態──例如位元資料──在YAML中有被「定義」，但不是每一種解析器都有支援。最後，YAML支援使用者自定的區域變數，包括：自訂的類別，結構或基本型態（例如：四倍精度的浮點數）。
.NET Framework泛型
没有进行约束的泛型类型参数称为未绑定的类型参数。
HTML
HTML中存在以下几种类型的标记元素：大多数元素的属性以“名称-值”的形式成对出现，由“=”分离并写在开始标签元素名之后。值一般由单引号或双引号包围，有些值的内容包含特定字符，在HTML中可以去掉引号（XHTML不行）。不加引号的属性值被认为是不安全的。有些属性无需成对出现，仅存在于开始标签中即可影响元素，如codice_5 元素的codice_8 属性。
ML语言
凭借类型推论编译器能推导出，codice_9接受整数codice_10作为实际参数，则形式参数codice_11也是整数类型codice_3，而codice_13的结果是整数codice_14，则函数codice_9的结果也是整数类型。函数codice_9接受一个整数的形式参数并返回一个整数结果，它作为一个整体从而有着“从整数到整数的函数”类型codice_17。函数及其形式参数的"类型"还可以用类型标注（annotation）来描述，使用codice_18表示法，它可以被读作表达式codice_19有类型codice_20，它是可选也可忽略的。使用类型标注，这个例子可重写为如下： fun fac 0 = 1 这个函数还依赖于模式匹配，这是ML语言的重要部份。注意函数形式参数不必须在圆括号内但要用空格分隔。当一个函数的实际参数是codice_10，它将返回整数codice_14。对于所有其他情况，尝试第二行。这是一个递归，并且再次执行这个函数直到达到基础情况。它可以使用codice_23表达式重写为： fun fac n = case n  这里codice_23介入了模式和对应表达式的序列。它还可以重写为将标识符绑定到lambda函数： val rec fac = 这里的关键字codice_25介入了标识符到值的绑定，codice_26介入了匿名函数的定义，它可以用在codice_27的位置上，但使用codice_28算符而非codice_5。绑定到递归的匿名函数需要使用codice_30关键字来指示。
阻抗参数
这里
一阶逻辑
单一参数斷言可以用来在合适的地方实现类型的概念。例如： 斷言Man(x)可以被认为是一类“类型断言”（就是说，x必须是男人）。 斷言还可以同指示类型的“存在”量词一起使用，但这通常应当转而与逻辑合取算子一起来做，比如： 容易写成formula_242，但这将等价与formula_243（“存在不是男人的事物或者存在是人类的事物”），这通常不是想要的。类似的，可以做一个类型是另一个类型的子类型的断言，比如：
数据类型 (C语言)
在标准头文件limits.h 和 float.h中说明了基础数据的长度。float，double和long double的范围就是在IEEE 754标准中提及的典型数据。另外，C99添加了新的复数类型，C11添加了原子类型，它们不在本条目讨论范围内。关于这些类型的具体含义和部分细节，参见资料类型，最后一列写出了这些类型在硬件层面的类型（x86&x86_64实现) 注：粗体为C99所新增的类型。
英特尔集成性能原语
其入口点中一半为矩阵类型，三分之一为信号类型，其余是图像和密码类型。Intel IPP函数分为4种数据类型：数据类型包括8u (8-bit unsigned)、8s (8-bit signed)、16s、32f (32-bit floating-point)、64f等。
依赖类型
在全类（论域中全部类型构成的类型） formula_1 中给定一个类型 formula_2，存在着类型族 formula_3 为每一项 formula_4 赋予一个类型 formula_5。一个值域依赖于其参数的函数，称之为一个依赖类型函数，该函数的类型则称之为依赖类型、依赖乘积类型或Π-类型。在此例子中，依赖类型可以写作 或 若"B"为常数，则依赖类型退化成一般形态的函数 formula_8。即 formula_9 等价于函数类型 formula_8。
参数多态
直谓参数多态（predicative parametric polymorphism）是指，类型formula_1包含类型变量formula_2不能用在formula_2被实例化为一个多态类形。直谓类型理论包括直觉类型论与
参数统计
参数统计是统计学的一个分支，它假设样本数据来自总体，而总体可以通过具有固定参数集的概率分布进行充分建模。 相反，非参数模型的确切区别在于其参数集（或机器学习中的特征集 ）不是固定的，如果收集到新的相关信息，则该参数集可能会增加甚至减少。
实体造型
参数化造型用参数来定义模型(例如尺寸)。参数可以以后修改，模型会更新以反映所作的改动。
协变与逆变
由于泛型类型的协变性，类型系统并不稳健。这是故意为之（当然也无疑会引起争论）。经验表明稳健的泛型类型规则在程序员的直觉面前如同废纸。如果想的话，工具仍可简单地提供稳健的类型分析，这可能对诸如重构之类的任务有所帮助。 这些术语来源于范畴论中函子的记法。考虑范畴 C，其中的对象是类型、其态射代表了子类关系≦（这是一个任何偏序集合可被看成范畴的例子）；那么诸如函数的类型构造器接受两个类型 p 和 r 并创建一个新类型 p→r，即它把 C 中的对象映射到 C 中。通过函数类型的子类规则，这个运算逆转了第一参数上的≦顺序而在第二参数上保持该顺序，即它是一个在第一参数上逆变、而在第二参数上协变的函子。
JSON-RPC
RPC 调用如果存在参数则必须为基本类型或结构化类型的参数值，要么为索引数组，要么为关联数组对象。
True和false (命令)
程序并没有“实际的”参数；在大多数Linux版本中，标准参数codice_1可以显示用法摘要，codice_2则显示程序版本。
Modula-3
codice_291形式参数绑定到对应的实际参数所指示的变量上，也就是说它是别名。对于codice_291形式参数，实际参数必须是可写的指示符，它的类型同于形式参数的类型，或者在codice_291数组形式参数的情况下，它可赋值给这个形式参数。
空间直线及其方程
参数方程为formula_9
硬盘
除了接口和尺寸以外，硬盘还有以下参数： 除此之外还有电压、电流等参数。固态硬盘还有主控、颗粒类型（SLC、MLC、TLC、QLC）等参数。
Delegate (CLI)
delegateType de1=fun1; delegateType de2=fun2; delegateType de3=de1+de2;//de3中有fun1、fun2两个函数的引用 “委托”作为类，继承自System.MulticastDelegate（抽象类）。“委托”至少0个参数，至多32个参数，可以无返回值，也可以指定返回值类型。可以认为包含：一个类对象实例的地址（Target属性），该类的一个方法的地址（Method属性），以及另一个“委托”实例的引用（reference）。因此引用一个“委托”对象，可能实际上引用了多个“委托”的实例。“委托”对象被调用时，依次调用里面的多个“委托”的实例。这对于事件驱动的程序比较有用。
参数统计
大多数著名的统计方法都是参数化的。 关于非参数（和半参数）模型， 戴维·考克斯爵士说：“这些模型通常较少涉及结构和分布形式的假设，但通常都包含有关独立性的强有力假设”。
可选类型
可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 codice_1 或者 codice_2）；另一种形式包含原始数据类型 codice_3（常记作 codice_4 或者 codice_5）。
缺省参数
在程序设计中，一个函数的缺省参数是指不必须指定值的参数。在大多数程序设计语言中，函数可以接受一个或多个参数。通常对于每个参数都需要指定它们的值（例如C语言）。一些较新的程序设计语言（例如C++）允许程序员设定缺省参数并指定默认值，当调用该函数并未指定值时，该缺省参数将为缺省值。
扎哈罗夫-库兹涅佐夫方程
参数：params := a1 = 1, a2 = 1, a3 = 2.3, a4 = 3.4, d = 1.2, e = 1.3, m = 5.35, c[1] = 5.22, c[2] = 3.23, c[3] = 1.3, c3 = 3.33, c[4] = 1.35, c4 = 1.44, l = 2.1, a[1] = 3.1, a[2] = 3.23, a0 = 5.34, a = .7, c = 1.1；
模板参数推导
例如：
可变参数模板
上例中的"pass"函数是必须的，因为参数包用逗号展开后只能作为被逗号分隔开的一组函数调用实参，而不是作为逗号运算符，从而"pass"函数所能接受的调用实参个数必须是可变的，也即"pass"函数必须是可变参数函数。codice_2编译不能通过。 此外，上述办法要求codice_3的返回类型不能是void；且所有对print的调用在一个非确定的顺序，因为函数实参求值的顺序是不确定的。如果要避免这种不确定的顺序，可以用大括号封闭的（initializer list），这保证了严格的从左到右的求值顺序。为避免void返回类型带来的麻烦，使用逗号运算符使得每个扩展元素总是返回1。例如： template void some_function(T value)
Miranda (编程语言)
squares = [ n * n | n 头等公民，就是说它们可以作为实际参数传递给其他函数，作为结果返回，被包括为数据结构的元素。进一步的，通过提供少于形式参数数目的实际参数，有两个或更多形式参数的函数可以部份的“参数化”，或柯里化。这给出了另一个函数，接受余下的形式参数，并返回一个结果。例如： add a b = a + b increment = add 1 是建立向它的实际参数加codice_18的一个函数“增加”的迂回方式。在现实中，codice_19接受两个形式参数，函数codice_20应用于codice_21将得到一个单一形式参数的函数，它向它的实际参数加codice_21，接着应用它于codice_23得到结果codice_24。
函数原型
在原型中，参数名是可选的（C/C++中存在函数原型作用域，这使参数名的作用域被限制在函数定义内），但是，类型和修饰符都是必需的（如指针或常量参数）。
概率模型
参数模型是一组由有限维参数构成的分布集合formula_9。其中formula_10是参数，而formula_11是其可行欧几里得子空间。概率模型可被用来描述一组可产生已知采样数据的分布集合。例如，假设数据产生于唯一参数的高斯分布，则我们可假设该概率模型为formula_12。
水文模型
参数(parameter)是
赤池信息量准则
其中："K"是参数的数量，L是似然函数。
协变与逆变
这种方式的缺点是方法参数类型指定为 。一个典型的实现可能是先把这个参数向下强制转换——如果不是期望的类型，那么报错： class RationalNumber implements Comparable { 在有参数协变的语言中， 的参数可以直接定为希望的类型（），从而把类型转换消除掉。（当然，该报运行时错误的时候还是会报错的，比如对一个 调用 ）。
.NET Framework泛型
当使用未绑定的类型参数时，相对于使用了约束的类型参数，有以下规则：
二端口网络
上述参数都是就端口的电压和电流而言定义的，而S参数是就端口的而言定义的。S参数常用於特高频和微波频率，因为：
可变参数模板
可变参数模板可用于异常规范（exception specification）、基类列表（base class list）、构造函数初始化列表（constructor's initialization list）。例如： template  class ClassName : public BaseClasses... { public:
C++11
template void printf(const std::string &strFormat, Params... parameters); 其中，Params與parameters分別代表模板與函式的-{A|zh-hans:变长参数; zh-hant:不定長參數}-集合，稱之為參數包（parameter pack）。參數包必須要和-{A|zh-hans:运算符; zh-hant:算子}-"..."搭配使用，避免語法上的歧義。
变量 (程序设计)
函数的形式参数也被称为变量。如下的C++代码段：
实体造型
参数的例子有：用于创建模型特征的尺寸，材料密度，描述扫掠特征的公式，引入的数据(例如，描述参照曲面的数据)。
子类型
由于子类型关系的存在，某个对象可能同时属于多种类型，因此，子类型（）是一种类型多态的形式，也被称作子类型多态（）或者包含多态（）。在面向对象程序设计中，多态一般仅指这里所说的「子类型多态」，而「参数多态」则一般被称作泛型编程。
函数原型
首先，函数原型包括函数签名（），函数名，返回类型和。在该例中，函数的名称是“Sum”。函数签名确定参数的数量及其类型。在上面的示例中，返回类型为“void”，这意味着该函数不会返回任何值。要注意的是第一个示例中的参数名称是可选的，甚至實際定義時與函式原型中宣告的不同也沒關係。
X86调用约定
参数也是从右到左被推入堆栈。从最左边开始的三个字符变元会被放置在EAX, EDX和ECX中，最多四个浮点变元会被传入ST(0)到ST(3)中----虽然这四个参数的空间也会在参数列表的栈上保留。函数的返回值在EAX或ST(0)中。保留的寄存器有EBP, EBX, ESI和EDI。 optlink在IBM VisualAge编译器中被使用。
Python
在位置和关键字形式参数序列末尾可以分别有codice_201或codice_202这样的形式参数，它们对应于在函数调用时提供的，超出形式参数序列规定而无所对应的多个实际参数；在形式参数名字前加一个codice_105号，该形式参数codice_204是codice_205类型，对应可变数目的位置实际参数；在形式参数名字前加codice_116号，该形式参数codice_207是codice_2类型，对应可变数目的关键字实际参数。在位置实际参数已经在一个序列类型如列表或元组的对象中的情况下，在引用它的变量前加一个codice_105号传递给函数，则其中所有元素解包为多个位置实际参数，关键字实际参数在字典中则加codice_116号来传递给函数。
用户定义字面量
字面量运算符模板（literal operator template）的函数形参表必须为空；模板形参表只能有一个成员，即非类型的模板参数包（non-type template paremeter pack），其成员类型为codice_18。
可变参数模板
省略号(...)在可变参数模板中有两种用途： 具体例子见下文。实际上，能够接受可变参数个数的参数包展开的场合，必须是能接受任意个数的逗号分隔开的表达式列表，这也就是上述几种场合。
变量 (程序设计)
变量常常保存简单的数据，如整数和字符串。但有些程序设计语言允许变量同时表示多种数据类型。这些语言一般也允许函数参数多态，其函数对变量的操作可同时适用于多种数据类型。例如，函数codice_15可以求一个列表的长度，如果codice_15的类型签名中包含一个类型变量，就可以实现参数多态。这样，求列表中的元素个数就与列表元素的类型无关了。
Modula-3
codice_296形式参数，如果实际参数是指示符并且有与形式参数相同的类型，或者是可赋值给形式参数的类型的一个数组类型，则被当作codice_291形式参数对待，它的只读语义体现在指定这个指示符为只读的，否则被当作codice_292形式参数对待。
蔡氏電路
参数 和 是由电路元件的特定值来决定的。
阻抗参数
这里
模板参数推导
编译器可以从上述几个类型结构的复合类型推导模板参数。
多用途互聯網郵件擴展
parameter可以用来指定附加的信息，更多情况下是用于指定text/plain和text/htm等的文字编码方式的charset参数。MIME根据type制定了默认的subtype，当客户端不能确定消息的subtype的情况下，消息被看作默认的subtype进行处理。Text默认是text/plain，Application默认是application/octet-stream而Multipart默认情况下被看作multipart/mixed。
Stdalign.h
alignof的参数为类型。
可变参数模板
例如，STL的类模板tuple可以有任意个数的类型名（typename）作为它的模板形参（template parameter）：
弧长
将曲线用函数的形式表达称为曲线的参数化，用参数（函数的自变量）来刻画曲线。对给定的曲线，参数化的方法不止一种。但只要参数化的函数是连续的，那么两种不同的参数化方式之间就可以用一个连续单调的函数来转换。所以参数化的方式不会影响定义曲线的弧长。曲线的弧长是它的内禀属性，不依赖于参数化的方式。
參數化查詢
PostgreSQL和SQLite的参数格式是以“:”加上参数名而成。当然，也支持类似Access的匿名参数。
阻抗参数
这里
参数多态
现在，Standard ML, OCaml, F#, Ada, Haskell, Mercury, Visual Prolog, Scala, Julia等。Java, C#, Visual Basic .NET and Delphi引入了泛型作为参数多态。
可变参数宏
可变参数宏是C语言与C++语言的函数宏的参数个数可以是0个或多个。这一语言特性由C99引入。C++11也开始支持。
类型签名
在计算机科学中，类型签名（）或类型注解（）是对程序的函数、方法、子过程、以及变量等给出其类型。特别是对函数给出其输入参数数量、类型与次序及输出结果的类型。 许多编译器产生的内部使用的函数名包含了其类型特征，这称为名字修饰，為链接器辨别不同的函数提供了方便。
.NET Framework泛型
泛型类型参数自身不能是泛型，但C++确实允许模板参数。
HMPP开放标准
关联到一个指令的参数可能是不同类型。以下是 在HMPP中定义的指令参数:
二端口网络
描述二端口网络的参数不只有一组，常用的几组参数是分别为阻抗参数Z、导纳参数Y、混合参数h、g和传输参数，每组参数都在下文中有描述。这几组参数只能用於线性网络，因为它们导出的条件是假定任何给定的电路情况都是各种短路和开路情况的线性叠加。这几组参数通常用矩阵表示法表示，通过以下变量建立关系： 如图1所示。这些电流和电压变量在低频到中频情况下是非常有用的。在高频情况下（如微波频率），使用功率和能量变量会更合适，这时二端口电流－电压法就应该由基於S的方法代替。
.NET Framework泛型
泛型为.NET Framework引入了类型参数的概念，这样便可以设计出这样的类和方法：它们把指定类型的工作推迟到客户端代码声明并实例化类或方法的时候执行。比如，通过泛型类型参数T，程序员就可以编写其他客户端代码能够使用的单个类，而不用担心强制转换或装箱操作而带来的额外的运行成本或风险。
泛型编程
Java 泛型的参数只可以代表-{zh-hans:类; zh-hant:类别;}-，不能代表个别-{zh-hans:对象; zh-hant:物件;}-。由于Java泛型的类型参数之实际类型在编译时会被消除，所以无法在运行时得知其类型参数的类型，而且无法直接使用基本值类型作为泛型类型参数。Java编译程序在编译泛型时会自动加入类型转换的编码，故运行速度不会因为使用泛型而加快。
参数多态
class I {
鸭子类型
web应用程序脚本语言ColdFusion允许函数参数被指定为类型为"any"。对于这种参数，任意对象都可被传入，函数调用在运行时被动态绑定。如果对象没有实现一个被调用的函数，一个可被捕获并优雅地处理的运行时异常将被抛出。在ColdFusion 8中，这也可以被一个已定义的事件onMissingMethod()而不是异常处理器处理。另一个可替代的参数类型"WEB-INF.cftags.component"限制传入参数是一个ColdFusion组件（CFC），在一个不正确的对象传入时它提供了更好的错误消息。
Delegate (CLI)
这里第一个参数是发出该事件的控件的基类型object；后一个参数是事件数据的基类型EventArgs。以Button控件类为例，它有一个属性Click，定义为一个EventHandle类型的delegate:
可变参数模板
输出为
依赖类型
依赖类型的两个常见实例是依赖函数类型（又称依赖乘积类型、Π-类型）和依赖值对类型（又称依赖总和类型、Σ-类型）。一个依赖类型函数的返回值类型可以依赖于某个参数的具体值，而非仅仅参数的类型，例如，一个输入参数为整型值n的函数可能返回一个长度为n的数组；一个依赖类型值对中的第二个值可以依赖于第一个值，例如，依赖类型可表示这样的类型：它由一对整数组成，其中的第二个数总是大于第一个数。
C♯
泛型，或参数化类型，是被C#支持的.NET 2.0特性。不同于C++模版，.NET参数化类型是在运行时被实例化，而不是编译时，因此它可以跨语言，而C++模版却不行。它支持的一些特性并不被C++模版直接支持，比如约束泛型参数实现一个接口。另一方面，C# 不支持无类型的泛型参数。不像Java中的泛型，在CLI虚拟机中，.NET generics使用具化生成泛型参数，它允许优化和保存类型信息。
Self
方法（method）是除了参数槽和/或局部槽之外，还包含代码的对象。参数（argument）槽名字开始于一个冒号，它不是槽名字的一部分，在将名字与消息进行匹配时候忽略它。参数槽总是只读的，并且不能对它们指定初始化者。下面例子是计算平方的方法对象：
标准模型
标准模型中含有19个自由参数，只能由实验来确定。包括三个规范耦合常数：formula_1/{4\pi})，精细结构常数formula_2和弱混合角formula_3或费米耦合常数formula_4}}，再加上9个费米粒子质量和4个CKM矩阵混合相角，另外三个是formula_5，"λ"（希格斯场VEV（真空期望值）和希格斯自耦合强度，或等价于formula_6 )和QCD formula_7参数。若中微子有质量需扩展标准模型 ，假如中微子是一种马约拉纳粒子（目前还不清楚），则至少需增加9个参数：3个中微子质量和6个混合角。
Python
Python的函数支持递归和闭包及其他头等函数特征，但不支持函数重载。Python的函数作为头等对象，具有和普通对象平等的地位。Python的函数实际参数与形式参数之间的结合是传递“对象的引用”，就是把形式参数名字绑定到实际参数名字所引用的对象上。如果形式参数绑定到一个可变的对象，则通过形式参数对此对象内容的修改，在函数外也是可见的。如果形式参数绑定到一个不可变的对象，则通过形式参数是不能修改此对象内容，但可以把形式参数重新绑定到其它对象上，这并不影响函数外的对象的值。 Python的变量有函数作用域、模块作用域和全局作用域。简单访问（不赋值）一个变量的时候，名字解析服从窄到宽的LEGB（局部、包围、全局、内建）顺位规则。在函数中赋值一个变量将导致它成为这个函数的局部变量，就是说它的作用域在整个函数中，而不是在这个赋值之后至这个函数结束，因此在这个赋值之前引用它，不再于这个函数之外查找同名变量而是引发一个错误。缺省的名字解析规则可以用codice_33或codice_40关键字来覆盖。codice_33声明的变量是全局变量。 codice_33可以用于嵌套的函数中。嵌套函数中还可以使用codice_40声明，用于赋值到给。
Miranda (编程语言)
尽管Miranda是强类型编程语言，它不坚持于显式的类型。如果一个函数的类型没有明确的声明，解释器会从它的形式参数和它们在函数内如何使用来推论出它的类型。除了基本类型（codice_3、codice_4和codice_5）之外，它包括了“任何事物”类型，这里一个形式参数的类型是无关紧要的，例如在列表反转函数中： rev [] = [] rev (a:x) = rev x ++ [a] 它可以应用于有任何数据类型的列表，给它的显式的函数类型声明将是： rev :: [*] -> [*]
Ls
不加参数时，ls仅仅列出文件和目录的名称，不加任何修饰。这通常让人很难区分文件的类型、大小、权限等属性。显示文件常用信息的一些参数如下：
赫尔默特转换
式中formula_10、formula_11、formula_12是3个平移参数，formula_13、formula_14、formula_15是3个旋转参数，m 为尺度变化参数。
直觉类型论
formula_1-类型，也叫做依赖函数类型，一般化了普通的函数空间，建模其结果的类型可以随它们的输入而变化的函数，比如，对实数的 formula_3-元组写为 formula_4，则formula_5 表示对给定的自然数返回这个大小的实数元组的函数的类型。在值域类型实际上不依赖于输入的时候，普通函数空间作为特殊情况出现，比如 formula_6 是从自然数到实数的函数的类型，它也写为 formula_7。使用 Curry-Howard同构，formula_1-类型还充当建模蕴涵和全称量化: 比如，居留于 formula_9 的一个项，它对任何一对自然数的函数指派加法对这个数对是交换性的证明，并因此可以被当作加法对于所有自然数是交换性的一个证明。