命令式、聲明式、函數式編程


  主要的編程范式有三種:命令式編程(Imperative)、聲明式編程(Declarative)和函數式編程(Functional)

命令式編程

  命令式編程的主要思想是關注計算機執行的步驟,即一步一步告訴計算機先做什么再做什么。

  比如:如果你想在一個數字集合 collection(變量名) 中篩選大於 5 的數字,你需要這樣告訴計算機:

  1. 第一步,創建一個存儲結果的集合變量 results;
  2. 第二步,遍歷這個數字集合 collection;
  3. 第三步:一個一個地判斷每個數字是不是大於 5,如果是就將這個數字添加到結果集合變量 results 中。

  代碼實現如下:

1 List<int> results = new List<int>(); 2 foreach(var num in collection) 3 { 4     if (num > 5) 5  results.Add(num); 6 }

  很明顯,這個樣子的代碼是很常見的一種,不管你用的是 C, C++ 還是 C#, Java, Javascript, BASIC, Python, Ruby 等等,你都可以以這個方式寫。

聲明式編程

  聲明式編程是以數據結構的形式來表達程序執行的邏輯。它的主要思想是告訴計算機應該做什么,但不指定具體要怎么做。

  SQL 語句就是最明顯的一種聲明式編程的例子,例如:

1 SELECT * FROM collection WHERE num > 5

  除了 SQL,網頁編程中用到的 HTML 和 CSS 也都屬於聲明式編程。通過觀察聲明式編程的代碼我們可以發現它有一個特點是它不需要創建變量用來存儲數據。另一個特點是它不包含循環控制的代碼如 for, while。

函數式編程

  函數式編程和聲明式編程是有所關聯的,因為他們思想是一致的:即只關注做什么而不是怎么做。但函數式編程不僅僅局限於聲明式編程。

  函數式編程最重要的特點是“函數第一位”,即函數可以出現在任何地方,比如你可以把函數作為參數傳遞給另一個函數,不僅如此你還可以將函數作為返回值。大部分常見的編程語言一半都已經提供了對這種編程方式的支持,比如 JavaScript,再有 C# 中的 LINQ 和 Java 中的 Lambda 和閉包的概念。

  Java 8 最大的一個對函數式編程支持的更新就是 Stream API,如下代碼:

1 List<Number> results = collection.stream().filter(n -> n > 5).collect(Collectors.toList());

  函數式編程有自己的一套理論:純函數(Pure functions)函數復合(Function composition)避免共享狀態(Avoid shared state)避免改變狀態(Avoid mutating state)避免副作用(Avoid side effects)

 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM