色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內(nèi)不再提示

王垠的40行代碼是什么_王垠40行代碼專家解讀

汽車玩家 ? 來源:電子發(fā)燒友網(wǎng) ? 2018-04-11 18:01 ? 次閱讀

王垠

王垠[yín],四川大學97級本科畢業(yè),保送到清華大學計算機系直博。期間曾在清華大學計算機系軟件工程專業(yè)就讀,主要進行集成電路布線算法的研究。在此期間,他因《完全用GNU/Linux工作》一文和對TeX的推廣等“非研究成果的業(yè)余東西”而出名。 在只剩一年就要博士畢業(yè)的時候,他申請退學,并將1萬7千余字的“退學申請書”(題為清華夢的粉碎)公布在網(wǎng)上,引起輿論界一時對教育體制、理想主義等的熱議。

王垠的40行代碼

王垠的40行代碼是什么_王垠40行代碼專家解讀
王垠的40行代碼是什么_王垠40行代碼專家解讀
王垠的40行代碼是什么_王垠40行代碼專家解讀

40行代碼專家解讀

1. 背景知識

CPS: Continuation-Passing Style. 有一篇介紹 CPS 通俗易懂的文章(中文翻譯)。

簡單來講,CPS 是一種編程風格:

Javascript:

(原味)

function foo(x) {

return x ;

}

(CPS)

function cps_foo(x, return_point) {

return return_point (x) ;

}

CPS 多了一個參數(shù) return_point,return_point 來自 caller ,是 caller 所在的“世界”,caller 將這個“世界” 傳遞給 callee (cps_foo),這樣 cps_foo 就無須利用額外的工具(比如堆棧)去查詢 caller 的世界在哪里,以便返回,而是直接進入這個世界:return_point (x)。 這便是 CPS 的初衷 —— 去掉層層嵌套的世界。行話講就是 desugar(脫糖)。Syntax sugar 是為了方便人類的表達和理解,給編程語言的核心套上的一層好吃好看的外衣,而對機器對程序的解釋,需要將其還原到最本質的結構,以便機械化處理和優(yōu)化,這 就是脫糖的意義。

以函數(shù)式編程的觀點來看,return_point 是一個函數(shù),以 C 觀點來看,你可以把它理解為程序地址,或者,以 Matrix 來看,它是 key-maker 打開門進入新世界的那把鑰匙。“世界”上只有一個巨大的程序(比如,你的程序不過是在 chrome 里面運行的一個小程序,而 chrome 又是在 OS 里面的一個小程序),return_point 將各種小程序竄連起來了。恩,差不多就是這個意思。只不過,在函數(shù)式程序里面(比如Scheme)里面,return_point 是函數(shù),而在過程式程序(比如C)里面它更像是 0x4f36a0c4。

這段 40 多行代碼是給 Scheme 程序脫糖的程序,屬于解釋器的代碼,而不是應用代碼。對其的客觀評價顯然只有設計解釋器的人才能給出。對應用程序員的意義在于,發(fā)現(xiàn)每天上班時編寫的代碼多么無聊,此外并沒有任何實用價值。

2. 運行結果

‘x

’(lambda (x k) (k x))

‘(lambda (x k) (x 1 k))

’(f x (lambda (v0) (if v0 a b)))

‘(if x (f a (lambda (v0) v0)) b)

’(lambda (x k) (f x (lambda (v0) (if v0 (k a) (k b)))))

‘(lambda (x k) (let ((k (lambda (v0) (if v0 (k c) (k d))))) (if x (f a k) (k b))))

’(lambda (x k) (let ((k (lambda (v0) (if v0 (k c) (k d))))) (if x (k (zero? a)) (k b))))

‘(lambda (x k) (if t (if x (f a k) (k b)) (k c)))

’(lambda (x k) (let ((k (lambda (v0) (if v0 (k e) (k w))))) (if t (if x (f a k) (k b)) (k c))))

‘(lambda (x k) (let ((k (lambda (v0) (h v0 k)))) (if x (f a k) (k b))))

’(lambda (x k) (let ((k (lambda (v0) (v0 c k)))) (if x (f g k) (k h))))

