假使認為『 I2C 』的概念果很簡單,為什麼有人不厭其煩
《 I2C: Inter-Integrated Circuit 》
的講?如果真是困難,又為什麼有人舉重若輕
《 Robust I2C slave without a sampling clock 》
的說!
就像
《 W!o 的派生‧十日談之《三》》所言︰
……
Lispers
“Lisp is worth learning for the profound enlightenment experience you will have when you finally get it; that experience will make you a better programmer for the rest of your days, even if you never actually use Lisp itself a lot.”
— Eric Raymond, “How to Become a Hacker“
人類的語言有眾多的『方言』是因為『鄉土』與『人文』的不同所造成的。然而『LISP』 是一個程式語言,卻有著各種方言,想來是每個人對『事物概念』的『理解』和『詮釋』不一樣才發生的。假使如『Lispers』所說的︰
Lisp 是用奧秘的『外星人』Alien 科技所製造的。
那麼『 λ語言』就是那個由人類創造的始原之『巴別塔』。
日趨複雜之『符號系統』以及各種林立的『學術門派』,也許反而『遮蔽』了原初單純之『概念樞紐』。
This diagram shows the syntactic entities which may be constructed from formal languages. The symbols and strings of symbols may be broadly divided into nonsense and well-formed formulas. A formal language can be thought of as identical to the set of its well-formed formulas. The set of well-formed formulas may be broadly divided into theorems and non-theorems.
OUTPUTS = F (INPUTS) 或
OUTPUTS = F (INPUTS, STATE)
假使說『 λ 運算』就是研究『 λ 表達式』的『化約求值』,宛如『數學式子』的『計算求值』一般。如果『 λ 運算』可以是一個『通用』的『程式語言』,如此我們應當知道『表達式』 expression 在任一『程式語言』中的『重要性』。既然我們也知道『 λ 運算』與『圖靈機』是『計算對等』的,這樣『 λ 運算』之『純函式』 pure function 和『變元』,在『概念』上就聯繫到了『圖靈機』的機器『狀態』 state 與『狀態變遷規則』。或許可以比擬的說︰
當『 λ 運算』遇上『圖靈機』
『變元』『賦值』司『存取』 ── 狀態
『函式』『計算』管『進退』 ── 遷變新態
這也就是『典型』之 Von Neumann 的『計算機架構』與 Von Neumann 『程式語言』,彼此間『同形 isomorphism 同構』︰
program variables ↔ computer storage cells
程式變數對映計算機的儲存單元
control statements ↔ computer test-and-jump instructions
控制陳述對映計算機的『測試.跳至』指令
assignment statements ↔ fetching, storing instructions
賦值陳述對映計算機的『取得、儲存』指令
expressions ↔ memory reference and arithmetic instructions.
表達式對映記憶體參照和算術指令
由於一般『程式語言』大都是用『 = 』表示『賦值』,『派生』也不例外,這樣就會產生 這樣的『陳述句』。從『數學表達』來講,一點道理也沒有,所以曾經引發議論,也曾有建議用『←』【※ APL】,終究因為『從眾性』以及鍵盤輸入『方便性』種種原因,、最後大家『習慣成自然』的了。
───
,理解事物的『切入點』不同,常常造成相異之『說法習慣』??
何不就兼容並蓄的讀,上下貫通的想耶!!