原文地址：
https://medium.com/@reinman/the-larger-story-of-rho-11d180d8664d
更新：BlackRock?宣布他們的意圖
尋求更好的技術
在并購領域工作使我能夠觀察到各種昂貴的軟件實際上是如何被使用的 - 而不是供應商銷售它們的方式。因為我也參與了匯總，所以我也看到了被拋棄的東西。我最喜歡的工作是讓陷入困境的企業(yè)項目重回正軌，因為這是首席財務官放棄硅谷并準備好進行一些新思維的地方。
敘述生動的夢
我現(xiàn)在將嘗試提供一些 post-lambda 計算的詳細背景故事（如RChain），以便去中心化社區(qū)了解該領域的相關工作。多年來花費了數(shù)十億美元試圖超越lambda，但大多數(shù)都隱藏在秘密項目中。我絕不是這個話題的最后一個詞我盡量不去美化或掩蓋太多，同時也盡量不被起訴或是發(fā)現(xiàn)自己在一場離奇的事件中。本文中的所有內(nèi)容都應被視為虛構(gòu)用于娛樂目的。
?post-lambda?藍海
一旦共識部分被解決了，例如通過Proof of Stake，你就面臨著構(gòu)建一個?post-lambda?機器的困境。這些都是未知海域。
這意味著區(qū)塊鏈項目正在駛?cè)脒@片未知海域......
RChain背后的各種過程或“運行時”演算（演算？）已經(jīng)流傳了很長時間，但我相信RChain的Meredith在將其正式化方面做得最好。在90年代早期，有關OO的巨大興奮和炒作，但特別是（對于Milner粉絲）代碼和數(shù)據(jù)的奇特雙重性。有趣的是，就在高盛開始研究SecDB的同時，卡內(nèi)基·梅隆和麻省理工學院開始研究post-lambda機器。
卡內(nèi)基·梅隆
卡內(nèi)基梅隆大學的研究重點主要是機器人技術。美國國防部高級研究計劃局正在探索EOD(爆炸物處理)以及自動化航空維修等應用。CMU與波音在圣路易斯的研發(fā)部門(當時是McDonnell-Douglas公司)合作，開發(fā)了一種用于F-15計劃和F/ a -18計劃的VM。VM本身是針對手持設備的，但這種技術的主要挑戰(zhàn)是找到描述和管理后lambda結(jié)構(gòu)的方法。由于代碼和狀態(tài)都必須同時進行編碼，航空航天工業(yè)正在擺弄SGML和XML語法(這可能看起來晦澀難懂，但讓人想起SGML也產(chǎn)生了HTML和萬維網(wǎng))。盡管我們都喜歡閱讀JSON，但XML是一種更豐富的格式。
波音公司和對象計算
圣路易斯的核心方法是OODBMS——主要是因為它是自然模型運行時為圖結(jié)構(gòu)。Lambda程序員傾向于將程序看作是受穿孔卡片啟發(fā)的文本文件中惰性符號的產(chǎn)物，但計算機在內(nèi)存中并不這么認為。由于最初的波音原型是C + +，許多開發(fā)人員都開始形成了OCI，這是一種很自然的適應過程，同時也很適合EOS和IOTA。
波音公司的Longbow Apache計劃實際上是第一個在圣路易斯之前進行生產(chǎn)的項目，因此他們在了解這項技術的實際運作方面領先一步。面向?qū)ο?關系模型的戰(zhàn)爭非常激烈(在功能和執(zhí)行級別上都是史詩級的)，但在政治之外，很明顯，以lambda為中心的計算機科學理論在本質(zhì)上是不完整的。pi演算顯然具有相關性，但硅谷當時正處于分離過程中（the midst of divorce），不想聽到這些。
進入金融
錢沒有這種情感包袱。Visa的研發(fā)團隊對基于OODBMS / graph-based VM?技術很感興趣，因為他們認為這種斷開很大程度上是硬件實現(xiàn)問題——他們龐大的IBM處理系統(tǒng)實際上是用匯編語言編寫的，而他們的業(yè)務模式是一個龐大的Milner式交換機。Visa對topos理論和Bill Lawvere的工作大加贊賞，因為他們只想將運行時映射到更高的抽象級別，而不被lambda rathole所吞噬。換句話說，Visa有能力從實際機器中逆向操作。
華爾街
由于C ++內(nèi)存虛擬機的速度非?？?，因此受到排斥的OODBMS供應商從Visa獲得靈感，并將自己重塑為高速交易系統(tǒng) - 例如芝加哥證券交易所。對于華爾街而言，虛擬機與優(yōu)化rho演算延續(xù)（前置條件，后置條件，記憶和依賴管理）的能力并不相關。這是關于Mark Higgins和Kirat Singh重新發(fā)明Excel電子表格并讓高盛走向世界統(tǒng)治的關鍵時刻。
高盛的SecDB在2015年成為開放源代碼 - 高盛集團仍然在追逐阿萊尼科夫?- 但這只貓已經(jīng)遠遠超出了曼哈頓的包。紐約市超越硅谷，成為高速后lambda VM的全球領導者。接下來是JPM，然后是BofAML，華盛頓廣場，Beacon，瑞士信貸等，最終與MSCI的大規(guī)模Scala努力達成一致，這可能是Pyrofex最接近的地方。對于讀者來說，為什么貝萊德剛搬到布達佩斯試圖收獲MSCI人才應該不足為奇。
空客的故事
post-lambda 蓬勃發(fā)展的另一個地方是European aerospace，這主要是由于他們自身的慘痛教訓。Lambda演算是簡單地給計算機一個關于如何運行您的業(yè)務的指令列表。不幸的是，lambda沒有考慮如何管理數(shù)據(jù)。事實上，lambda在這方面有一個幾乎災難性的弱點，尤其是如果您的業(yè)務是數(shù)據(jù)驅(qū)動的。這就是空客在不同地點使用同一款軟件的不同版本所造成的61億美元成本超支的原因:
“ 德國和西班牙的空客工程師堅持使用早期版本的巴黎Dassault Systemes的CATIA設計軟件，盡管法國和英國辦事處已經(jīng)升級到CATIA 5.這意味著德國團隊無法添加他們的設計更改將電線連接回圖盧茲生產(chǎn)的普通三維數(shù)字樣機”
總之，A380有320英里長的電線……在安裝過程中，這些電線有點短，因為范思哲的軟件無法就如何彎曲導線達成一致。也許更大的問題是，波音在1970年是如何在沒有這些花哨的電腦的情況下生產(chǎn)747的。
拓撲：管理數(shù)據(jù)
由于lambda缺乏數(shù)據(jù)支持，因此企業(yè)客戶必須聘請各種數(shù)據(jù)供應商，這些供應商試圖通過某種方案來處理lambda（通常是笨拙地），以便布局和管理數(shù)據(jù)，例如 一個“拓撲”。 當然，三個主要陣營（嚴格的順序）是關系，圖形和鍵/值。 通常開發(fā)人員在他們的頭腦中以“關系”模型開始，但進行調(diào)整以適應現(xiàn)代DevOps考慮因素。
但布線不同，并不完全適合這些范例。 這將我們帶入pi演算等。與我們在OO和monad中看到的二元性不同，這不僅僅是數(shù)據(jù) - 還有傳輸質(zhì)量......就像電線一樣。 談到線框，CAD起源于法國，并且由于空中客車的災難，毫不奇怪，INRIA是post-lambda研究領域的領導者，而不是硅谷。
人工智能自動化
與此同時——回到CMU機器人技術——這項技術的自動化潛力在很大程度上還未被開發(fā)。很高興看到RChain提供研究經(jīng)費來探索區(qū)塊鏈和AI。通用電氣的研發(fā)部門特別意識到rhostyle orchestration實際上是一種人工智能自動化的形式，他們開始探索Peter Wegner的方法。埃隆?馬斯克(Elon Musk)也將這方面的技術運用到特斯拉(Tesla)上，但他顯然還在應對其他問題。
在我看來，訣竅在于恰當?shù)亟蛹{充滿活力的特質(zhì)，而這正是艾倫?凱(Alan Kay)經(jīng)常告誡硅谷不要忽視的。因此，自動化一直是我在《盜夢空間》中的主要研究方向。幾年前，我在深水石油公司(deepwater oil)中應用了一些受通用電氣(GE)啟發(fā)的概念(這些概念也應用于其他軍事項目，即波士頓動力公司(Boston Dynamics))，其結(jié)果令人震驚，我希望在大型科技公司掌握它之前，看到它在分散化的社區(qū)中蓬勃發(fā)展。對我來說，這是一種需要部署以驅(qū)逐根深蒂固的勢力的核力量。
RChain, Pyrofex 和 Inception
RChain擁有業(yè)內(nèi)最優(yōu)秀的人才——Meredith、Foster、Stay和其他。我希望 RChain 領導層能夠理解藍海的潛力，而Pyrofex應該把Inception這樣的替代平臺視為一種提高RChain市場滲透力、擴大整體生態(tài)系統(tǒng)的途徑。RChain是與強大的數(shù)十億美元鯊魚對抗，它們絕對是無情的。即使在區(qū)塊鏈社區(qū)中，RChain也面臨著類似的項目，如Cardano、EOS、IOTA等，這些項目都有類似的Milner引擎，而且它們主網(wǎng)已經(jīng)上線。RChain是合作社的設計,我們都可以在一起工作!
