<rt id="bn8ez"></rt>
<label id="bn8ez"></label>

  • <span id="bn8ez"></span>

    <label id="bn8ez"><meter id="bn8ez"></meter></label>

    莊周夢蝶

    生活、程序、未來
       :: 首頁 ::  ::  :: 聚合  :: 管理
        昨天在讀到《Programming Erlang》第8章,開篇點出Erlang是一門純粹的消息傳遞風格語言(message passing),我才算是領悟了消息傳遞。為了這個問題,我還冒昧地去問javaeye上的T1,對這個問題的興趣是因為SICP第二章以及《失蹤的鏈環》上的介紹。T1給我解答如下:智能能對象只是消息傳遞的一種具體應用.消息傳遞說的更為清晰一些就是一種映射關系或者說映射規則.f:a->b;這個規則可以是任意的。我一直將procedural representations of data,也就是sicp中聲稱intelligent data objects (智能對象)等價于消息傳遞, 而其實智能對象僅僅是消息傳遞的一種具體應用罷了。
    消息傳遞機制通俗地來講就是類似于馬路上到處投遞小廣告的投遞者,它采取的是Send and Pray策略,既不關心消息是否能精確的傳送到真正需要消息的接收者,而是以廣播的方式把消息發送給所有人,然后通過回饋來確定消息接收者的類型(引自《失蹤的鏈環》)。因此,動態語言的duct typing是消息傳遞風格,智能對象是消息傳遞風格,顯然,Erlang的process間的通信機制同樣是消息傳遞風格(Process之間完全通過send message來進行控制和指示,不確定接收方是否具有處理消息的能力 ,異步的,接收的確認也要等待reply)。
        再來說說lambda算子理論,推薦下g9老大的lambda算子系列文章,這是開篇《lambda算子簡介1.a》,以及另外一篇《康托爾、哥德爾、圖靈——永恒的金色對角線(rev#2)》。lambda算子理論是函數式編程的理論基礎,通過9條公理就可以推到出一個圖靈完備的形式系統,其中的Y combinator的推導簡直是魔法(為了表示遞歸),再次領略了計算理論的魅力。另外,最近讀sicp第三章《模塊化、對象和狀態》,也理解了最初的面向對象思想來自何處,在引入了內部狀態模擬時間變化之后,對象的最初思想也產生了,同時也帶來了賦值導致的Side-Effect,而其實這正是動態OO語言中的對象的理念,通過消息來決定對象的type(ducktyping)??涩F代的靜態OO語言,在type和clas
    之間畫上了等號,java里面說一切都是object,其實他想表達的卻是一切都是class,通過type以及函數簽名等來決定消息的分派(message dispatch),導致更多的代碼集中在消息分派,而不是真正的計算任務上,可以說靜態OO已經偏離原始的對象模型很遠。
        一點胡思亂想吧,我沒有科班經歷,所有的東西都是自己在學,在摸索,如有理論和常識上的謬誤,請不吝賜教。
    主站蜘蛛池模板: 亚洲综合一区二区国产精品| 亚洲国产精品无码久久久蜜芽 | 免费在线观看视频a| 亚洲精品无码日韩国产不卡av| 国内精品乱码卡1卡2卡3免费| 亚洲导航深夜福利| 亚色九九九全国免费视频| 亚洲国产一区在线观看| 国产福利在线免费| 亚洲色无码专区一区| 国产日产成人免费视频在线观看 | a毛片免费在线观看| 亚洲综合精品香蕉久久网| 最新国产乱人伦偷精品免费网站| 亚洲成av人影院| 最近中文字幕高清免费中文字幕mv| 久久亚洲精品成人av无码网站| 国产在线观看麻豆91精品免费| 亚洲国产精品午夜电影| 女人18毛片a级毛片免费| 免费看一级高潮毛片| 亚洲成亚洲乱码一二三四区软件| 最近免费中文字幕大全免费 | 久久无码av亚洲精品色午夜| 免费在线观看的黄色网址| 色www永久免费| 亚洲国产模特在线播放| 免费一级毛片正在播放| 久久九九全国免费| 亚洲香蕉在线观看| 亚洲乱码中文字幕综合234| 91禁漫免费进入| 亚洲1区2区3区精华液| 国产亚洲av片在线观看播放| 中文字幕无码免费久久99| 成人免费网站久久久| 亚洲无成人网77777| 无码国产亚洲日韩国精品视频一区二区三区| 青青操免费在线视频| 亚洲色大情网站www| 国产亚洲一区二区三区在线观看|