lambda calculus

  • 從外往里
    \beta reduction order
    image.png
  • normal order
    M N P
    left to right 先直接把N給M
  • applicative order
    M N P
    left to right
    先把M 和N 內(nèi)部可以reduce的先reduce

如果一個(gè)lambda expression 可以被reduce桶唐，那么normal order一定可以reduce到最簡單的模式芯肤，applicative order不一定可以

\alpha convention
M N
(λx.xy)(λk.kx)
= (λt.ty)(λk.kx)
=kxy
bound variable in the left side = free variable in the right side

image.png
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 人面猴
    序言：七十年代末，一起剝皮案震驚了整個(gè)濱河市，隨后出現(xiàn)的幾起案子横殴，更是在濱河造成了極大的恐慌击费，老刑警劉巖烹困，帶你破解...
    沈念sama閱讀 206,214評(píng)論 6贊 481
  • 死咒
    序言：濱河連續(xù)發(fā)生了三起死亡事件莫其，死亡現(xiàn)場離奇詭異，居然都是意外死亡粗截，警方通過查閱死者的電腦和手機(jī)惋耙，發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 88,307評(píng)論 2贊 382
  • 救了他兩次的神仙讓他今天三更去死
    文/潘曉璐 我一進(jìn)店門，熙熙樓的掌柜王于貴愁眉苦臉地迎上來熊昌，“玉大人绽榛，你說我怎么就攤上這事⌒鲆伲” “怎么了灭美？”我有些...
    開封第一講書人閱讀 152,543評(píng)論 0贊 341
  • 道士緝兇錄：失蹤的賣姜人
    文/不壞的土叔 我叫張陵，是天一觀的道長昂利。 經(jīng)常有香客問我届腐，道長，這世上最難降的妖魔是什么蜂奸？ 我笑而不...
    開封第一講書人閱讀 55,221評(píng)論 1贊 279
  • ?港島之戀（遺憾婚禮）
    正文 為了忘掉前任犁苏，我火速辦了婚禮，結(jié)果婚禮上扩所，老公的妹妹穿的比我還像新娘围详。我一直安慰自己，他們只是感情好，可當(dāng)我...
    茶點(diǎn)故事閱讀 64,224評(píng)論 5贊 371
  • 惡毒庶女頂嫁案：這布局不是一般人想出來的
    文/花漫 我一把揭開白布助赞。 她就那樣靜靜地躺著买羞，像睡著了一般。 火紅的嫁衣襯著肌膚如雪雹食。 梳的紋絲不亂的頭發(fā)上畜普，一...
    開封第一講書人閱讀 49,007評(píng)論 1贊 284
  • 城市分裂傳說
    那天，我揣著相機(jī)與錄音群叶，去河邊找鬼吃挑。 笑死，一個(gè)胖子當(dāng)著我的面吹牛盖呼，可吹牛的內(nèi)容都是我干的儒鹿。 我是一名探鬼主播化撕，決...
    沈念sama閱讀 38,313評(píng)論 3贊 399
  • 雙鴛鴦連環(huán)套：你想象不到人心有多黑
    文/蒼蘭香墨 我猛地睜開眼几晤，長吁一口氣：“原來是場噩夢啊……” “哼！你這毒婦竟也來了植阴？” 一聲冷哼從身側(cè)響起蟹瘾，我...
    開封第一講書人閱讀 36,956評(píng)論 0贊 259
  • 萬榮殺人案實(shí)錄
    序言：老撾萬榮一對(duì)情侶失蹤，失蹤者是張志新（化名）和其女友劉穎掠手，沒想到半個(gè)月后憾朴，有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體，經(jīng)...
    沈念sama閱讀 43,441評(píng)論 1贊 300
  • ?護(hù)林員之死
    正文 獨(dú)居荒郊野嶺守林人離奇死亡喷鸽，尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 35,925評(píng)論 2贊 323
  • ?白月光啟示錄
    正文 我和宋清朗相戀三年，在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片雅采。...
    茶點(diǎn)故事閱讀 38,018評(píng)論 1贊 333
  • 活死人
    序言：一個(gè)原本活蹦亂跳的男人離奇死亡蠕啄，死狀恐怖，靈堂內(nèi)的尸體忽然破棺而出混槐，到底是詐尸還是另有隱情编兄，我是刑警寧澤，帶...
    沈念sama閱讀 33,685評(píng)論 4贊 322
  • ?日本核電站爆炸內(nèi)幕
    正文 年R本政府宣布声登，位于F島的核電站狠鸳，受9級(jí)特大地震影響，放射性物質(zhì)發(fā)生泄漏悯嗓。R本人自食惡果不足惜件舵，卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 39,234評(píng)論 3贊 307
  • 男人毒藥：我在死后第九天來索命
    文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望脯厨。 院中可真熱鬧铅祸，春花似錦、人聲如沸俄认。這莊子的主人今日做“春日...
    開封第一講書人閱讀 30,240評(píng)論 0贊 19
  • 一樁弒父案洪乍，背后竟有這般陰謀
    文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至夜焦，卻和暖如春壳澳，著一層夾襖步出監(jiān)牢的瞬間，已是汗流浹背茫经。 一陣腳步聲響...
    開封第一講書人閱讀 31,464評(píng)論 1贊 261
  • 情欲美人皮
    我被黑心中介騙來泰國打工巷波， 沒想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留，地道東北人卸伞。 一個(gè)月前我還...
    沈念sama閱讀 45,467評(píng)論 2贊 352
  • 代替公主和親
    正文 我出身青樓抹镊，卻偏偏與公主長得像，于是被迫代替她去往敵國和親荤傲。 傳聞我的和親對(duì)象是個(gè)殘疾皇子垮耳，可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 42,762評(píng)論 2贊 345

推薦閱讀更多精彩內(nèi)容