異步編程與CPS

有看過"使用Lua Function表示Lambda calculus"的,應該都會對hof(高階函數)不會陌生
使用高階函數 可以做出很多powerful的事請 例如異步編程 所謂異步 舉個栗子就像https://www.zhihu.com/question/19732473所說的

老張愛喝茶，廢話不說，煮開水。
出場人物：老張，水壺兩把（普通水壺，簡稱水壺；會響的水壺，簡稱響水壺）。
1 老張把水壺放到火上，立等水開。（同步阻塞）老張覺得自己有點傻
2 老張把水壺放到火上，去客廳看電視，時不時去廚房看看水開沒有。（同步非阻塞）老張還是覺得自己有點傻，於是變高端了，買了把會響笛的那種水壺。水開之後，能大聲發出嘀~~~~的噪音。
3 老張把響水壺放到火上，立等水開。（異步阻塞）老張覺得這樣傻等意義不大
4 老張把響水壺放到火上，去客廳看電視，水壺響之前不再去看它了，響了再去拿壺。（異步非阻塞）
老張覺得自己聰明了。

這種「不會馬上回傳」的性質,在某些更新頻繁且大量的情況下很有用.就例如ajax,如果一個網站有大量資料且前後相關,一般的逐頁搜索會很沒效率而且很不方便.但如果可以用一些簡單操作逐批資料加載 整個網站就變得人性化多了

至於異步要如何控制呢,這就是我要今天記下的題目:Continuation-passing style(CPS)

所謂CPS 顧名思義就是一種編程的style 在這種style底下 每個動作都會回傳一個函數 這個函數會呼叫下個函數直至動作完結 這個呼叫的函數大多是呼叫他的父函數自身 形成一種連續的時間線 著名的函數式語言Haskell在發明初期都是用CPS處理I/O 以下是一個node.js呼叫sqlite例子

[轉載]淺析Go語言Interface類型的語法行為及用法

原文
Go不是一種典型的OO語言，它在語法上不支持類和繼承的概念。 沒有繼承是否就無法擁有多態行為了呢？答案是否定的，Go語言引入了一種新類型—Interface，它在效果上實現了類似於C++的「多態」概念，雖然與C++的多態在語法上並非完全對等，但至少在最終實現的效果上，它有多態的影子。
那麼，Go的Interface類型到底是什麼呢？怎麼使用呢？這正是本篇筆記試圖說明的問題。

1. Method(s) in Go

在說明Interface類型前，不得不先用Go的method(s)概念來熱身，因為Go語言的interface與method(s)這兩個語法有非常緊密的聯繫。
雖然Go語言沒有類的概念，但它支持的數據類型可以定義對應的method(s)。本質上說，所謂的method(s)其實就是函數，只不過與普通函數相比，這類函數是作用在某個數據類型上的，所以在函數簽名中，會有個receiver來表明當前定義的函數會作用在該receiver上。
關於methods的精確語法規範，可以參考language specification或Effective Go中的說明，這裡略過。
注意：Go語言支持的除Interface類型外的任何其它數據類型都可以定義其method（而並非只有struct才支持method），只不過實際項目中，method(s)多定義在struct上而已。
在struct類型上定義method(s)的語法特性與C++中的struct支持的語法非常類似（c++中的struct定義了數據，此外也支持定義數據的操作方法），從這一點來看，我們可以把Go中的struct看作是不支持繼承行為的輕量級的「類」。

2. What is Interface type in Go ?

GoLang官網language specification文檔對interface type的概念說明如下：

An interface type specifies a method set called its interface. A variable of interface type can store a value of any type with a method set that is any superset of the interface. Such a type is said to implement the interface. The value of an uninitialized variable of interface type is nil.

說實話，這段說明對新手來說比較晦澀，這正是本篇筆記試圖解釋清楚的地方。

[轉載]使用Lua Function表示Lambda calculus

http://blog.csdn.net/yuanlin2008/article/details/8627081
很多程序語言所帶給你的“完美”的感覺都來自於數學抽象之美。
在Lua中，function被描述成“具有真正的詞法範圍的一類值”(first-class values​​ with proper lexical scoping)。
所謂的“一類值”，應該滿足以下條件:

• 可以被保存到變量和數據結構中
• 可以被當作子程序的參數和返回值
• 可以在運行期創建
• 具有內在標識，不依賴於任何給定的名稱

大多數語言的基本數據類型，比如int，就屬於“一類值”。很多語言中的函數實​​現，只能滿足其中一些條件。比如在C中可以將函數指針保存到變量中，可以將函數指針當作參數和返回值。這樣的函數實現一般不會被算作“一類值"。
在Lua中，所有的值都是“一類”值，包括function本身。函數可以被保存到任何的變量或者table中，可以被當作參數和返回值使用，所有的函數（更準確的說應該是closure）都是運行期被創建的，函數本身並沒有名字，名字只是對函數的引用而已。作為“一類值”的function更為抽象，可以用來表示很多的"Functional Programming"的概念。比如“高階函數”(Higher-order functions)，“匿名函數”(Anonymous functions")。這些功能在很多語言中都是通過特殊的語法來支持的，而在lua中則不需要。