參數 (程式設計)
更準確地說，參數模式或參數共有三種類型：輸入參數（入參）、輸出參數（出參）、輸入輸出參數（出入參），這些參數往往使用codice_52、codice_53、codice_54來進行表示。輸入引數輸入引數（針對輸入參數的引數）必須是一個值，例如已經被初始化了的變數或常值，而且不能重新定義獲分配它。輸出引數必須是可分配變數，但不必初始化而且任何現有值均不可存取輸入值，執行函數後必須分配一個值。輸入輸出引數必須是已初始化了的可分配變數，並且可以選擇給其分配一個值。確切的要求和執行情況因語言而異，例如在Ada 83中，即使分配後也只能分配輸出參數（在Ada 95中刪除了該參數，以消除對輔助累加器變量的需要）。這有些類似於值的概念，也就是左值（，具有值）、右值（，可分配）以及左右值（，具有值且可分配），不過這些術語在C語言中有特殊含意。
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。