在之前幾篇我們討論的語法、語義、命名、型別和抽象適用於所有語言。然而我們的注意力都主要集中在命令式語言上，現在這篇來看看其它正規化的語言。函式式和邏輯式語言是最主要的非命令式語言。
命名和作用域問題出現在各種模型中，還有型別、表示式和選擇與遞迴等控制流概念等等。所有語言都必須經過掃瞄、語法分析和語義分析，
函式式程式設計將乙個程式的輸出定義為其輸入的乙個數學函式，在其中沒有內部狀態的概念，因此也沒有***。函式式提供了一下特徵，其中許多都是命令式語言中沒有的：
我們以scheme為例子，來看一下概念
約束
(let ((a 3)
(b 4)
(square (lambda (x) （* x x)))
(plus +))
(sqrt (plus (square a) (square b))))
控制流和賦值
(cond
((< 3 2) 1)
((< 4 3) 2)
(else 3))
在之前的幾篇已經提到了兩種求職方式：應用序求值和正則序求值。和大多數命令式語言一樣，scheme在大多數情況下都是用應用序求值。
嚴格求值和惰性求值
如果乙個無***的函式在其任何乙個引數是未定義的情況下也是未定義的，我們就稱它為嚴格。這種函式可以安全的對所有引數求值，所以其結果也將不依賴於求值順序。
惰性求值使我們可以得到正則序求值的優勢，回憶一下我們之前說的，惰性求值對實現無窮資料結構非常有用
高階函式
如果乙個函式以函式作為實際引數，或者返回函式作為值，那麼它就是乙個高階函式。
比如scheme的map函式
(map * '(2 4 6) '(3 5 7)) => (6 20 42)高階函式主要的作用就是從現有的函式出發構造新函式
(define total (lambda (l) (fold + 0 1)))
(total '(1 2 3 4 5))
(define total-all (lambda (l)
(map tatal l)))
(total-all '((1 2 3 4 5)
(2 4 6 8 10)
(3 6 9 12 15)))
柯里化是乙個常見的操作，是用乙個單引數函式取代乙個多引數的函式，這個單引數函式返回乙個函式
(define curried-plus (lambda (a) (lambda (b) (+ a b))))
((curried-plus 3) 4)
(define plus-3 (curried-plus 3))
(plus-3 4)
(map (curried-plus 3) '(1 2 3)) => (4 5 6)不過，存在著許多常用的程式設計慣用形式，最正宗的***在其中扮演著核心角色。
我們關注計算的函式式模型。命令式程式的計算主要是通過迭代和***，而函式式程式的計算主要是通過將引數代換到函式中。
函式式語言的相應模型是lambda演算，許多函式式語言傾向於在lambda演算的基礎上擴充一些特徵，包括賦值、i/o和迭代。
如果乙個程式包含了多餘乙個活動的執行上下文。即多餘乙個控制線程，則稱該程式是併發的。併發的出現至少有三方面的重要原因：
在乙個併發程式中，我們將使用術語執行緒來指代那些程式設計師認為與其他執行緒併發的執行的活動實體。在大多數系統中，給定程式的執行緒是在作業系統所提供的乙個或多個程序的頂部實現的。
通訊和同步
在任何併發的程式設計模型中，需要處理的兩個最關鍵的問題就是通訊的同步。通訊指執行緒可用於獲得其它執行緒產生的資訊的各種機制。
同步寫到一般發現很像之前作業系統寫到的程序管理，就不再重複了。放個鏈結
程序管理
程序排程
這一篇就稍微提了一下除了命令式語言之外的其它正規化，還有像現在語言支援的併發模型。但是之前討論的語法、語義、命名、型別和抽象適用於所有語言
PL真有意思（二） 程式語言語法
雖然標題是程式語言的語法，但是講的是對詞法和語法的解析，其實關於這個前面那個寫編譯器系列的描述會更清楚，有關語言語法的部分應該是穿插在整個設計當中的，也看語言設計者的心情了 和英語漢語這些自然語言不一樣，計算機語言必須是精確的，它們的語法和語義都必須保證沒有歧義，這當然也讓語法分析更加簡單 所以對於...
labview呀，可是真有意思
感謝上面 的這個高手 c program files national instruments labview 7.1 cintools lvsbutil targetname d wkspdir outdir 這一句裡面應該是半形狀態下的引號和減號，大家注意一下 真是太搞笑了，輸入了一遍，出古怪的...
中國的防毒行業真有意思
中國的防毒行業真有意思,哈.今天早上到公司沒事看新聞.才知道最近防毒這個行業挺熱鬧.大致看了一下.才知道又新出來乙個什麼可牛.哈.金山和360的這場戰要乾到什麼時候結束呢.至於誰是誰對我真是看不清楚,不過相關人的人品.我早有耳聞，不過呢還得佩服.白貓黑貓逮著老鼠就是好貓.某個偉人說的名言.看完這些報...