目前的編程范式來劃分主要劃分為
1 命令式編程
2 聲明式編程
其中命令式的語言用的比較多，比如大家熟悉的Java語言 和 常見的一些語言都是命令式語言，這種編程語言都是大家常常用到的间雀。聲明式的語言 也有很多墓造，但都多數(shù)集中專業(yè)領(lǐng)域辽聊，當(dāng)然也有大家常常見到的扬卷，比如 css xml 這類的都是聲明式語言，聲明式語言在處理邏輯計算辆毡，人工智能菜秦，機(jī)器學(xué)習(xí)領(lǐng)域 都有很大的優(yōu)點。核心擅長于舶掖，數(shù)理邏輯 和針對已知條件進(jìn)行推理和運算球昨。
聲明式編程的劃分
聲明式語言其中劃分為 函數(shù)式編程和邏輯式編程。其中函數(shù)式對應(yīng)的是數(shù)學(xué)上的 表達(dá)式變換和計算眨攘，邏輯式編程對應(yīng)的是 數(shù)理邏輯推理褪尝。當(dāng)然，聲明式編程并不僅僅是上面提到 函數(shù)式和 邏輯式期犬，還有 屬性導(dǎo)向 數(shù)據(jù)流式 約束式 等各種類型河哑。
聲明式編程語言和命令式編程語言的的共同點
1 最終轉(zhuǎn)成 機(jī)器語言
2 聲明式 和命令式都是融合的 ，二者相互滲透龟虎。主體上 并非純粹
總結(jié)一下
1 函數(shù)式 主要是數(shù)學(xué)證明 璃谨，采用 自變量為輸入，因變量為輸出鲤妥，以設(shè)計函數(shù)為 作為程序設(shè)計的主要載體哩掺，程序運行主要為 表達(dá)式變換為主王财。其實就是數(shù)學(xué)代數(shù)的計算為主滴劲。
2 命令式 主要是自動機(jī)酿雪，采用初始狀態(tài)為輸入，最終狀態(tài)為輸出贡耽，以設(shè)計指令 作為程序的主要載體衷模，程序運行主要為 命令執(zhí)行為主。其實本質(zhì)上就是一系列的命令執(zhí)行蒲赂。
3 邏輯式 主要是邏輯證明阱冶，主要以 題設(shè)為輸入，結(jié)論為輸出滥嘴，程序設(shè)計為設(shè)計命題為主木蹬，以邏輯推理為程序運行的表現(xiàn)方式。
