国产一级a片免费看高清,亚洲熟女中文字幕在线视频,黄三级高清在线播放,免费黄色视频在线看

打開APP
userphoto
未登錄

開通VIP,暢享免費(fèi)電子書等14項(xiàng)超值服

開通VIP
Lisp語言一些看法
理論領(lǐng)域中的“代碼即數(shù)據(jù)”——
(1)純lambda演算中,所有的數(shù)據(jù)類型都可以表示成lambda表達(dá)式,所有的操作都是lambda表達(dá)式的應(yīng)用。
(2)邏輯編程中,數(shù)據(jù)和操作都可以歸結(jié)成邏輯項(xiàng)。

上個(gè)世紀(jì)50年代時(shí),人工智能研究中人們發(fā)現(xiàn)list這種數(shù)據(jù)結(jié)構(gòu)的威力,lambda表達(dá)式和邏輯項(xiàng)都可以用list在機(jī)器中表達(dá)。S表達(dá)式可算為list的書寫形式。

在這些因素的推動下,于是就有了麥卡錫及其人工智能團(tuán)隊(duì)發(fā)明(也可以說發(fā)現(xiàn))lisp語言的偉大傳說。S表達(dá)式非常偶然也十分必然的成為了lisp程序的書寫形式。

在理論意義上,lisp核心是可以和lambda演算、數(shù)理邏輯并列的一個(gè)新的形式系統(tǒng),語言內(nèi)核可以用一組公理表示。像PG這樣的死忠粉絲認(rèn)為,這正是lisp不同于非lisp語言的本質(zhì)之處,也是它與時(shí)俱進(jìn)的奧秘所在。

起初lisp多以解釋器實(shí)現(xiàn),元編程不需要宏,有eval就夠了,這和現(xiàn)在javascript之流類似。元編程=表處理+eval。 javascript中的json形式如果再開發(fā)一下,也可以成為元編程的工具。

直到上個(gè)世紀(jì)70年代lisp編譯器開始走上舞臺時(shí),宏才引入lisp主流。但是又一個(gè)歷史的偶然,讓lisp宏和其他語言的宏具有本質(zhì)的不同。
lisp的開發(fā)者如此熱愛這個(gè)語言,因此他們用lisp本身來寫它的編譯器,因?yàn)橄扔薪忉屍髟?。lisp的宏雖然本質(zhì)還是表處理,但由于在宏解析階段可以使用lisp解釋器,它可以使用lisp整個(gè)語言和庫,這和編寫一個(gè)lisp函數(shù)幾乎沒有區(qū)別。你無法想象在c語言宏中,你可以使用c語言自己。
所以死忠lisp粉絲如PG者,反對Scheme的宏設(shè)計(jì),因?yàn)槟鞘且粋€(gè)DSL,是從lisp的立場向非lisp語言倒退。

但是Scheme方言對lisp的發(fā)展也有很大的意義。
70年代在程序設(shè)計(jì)語言的歷史,另一個(gè)偉大的進(jìn)步就是面向?qū)ο蠹夹g(shù),smalltalk等許多新語言誕生了。lisp陣營的回答是,閉包是比對象更基礎(chǔ)的語言設(shè)施。Scheme語言把詞法定域引入了lisp語言,為閉包的實(shí)現(xiàn)打下了基礎(chǔ)。
又一個(gè)歷史的偶然,Scheme的語言的設(shè)計(jì)者之一又加入common lisp語言委員會,作為一個(gè)大雜燴,詞法定域和閉包特性就成為了common lisp的關(guān)鍵特征。

再說說死忠lisp粉絲的觀點(diǎn),哥不需要面向?qū)ο?,哥只要宏+閉包就ok了。

以上是我個(gè)人對lisp語言發(fā)展的淺見,三個(gè)歷史偶然造就了偉大的common lisp,純屬胡謅,大家見笑。

快過年了,希望能給組里的lisp同好們帶去一些歡樂。
本站僅提供存儲服務(wù),所有內(nèi)容均由用戶發(fā)布,如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請點(diǎn)擊舉報(bào)
打開APP,閱讀全文并永久保存 查看更多類似文章
猜你喜歡
類似文章
與Scheme共舞
InfoQ: 探索JVM上的LISP
Lisp 已死,Lisp 萬歲!
Scheme語言極其實(shí)現(xiàn)
你如何成為Lisp程序員
高級編程語言的發(fā)展歷程
更多類似文章 >>
生活服務(wù)
分享 收藏 導(dǎo)長圖 關(guān)注 下載文章
綁定賬號成功
后續(xù)可登錄賬號暢享VIP特權(quán)!
如果VIP功能使用有故障,
可點(diǎn)擊這里聯(lián)系客服!

聯(lián)系客服