‘(f a (lambda (v0) (g b (lambda (v1) (v0 v1 (lambda (v2) (f c (lambda (v3) (g d (lambda (v4) (v3 v4 (lambda (v5) (v2 v5 (lambda (v6) v6))))))))))))))

’(lambda (n k)

((lambda (fact k) (fact fact (lambda (v0) (v0 n k))))

(lambda (fact k)

(k

(lambda (n k)

(if (zero? n)

(k 1)

(fact

fact

(lambda (v1) (v1 (sub1 n) (lambda (v2) (k (* n v2))))))))))

k))

120

原代碼中最后一句 ((eval fact-cps ) 5 (lambda (v) v)) 在 racket 中要修改為:

((eval fact-cps (make-base-namespace)) 5 (lambda (v) v)) 才能通過算得 120。

3. 注釋

王垠的40行代碼是什么_王垠40行代碼專家解讀

4. 要點

ctx: 函數(shù)在執(zhí)行(apply)時候的上下文環(huán)境,可理解為 C 程序中運行時的棧。

整 個 cps 的(主要)過程就是 if 分支在不斷制造新的 ctx, 而 apply 分支(最后一個分支)不斷在新的 ctx 中 ‘計算’ (實際上是生成 cps 函數(shù)的代碼,而不是真的計算),并返回結果(到上一層 ctx)的過程。這個過程就是 scheme 的基本 eval-apply 過程。(參見SICP第四章)

這是一個解釋器(解釋成為 CPS 風格的代碼),同時也是一個CPS轉換器,正所謂 Compiling with Continuations. 另外,Scheme 這種代碼即數(shù)據(jù)(字符串列表)的特性,使得編寫生成代碼的代碼相對容易和簡潔。

至于代碼為何有 k 這個命名。呵呵,你可以叫它 kontinuation 或者 klosure.

5. 結論

以自然語言寫作比喻,編寫自解釋器級別的代碼,就像你在寫一本小說,而小說的主角也在寫一本小說,這位主角在描寫你,對你的刻畫會影響到你,你受到影響之后又會改變小說中的主角,從而影響到他對你的描寫。你倆要相安無事,情節(jié)合符邏輯地發(fā)展,直到最后圓滿的結尾。這比寫一本普通小說可難多了。

網(wǎng)友評價:

看來網(wǎng)友們關注的重點,都在王垠說的話上,很多網(wǎng)友都認為他在吹牛。但是也有網(wǎng)友為他說話的,覺得這40行代碼,確實很厲害,有些網(wǎng)友還悄悄的跑去運行了一下。

網(wǎng)友一:這40行代碼的價值,開始我是不以為然的。因為根本不懂它是干嘛用。直到自己水平的提升,又對這些代碼有研究,才發(fā)現(xiàn),這40行代碼的價值。

網(wǎng)友二:這40行代碼的價值既然不在于實現(xiàn)了CPS的算法,也不在于這段代碼寫得有多么精簡和巧妙。而是:獨立思考。

網(wǎng)友三:這段代碼的功能是自動把普通遞歸轉換為尾遞歸。

網(wǎng)友四:不懂js的人,就算是簡單的js代碼也看不懂的。 很多人看不懂不代表沒有人看得懂。

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • 計算機
    +關注

    關注

    19

    文章

    7488

    瀏覽量

    87854
  • 代碼
    +關注

    關注

    30

    文章

    4779

    瀏覽量

    68525
