本頁使用了標題或全文手工轉換

程式設計法

維基百科,自由的百科全書
跳至導覽 跳至搜尋

編程范型編程範式程式設計法英語:Programming paradigm),(即模範、典範之意,範式即模式、方法),是一類典型的編程風格,是指從事軟件工程的一類典型的風格(可以對照方法學)。如:函數式編程程序編程面向對象編程指令式編程等等為不同的編程范型。

編程范型提供了(同時決定了)程序員程序執行的看法。例如,在面向對象編程中,程序員認為程序是一系列相互作用的對象,而在函數式編程中一個程序會被看作是一個無狀態的函數計算的序列。

正如軟件工程中不同的群體會提倡不同的「方法學」一樣,不同的編程語言也會提倡不同的「編程范型」。一些語言是專門為某個特定的范型設計的(如SmalltalkJava支持面向對象編程,而HaskellScheme則支持函數式編程),同時還有另一些語言支持多種范型(如RubyCommon LispPythonOz)。

很多編程范型已經被熟知他們禁止使用哪些技術,同時允許使用哪些。例如,純粹的函數式編程不允許有副作用[1]結構化編程不允許使用goto。可能是因為這個原因,新的范型常常被那些習慣於較早的風格的人認為是教條主義或過分嚴格。然而,這樣避免某些技術反而更加證明了關於程序正確性——或僅僅是理解它的行為——的法則,而不用限制程序語言的一般性。

編程范型和編程語言之間的關係可能十分複雜,由於一個編程語言可以支持多種范型。例如,C++設計時,支持過程化編程面向對象編程以及泛型編程。然而,設計師和程序員們要考慮如何使用這些范型元素來構建一個程序。一個人可以用C++寫出一個完全過程化的程序,另一個人也可以用C++寫出一個純粹的面向對象程序,甚至還有人可以寫出雜揉了兩種范型的程序。

例子[編輯]

參考文獻[編輯]

  1. ^ F# 程式設計入門 (1):在表示式(expression)內不可以造成值的改變。

參見[編輯]