當然現在誰都可以走,就是他,陳諮怎麼也不會讓逃脫了自己的手掌心。
因爲他研究的函數語言,陳諮自己推測是最適合漢語作爲計算機語言的關鍵之一。
本身漢語就比較的函數話,不過目前纔剛剛在寫博士論文的邵中,在函數式編程語言上的研究開始了沒有,還是個未知數?
這傢伙應該是明年94年纔拿到普林斯頓大學計算機博士學位的,不過一畢業就成了耶魯的助教,應該是已經有研究方向了纔是。
陳諮握手的時候就有點患得患失的問了句:“邵博,聽說您現在正在寫自己的博士論文,不知道到我有沒有榮幸知道您的研究方向。”
邵中倒是沒有奇怪,早知道面前的陳諮是和鄒求真一樣的怪胎,聽說是個金融天才,玩得轉金融的傢伙,一般都是數學很好的人物,而數學很好的傢伙,只要自己感興趣,弄懂計算機不是啥難事。
尤其是這傢伙還設計了“拳皇”這樣的風靡世界的大型遊戲,這遊戲,就是自己都喜歡玩幾把,要說對方不懂計算機,那就真是笑話了。
這話引的所有人都感興趣,他們這班都是少年班的畢業的角色,在他們這個臨時團隊裡本來就比較注目一些,尤其是鄒求真和邵中都在畢業的坎上還是團隊裡年紀最小的兩人,不引起注意都難。
美國的博士論文的要求可是真很嚴格的,很多人被直接卡的一輩子都畢不了業。
”哈!這沒啥不能夠說的,我的博士論文研究的是一個比較新闢的一個方向,是研究函數式編程語言方面的,不知道您有沒有研究。“邵中有點羞赧的道。
引得衆人都看了過來,這裡的人大多數都懂點計算機,就是張輝這個機械工程博士,研究的也是自動化的機械,也是計算機高手。
但是懂函數式編程語言的還真沒有,這個學科纔剛剛興起,甚至很多人都沒聽說過。
陳諮聞言先就放下了大半的心,看來即使沒有達到未來函數語言頂級大佬的地位,但是至少是已經頗有研究了。
那估計現在來做漢語言的編程語言問題也不大,函數式編程語言,固然是可能成爲未來智能時代最重要的推手,但是其沒有任何知名度的缺點在現在這時候,可是很影響推廣的。
“嗯!我也不是很瞭解函數語言的,只是知道和指令式編程相比,函數式編程強調函數的計算比指令的執行重要。”
“和過程化編程相比,函數式編程裡函數的計算可隨時調用。”
“但是,我最看重的是它沒有‘副作用’,而且它接近自然語言,易於理解,對我們目前華國的計算機基礎薄弱,軟件從業人員少來說,是一個巨大的優勢。”
“同時,代碼簡潔,開發快速,更方便的代碼管理,易於’併發編程‘,代碼的熱升級等等優點實在是太多了,我覺得對於我們漢語的多聯想判斷特點,和函數式編程的特點實在是太匹配了。”
(函數式編程沒有副作用,只要保證接口不變,內部實現是外部無關的。所以,可以在運行狀態下直接升級代碼,不需要重啓,也不需要停機(這就是熱升級)。Erlang語言早就證明了這一點,它是瑞典愛立信公司爲了管理電話系統而開發的,電話系統的升級當然是不能停機的。)
“至於它的缺點——嚴重耗費CPU和存儲器資源,這點我覺得不是不可以克服,我們完全可以在編譯層次和I/O(輸入和輸出)中斷的規則方面,或者直接在指令集裡面對其進行歸納,或許這是未來我們芯片的最大亮點也不一定呢?”
“大家覺得呢?”
邵中本來只是禮貌的問一下,畢竟自己的這個研究方向在國際上現在也是一個冷門的方向,就目前的騙程語言來說,結構化的高級語言過程思想是主力。
就是在美國這個軟件最發達的國度,面向對象的編程思想也纔開始進入使用,但是真正商業的開發還很少,就別說面相對象往後的函數式編程了。
但事實上這不是不沒法逾越的障礙,真正的桎梏,陳諮覺得是美國已經定義的各種芯片結構體系和操作系統體系決定了語言發展的趨勢。
如果從最根本的CPU結構、指令集、編譯器、再到彙編語言從開始就考慮函數式編程思想的融合,或許會是另外一番風景。
這在華國目前一窮二白的計算機信息發展情況是完全可行的,而在美國卻不行,因爲其已經在這個結構上,有了利益龐大的應用者,猛然這麼另起竈爐,可能導致產業崩潰。
而且商業上也行不通,比喻最核心的提供CPU產品的Intel公司、AMD、IBM、DEC、SUN這些大型巨型的信息產業根源公司,他們不可能丟棄這麼多年積累在其固有的CPU平臺上的技術積累,重新開始一套新的體系開發。
這樣的風險完全是無法預估的,全新開發的體系技術風險不說,開發出來誰願意接受一款上面沒有任何應用,而且差異巨大,移植也需要巨大成本的平臺呢?
所以美國的信息產業註定只能按部就班的繼續前世的軌跡發展。
但陳諮可是上世飽受了美國信息霸權凌霸的感受了,怎麼會再想這樣繼續去體會一次?
特別是後來***上臺後,這個商人總統,總是以經營公司的手法來經營一個帝國。
搞得屢屢揮舞着華國沒有CPU、沒有操作系統,甚至互聯網開關在美國手裡的這種戰略優勢來訛詐華國。(互聯網根域服務器全球13臺,美國獨有10臺,華國一臺沒有,關閉這服務器,或者屏蔽華國的連接,相當於把華國斷網,不是斷開華國一個區域,而是華國內的所有電腦都沒法聯網,前世美國就給伊拉克來這這麼一手,讓其好幾年成了沒互聯網的信息孤島。)
最關鍵的是,這世的陳諮走到了這個地步,不再是上次那個和這樣層次的博弈沒多少關係的屁民。
這世自己鐵定會比上世的爲華和興中公司走的更遠,就是興中公司,單單只是部分配件被限制,就被美國都逼的快破產,就別說最關鍵的CPU,那自己公司在這樣的體系下做的更大,豈不是同樣被打擊的更加慘。
這纔是陳諮較勁腦汁進入半導體,又是搞CPU、又是搞操作系統的,甚至乾脆想繞開美國的半導體信息產業體系,單獨搞一套新體系的關鍵和初心。