收藏 人收藏

    評論

    相關推薦

    北汽集團戰(zhàn)略投資小馬智7035萬美元

    日前,北汽集團戰(zhàn)略投資小馬智7035萬美元,小馬智于11月27日在美國納斯達克掛牌上市(股票代碼“PONY”),公開發(fā)行定價為13美元/ADS,融資額達2.99億美元,成為今年以來美股自動駕駛領域最大規(guī)模IPO。
    的頭像 發(fā)表于 12-02 11:46 ?334次閱讀

    自動駕駛企業(yè)小馬智登陸納斯達克

    近日,小馬智正式在納斯達克掛牌上市,股票代碼“PONY”,公開發(fā)行定價為13美元/ADS,融資額達2.99億美元,成為今年以來美股自動駕駛領域最大規(guī)模IPO。
    的頭像 發(fā)表于 11-29 09:59 ?152次閱讀

    小馬智納斯達克掛牌上市

    近日,小馬智正式在納斯達克掛牌上市,股票代碼“PONY”,成為Robotaxi第一股。在擴大發(fā)行規(guī)模后,若承銷商的超額配售權悉數(shù)行使,小馬智行將以每股13美元的發(fā)行區(qū)間價上限發(fā)行總計2300萬股
    的頭像 發(fā)表于 11-28 09:55 ?186次閱讀

    軟通動力領導一訪問福州大學

    軟通動力高級副總裁曉良、楊念農(nóng),軟通教育總裁林濤及福建新東湖集團有限公司董事長陳國平一來訪福州大學。校黨委陳國龍書記在行政南樓會見了客人并座談交流,郭文忠副校長陪同會見。
    的頭像 發(fā)表于 10-10 10:43 ?434次閱讀

    BQ40Z80量產(chǎn)校準代碼示例

    電子發(fā)燒友網(wǎng)站提供《BQ40Z80量產(chǎn)校準代碼示例.pdf》資料免費下載
    發(fā)表于 09-27 09:34 ?0次下載
    BQ<b class='flag-5'>40</b>Z80量產(chǎn)校準<b class='flag-5'>代碼</b>示例

    ensp啟動失敗,錯誤代碼40怎么回事

    ENSP(Enterprise Network Simulation Platform)啟動失敗并顯示錯誤代碼40,通常是由多種原因引起的。以下是一些可能的原因及相應的解決方法: 一、可能的原因
    的頭像 發(fā)表于 08-30 14:29 ?9086次閱讀

    中國汽研董事長周玉林一蒞臨國芯科技調(diào)研交流

    日前,中國汽車工程研究院股份有限公司(以下簡稱: 中國汽研 ,股票代碼: 601965 )董事長周玉林及副總經(jīng)理紅鋼一蒞臨蘇州國芯科技股份有限公司(以下簡稱“ 國芯科技 ”,股票代碼
    的頭像 發(fā)表于 08-13 09:54 ?570次閱讀

    在uCGUI的回調(diào)函數(shù)里加了代碼,stm32無法啟動怎么解決?

    我是一個初學者。最近在寫一個uCGUI上的小應用的時候遇到了這樣的問題,我在MULTIEDIT控件的回調(diào)函數(shù)里加了一代碼,運行我自己寫的一個用于計算的函數(shù),在沒有加這一代碼的時候運
    發(fā)表于 04-24 07:06

    百度首席技術官海峰解讀文心大模型的關鍵技術和最新進展

    4月16日,以“創(chuàng)造未來”為主題的Create 2024百度AI開發(fā)者大會在深圳國際會展中心成功舉辦。百度首席技術官海峰以“技術筑基,星河璀璨”為題,發(fā)表演講,解讀了智能體、代碼、多模型等多項文心大模型的關鍵技術和最新進展。
    的頭像 發(fā)表于 04-18 09:20 ?691次閱讀
    百度首席技術官<b class='flag-5'>王</b>海峰<b class='flag-5'>解讀</b>文心大模型的關鍵技術和最新進展

    賈揚清的500代碼,掀翻了Perplexity5.2億的桌子?

    500代碼VS估值5億1月25日,自從宣布創(chuàng)業(yè)后就備受社區(qū)矚目的賈揚清,在推特上展示了一個對話式搜索引擎的demo。這個demo基于他創(chuàng)辦的LeptonAI提供的框架,“只用500python
    的頭像 發(fā)表于 04-17 08:05 ?128次閱讀
    賈揚清的500<b class='flag-5'>行</b><b class='flag-5'>代碼</b>,掀翻了Perplexity5.2億的桌子?

    贛江新區(qū)黨工委副書記萬征一,蒞臨我司調(diào)研半導體產(chǎn)業(yè)發(fā)展情況!

    贛江新區(qū)高層視察引領高科技企業(yè)再上新臺階1月31日,贛江新區(qū)黨工委副書記、管委會主要負責同志萬征一蒞臨江西薩瑞微電子技術有限公司參觀。這不僅是一次簡單的視察,更是對江西薩瑞微電子技術有限公司在
    的頭像 發(fā)表于 04-13 08:38 ?302次閱讀
    贛江新區(qū)黨工委副書記<b class='flag-5'>王</b>萬征一<b class='flag-5'>行</b>,蒞臨我司調(diào)研半導體產(chǎn)業(yè)發(fā)展情況!

    湖南大學校長、耀南院士一赴中科億海微調(diào)研指導

    近日,湖南大學校長、耀南院士帶隊赴中科億海微電子科技(蘇州)有限公司(簡稱中科億海微)北京研究院調(diào)研指導,魏育成總裁率隊接待。段校長及院士一參觀了企業(yè)展廳,并詳細了解了中科億海微業(yè)務領域
    的頭像 發(fā)表于 02-19 12:17 ?836次閱讀
    湖南大學校長、<b class='flag-5'>王</b>耀南院士一<b class='flag-5'>行</b>赴中科億海微調(diào)研指導

    國產(chǎn)FPGA:湖南大學段獻忠校長、耀南院士一赴中科億海微調(diào)研指導

    近日,湖南大學段獻忠校長、耀南院士帶隊赴中科億海微電子科技(蘇州)有限公司(簡稱中科億海微)北京研究院調(diào)研指導。魏育成總裁率隊接待。段校長及院士一參觀了企業(yè)展廳,并詳細了解了中科億海微業(yè)務領域
    的頭像 發(fā)表于 02-04 10:10 ?945次閱讀

    NTG40S240-VFQFPN 5.0 x 5.0 x 0.75 mm機身包裝外形圖包裝代碼

    電子發(fā)燒友網(wǎng)站提供《NTG40S240-VFQFPN 5.0 x 5.0 x 0.75 mm機身包裝外形圖包裝代碼.pdf》資料免費下載
    發(fā)表于 01-05 10:44 ?0次下載
    NTG<b class='flag-5'>40</b>S240-VFQFPN 5.0 x 5.0 x 0.75 mm機身包裝外形圖包裝<b class='flag-5'>代碼</b>

    ad7656串輸出代碼

    ad7656串輸出代碼是一段常見的嵌入式系統(tǒng)開發(fā)代碼,用于控制外部設備進行串行通信。本文將詳細介紹該代碼的功能、結構、使用方法以及注意事項。 首先,了解ad7656是什么。 AD76
    的頭像 發(fā)表于 12-28 10:38 ?923次閱讀
    主站蜘蛛池模板: 国产视频精品在线偷拍| 97人妻无码AV碰碰视频| 美女叉腿掰阴大胆艺术照| FREE17一18外女破| 同桌别揉我奶了嗯啊| 精品96在线观看影院| 99精品免费久久久久久久久日本| 日日夜夜操操操| 日本理论片和搜子同居的日子2| 吃奶吸咪咪动态图| 91精品国产高清久久久久久| 色婷婷狠狠97成为人免费| 好男人好资源视频高清| 45分钟做受片免费观看| 色即是空之甜性涩爱| www免费看.男人的天堂| 欧洲最大无人区免费高清完整版| 白丝高中生被c爽哭| 果冻传媒剧情在线观看| 最新男同鸭子ktv| 嫩小幼处在线| X8X8拨牐拨牐X8免费视频8午夜| 日韩高清毛片| 国产美女又黄又爽又色视频网站| 午夜伦理:伦理片| 中文字幕va一区二区三区| 男男被强bl高h文| 国产女人喷潮视频免费| 中文字幕一区二区三区在线播放| 色播播影院| 久久在精品线影院| 国产成在线观看免费视频| 中文字幕一区二区视频 | 欧美日韩精品一区二区三区高清视频| 国产精品爽爽久久久久久竹菊| 1234成人网| 小SAO货水真多把你CAO烂| 蜜柚在线观看免费高清官网视频 | 久久视频在线视频| 囯产精品久久久久久久久免费蜜桃| 樱桃BT在线观看|