1936年，阿隆佐·邱奇提出 λ 演算，以函數(shù)為參數(shù)和返回值的函數(shù)，定義虛擬的機(jī)器編程系統(tǒng)。函數(shù)用希臘字母 λ 標(biāo)識(shí)，這個(gè)形式系統(tǒng)因此得名。 1958年，MIT 的教授 Jo...
發(fā)簡(jiǎn)信
IP屬地：湖南
-
JavaScript與Lisp，通向編程圣殿[1.2]: 《"樹(shù)"的基礎(chǔ)計(jì)算》深度解釋
-
這個(gè)時(shí)代的焦慮
在人們普遍的意識(shí)中，銀行算得上理想的行業(yè)之一，大概也的確如此，我身邊那些在銀行工作的人貌似都蠻不錯(cuò)。因此，當(dāng)前不久的兩會(huì)上，建行行長(zhǎng)自稱(chēng)“銀行是弱勢(shì)群體”時(shí)，在場(chǎng)所有的人，包...
