元梅園

     摘要: 命令式編程與聲明式編程簡介
第二課伊始，冒號開門見山：“首先介紹的是最基本的兩種編程范式：命令式和聲明式，其中命令式又稱過程式。。。”

命令式編程是行動導向（Action-Oriented）的，因而算法是顯性而目標是隱性的；聲明式編程是目標驅動（Goal-Driven）的，因而目標是顯性而算法是隱性的。。。

歸根結底，編程是尋求一種機制，將指定的輸入轉化為指定的輸出。三種范式對此提供了迥然不同的解決方案：命令式把程序看作一個自動機，輸入是初始狀態，輸出是最終狀態，編程就是設計一系列指令，通過自動機執行以完成狀態轉變；函數式把程序看作一個數學函數，輸入是自變量，輸出是因變量，編程就是設計一系列函數，通過表達式變換以完成計算；邏輯式把程序看作一個邏輯證明，輸入是題設，輸出是結論，編程就是設計一系列命題，通過邏輯推理以完成證明。。。  閱讀全文


文章來源:http://www.aygfsteel.com/xyz98/archive/2008/05/05/198601.html