元梅園

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

命令式編程是行動(dòng)導(dǎo)向（Action-Oriented）的，因而算法是顯性而目標(biāo)是隱性的；聲明式編程是目標(biāo)驅(qū)動(dòng)（Goal-Driven）的，因而目標(biāo)是顯性而算法是隱性的。。。

歸根結(jié)底，編程是尋求一種機(jī)制，將指定的輸入轉(zhuǎn)化為指定的輸出。三種范式對(duì)此提供了迥然不同的解決方案：命令式把程序看作一個(gè)自動(dòng)機(jī)，輸入是初始狀態(tài)，輸出是最終狀態(tài)，編程就是設(shè)計(jì)一系列指令，通過自動(dòng)機(jī)執(zhí)行以完成狀態(tài)轉(zhuǎn)變；函數(shù)式把程序看作一個(gè)數(shù)學(xué)函數(shù)，輸入是自變量，輸出是因變量，編程就是設(shè)計(jì)一系列函數(shù)，通過表達(dá)式變換以完成計(jì)算；邏輯式把程序看作一個(gè)邏輯證明，輸入是題設(shè)，輸出是結(jié)論，編程就是設(shè)計(jì)一系列命題，通過邏輯推理以完成證明。。。  閱讀全文


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