建站
咨詢
售后
建站咨詢
新聞中心
在20世紀70年代末和80年代初期，Icon 編程語言主要由拉爾夫?格里斯沃爾德（Ralph Griswold）所設計的。在60年代，格里斯沃爾德負責過***個專門用于處理文本的編程語言 ――Snobol（String Orientated Symbolic Language）。Icon是基于Snobol思想而設計的下一代語言，然而它更加統(tǒng)一和完整。
創(chuàng)新互聯(lián)-專業(yè)網(wǎng)站定制、快速模板網(wǎng)站建設、高性價比察隅網(wǎng)站開發(fā)、企業(yè)建站全套包干低至880元,成熟完善的模板庫,直接使用。一站式察隅網(wǎng)站制作公司更省心,省錢,快速模板網(wǎng)站建設找我們，業(yè)務覆蓋察隅地區(qū)。費用合理售后完善，10余年實體公司更值得信賴。
在很多方面﹐Icon是***個“腳本語言”。它是一種非常高級別，具備出色的能力去處理文本數(shù)據(jù)并與其環(huán)境相結(jié)合的語言。迄今為止，它都是如此超前，這也許是它從沒有很流行的一個原因。早在Perl和TCL（這些語言開啟了腳本語言的熱潮）崛起之前好幾年，它就已經(jīng)出現(xiàn)了。
對于一個泡在BASIC、Fortran、PL/I、Pascal和C里成長起來的人，Icon就是個徹頭徹尾的異類。然而它教會了我許多至今都很有用的東西。
空集（Nullology）
當你調(diào)用一個Icon函數(shù)，它會做以下兩件事之一：它可以返回一個值，或者它會失效。失效聽上去類似于現(xiàn)代的異常處理機制，但是Icon的失效有以下幾個不同。首先，當一個Icon函數(shù)失效時，沒有指標說明它為什么失效。再者，失效是預期的。它總在發(fā)生，而且是Icon工作方式的一個重要部分。（它有一個單獨的、原始的、針對真正異常條件的錯誤處理機制。）
許多Icon的函數(shù)都是生成器（generator）――它們可以返回多個值。在某些情況下，Icon將持續(xù)調(diào)用該函數(shù)直到它失效。所以在Icon里，失效真正的意思是“沒有更多的值”。例如，下面是一個完整的Icon程序，把它的輸入復制到它的輸出：
- every write(read())
子句Every表示“這樣做直到它失效”。write()把它的參數(shù)寫到標準輸出，read()從標準輸入返回連續(xù)的行，最終在達到文件結(jié)束時失效。
在C語言里，失效通常被一些特殊保留的返回值，或者其他特設機制所表示（那些失效指標都太容易被遺漏）。直接從C轉(zhuǎn)到Icon后，上面那個小程序驚醒了我，讓我見識到了簡潔、傳神的美感。
***課
重要的是去區(qū)分有和沒有?；蛘呤且粋€函數(shù)的返回值，或者是一個變量的值，重要的是要能說“沒有一個”。
這一課幫我在幾年后認識到異常，也使我領(lǐng)會到其它語言，例如Lisp, Smalltalk, Ruby和（在某種程度上）Java，它們的變量包含可以為空的引用，而不是直接存儲數(shù)據(jù)。
一致性（Uniformity）
Icon是***個讓我用表達式語言做嚴肅工作的語言。也就是說，Icon沒有語句，只有包含結(jié)果值的表達式。我***次看到這個：
- sign := if count > 0 then 1 else -1
起初我真的很困惑，但很快我就明白是怎么回事。在Icon里，我所用來思考的“if語句”事實上只是一個“if表達式”，就像在別處一樣，它會有一個結(jié)果值。為什么不應該呢？我曾經(jīng)思考過這個問題，語句和我所熟悉的語言里的表達式之間的區(qū)別好像是人為的和任意的。進一步使用Icon的經(jīng)歷證明了這一點。這當然可能造成濫用構(gòu)造，產(chǎn)生費解的代碼。但是有時它們正是你做正確的事情所需要的。
第二課
通常情況下，你認為根本不相同的事情事實上完全相同。不要想當然認為你在某處學到的就是普遍真理。
這么多年來，這一課幫助我用許多新東西迅速武裝我的頭腦，包括語言，工具，編程范式和平臺。
事實（Truth）
我已經(jīng)提到了生成器和失效的語義。然而一旦你有可以返回多個值甚至失效的表達式，就出現(xiàn)一個問題-――類似 E1 | E2 這樣的表達式是什么意思？在多個值有意義的上下文，你可能需要一個定義；但是在傳統(tǒng)環(huán)境下，你可能需要一個不同的。所以看起來熟悉的結(jié)構(gòu)就像人們所習慣的。我不會討論細節(jié)（畢竟這不是一節(jié)Icon課），但是Icon設計師們能夠找到一個能工作在傳統(tǒng)結(jié)構(gòu)和新結(jié)構(gòu)兩種情況下的表達式，Icon思路共存，沒有特殊情況。所以，你可以做所有這些事情：
- if (i = 1 | i = 0) then ...
- if i = (1|0) then ...
- every write(read("header") | read("body") | read("footer"))
并且它們實現(xiàn)你所期待的。在上例中，“|”像一個連接操作符，結(jié)果是連接那三個文件。但是操作符的實際語義是不變的――所有這三個例子使用單一的“|”定義，結(jié)合生成器，表達式失效和目標導向評估。
第三課
我們所受的關(guān)于編程的教育正如我們所學的科學――很方便想到世界是如何真正運轉(zhuǎn)，但事實是我們就是不知道?？茖W給予我們的是似乎能解釋世界的理論，因為它們符合所有我們所能想到的實驗。但是隨著我們對世界的了解不斷擴大，遲早我們會認識到之前的理論只是一個近似。一旦事情變得足夠快，足夠大，牛頓是不夠的，我們需要愛因斯坦。（然后它們變得足夠小，我們就需要普朗克和波爾）。單值函數(shù)，布爾邏輯是足夠的，但當把生成器投向混合后，你就需要更多地東西。
這節(jié)課已經(jīng)幫了我很多次去處理復雜、混亂、有時前矛后盾的商業(yè)規(guī)則和需求。受Icon例子的啟發(fā)，我經(jīng)常成功找到更深、更簡單、更普遍的規(guī)則，能作為純粹的變化支持所有表面的合并。
表達（Representation）
當遇到Icon時，我還是一個Unix用戶，我已經(jīng)相當精通用作文本模式的正則表達式。Icon有一種極其復雜的文本模式機制，不是基于正則表達式，但是實際上更強大。（經(jīng)過Perl 6幾層經(jīng)典正則表達式添加，Perl的正則表達式最終實現(xiàn)了威力相當于Icon模式的功能。但那是另一個故事了。）
語言和協(xié)議往往用看起來像簡單的算數(shù)表達式的語法來描述：
- X := T | T "+" X
- T := E | E "*" T
- E := "x" | "y" | "z" | "(" X ")"
（僅支持變量x, y和z的加法和乘法。）
盡管很強大，但不可能實現(xiàn)一個像使用經(jīng)典的正則表達式那樣的語法解析器。（如果你以某種方式成功，也將會非常困難去維護和擴展該解析器。）
但是使用Icon的可編程模式機制，你可以實現(xiàn)這樣的解析器：
- procedure X()
- suspend [T()] | [T(), ="+", X()]
- end
- procedure T()
- suspend [E()] | [E(), ="*", T()]
- end
- procedure E()
- suspend [="x" | ="y" | ="z"] | [="(", X(), =")"]
- end
哇！這看起來就像語法！事實上會真的很容易去用語法編寫程序以生成解析器！
你可以這樣調(diào)用它：
- parseTree = line ? {X()}
Icon里的yacc是一個為期一天的黑客。
第四課
語法很重要。如果語法適合問題域（problem domain），程序則很容易理解。這就是為什么如果一種語言要很好的處理繁雜的數(shù)據(jù)時，即使它是一個危險的語言功能、容易被濫用，但操作符重載是必不可少的。強大的正則表達式看上去就像“正則表達式”。
這一課讓我知道什么時候去寫一點特定領(lǐng)域語言，而不是試圖擠入我現(xiàn)有語言的領(lǐng)域。（通常這是一個很容易的事情。）它把我推向動態(tài)的、可塑的語言，如Ruby（我敢說還有Lisp）更主流的東西。
（語法很重要這一課也大大加強――但以消極的方式――在每次我使用XSLT時。幸運的是，很快我就能使用XQuery去做所有現(xiàn)在得用XSLT去做的工作。）
(全文完)
英文原文：Glenn Vanderburg，感謝@dryrun 的翻譯
譯文鏈接：http://blog.jobbole.com/42136/
分享題目：我從Icon編程語言中所學到的
文章URL：http://m.5511xx.com/article/cccdshe.html
