| 20年后，我們用什么樣的語言？也許現(xiàn)在誰都不好回答，20年前的程序員們會告訴你用匯編吧，今天人們也許會告訴你用c語言(c++?)吧。那么20年后呢，也許不是c語言了吧。下面都是所謂的非主流語言，不過它們的設(shè)計思想、所能夠完成的功能，絕對不比c語言差。也許將來它們會成為主流，也許不會，可是不管怎樣，它們都有自己的閃光之處。 --->你要么站在電腦的硬件上編程，要么站在巨人的肩膀上編程，請選擇吧。 PROLOG人工智能領(lǐng)域常用的語言，開發(fā)自然語言分析，專家系統(tǒng)，以及所有和智能有關(guān)的程序，都非常拿手?？梢缘轿业闹黜搧韺W習這門語言 http://cdtzx.go.163.com/ Visual Prolog http://www.visual-prolog.com/ 顧名思義，這是一個可以制作界面的Prolog，有試用版本下載，大概20M左右。這個prolog版本需要對謂詞以及數(shù)據(jù)進行聲明，就像C語言一樣。因此在使用的時候比較復雜，不過更加適合編制較大的程序。編譯出來的程序可以直接運行。 Amzi! Prolog http://www.amzi.com/ 這個prolog版本包含解釋器、編譯器，不過編譯出來的程序不能夠直接運行，需要運行器運行?？梢院芊奖愕暮推渌Z言（例如visual basic，java，C，CGI）連接，開發(fā)智能程序。解釋器的運行效率較低。它所說使用的語法體系和visual prolog不同，程序需要進行適當?shù)男薷牟拍軌蛟趘isual prolog中運行。 SWI Prolog http://www.swi-prolog.org/ 我沒有怎么使用過這個版本的prolog解釋器，不過它的運行速度要比amzi prolog的解釋器快，和amzi的編譯之后的程序差不多快，如果下載圖形軟件包XPCE的話，還可以開發(fā)有界面的程序。它的語法和amzi prolog相同，程序可以通用，不過內(nèi)部謂詞有些不同，有時候需要修改一下。 Turbo Prolog 如果需要可以給我發(fā)郵件 Dos版本的prolog，有開發(fā)界面，可以編譯成可執(zhí)行文件，語法和visual-prolog相同，不過內(nèi)部謂詞有許多出入。 B Prolog www.cad.mse.kyutech.ac.jp/people/zhou/index.html 好像是中國人開發(fā)的prolog軟件，據(jù)說比其它的prolog運算速度都要快，我曾經(jīng)在linux下面使用過這個prolog，也有window版的，不過沒有什么集成開發(fā)環(huán)境。語法和其它的幾個都不太相同，需要適當?shù)男薷某绦虿拍軌蛟诖谁h(huán)境下運行。此prolog提供了許多測試速度的解謎題的程序,這個版本的prolog支持constraint程序設(shè)計。 Strawberry Prolog http://www.dobrev.com/ 1兆的容量，包括完整的開發(fā)界面，幫助，例程，提供了幾個棋類游戲的源程序?？梢灾苯娱_發(fā)有界面的prolog程序，共享版不能夠編譯，就解釋執(zhí)行吧。 Sicstus Prolog http://www.sics.se/sicstus/ Sicstus Prolog無疑是Prolog版本中最出色的，雖然它并不是免費軟件，但是可以下載到有時間限制的試用版本，而且只要修改時間也可以無限期的使用下去（過期之后修改時間也不會有問題）。它語法與amzi prolog類似，都屬于ISO標準，內(nèi)部胃詞豐富，提供了豐富的庫，例如集合、圖、帶權(quán)圖等等。支持unix和windows等各種操作系統(tǒng)平臺。支持constraint程序設(shè)計。 LISP人工智能語言的老大哥。語言格式只有一個形式：列表，所以也叫做表處理語言，這可不是一般的表，是可以包容任意結(jié)構(gòu)的表，有了它，你還用c語言來寫鏈表，二叉樹的程序么？學習數(shù)據(jù)結(jié)構(gòu)不妨使用lisp，讓你更加關(guān)心算法，而不是數(shù)據(jù)如何在計算機內(nèi)部表達。 XEmacs http://www.xemacs.org/ 與著名的guns emacs編輯器的起名，并且界面更加友善，內(nèi)帶emacs lisp, 和許多使用lisp編寫的工具軟件，例如calc, 是一個功能強大的計算器，支持符號運算，有全部的源程序，如果能夠好好研究這些源程序，收獲一定不小。 common lisp http://www.franz.com/ windows下的common lisp集成開發(fā)環(huán)境， 60天試用。 Lisp Work common lisp http://www.xanalys.com/ 無限期使用，沒有任何功能限制 SCHEME 這是lisp的一種方言，比lisp更加標準化。 MIT Scheme http://mitpress.mit.edu/sicp/ 這里有一本非常好的介紹編程技術(shù)的書，使用的語言是lisp/scheme。在這里還可以下載到Scheme的解釋器，基本上是模仿emacs作的。 DrScheme http://www.drscheme.org/ DrScheme是一個Scheme語言的交互式的集成開發(fā)環(huán)境。非常適合于教學使用。支持多種語言級別（初級、中級、高級等等），有豐富的界面庫，支持TCP/IP。內(nèi)帶詳細的幫助和教程。 FUNCTION LANGUAGE這是一類語言，叫做函數(shù)型程序設(shè)計語言。是一種非常高級的語言。一種基于λ演算和在70年代后期才發(fā)展起來的新語言類型。大多數(shù)程序設(shè)計語言明顯地規(guī)定要執(zhí)行操作的次序。次序的詳細規(guī)定是很需要的,因為語言的語句對程序的變量有“作用”,如果改變這些作用的次序,就可以改變產(chǎn)生的最后值。但是函數(shù)型語言卻沒有這種性質(zhì)。在這個意義上,函數(shù)型語言能建立可計算性的數(shù)學公式模型。讓我們來看一個簡單的例子： qsort :: [a] -> [a] | Ord a qsort [] = [] qsort [a:xs] = qsort [x \\ x<-xs | x<a] ++ [a] ++ qsort [x \\ x<-xs | x>=a] 這段程序就是快速排序的代碼，你看有多么簡潔，并且它的這個qsort可以對任何類型的數(shù)據(jù)進行排序（只要這種數(shù)據(jù)可以比較大?。?。想讀懂上面的程序么？那么下載下面的clean, 或者haskell，好好研究吧，祝你有新的發(fā)現(xiàn)。 Clean http://www.cs.kun.nl/~clean/ 并行的函數(shù)型語言，可以把源程序編譯成exe文件，帶有豐富的庫，從tcp/ip, 到界面設(shè)計，到游戲開發(fā)，無一不全。 Haskell http://www.haskell.org/hugs/ hugs是haskell的免費編譯器，語法和clean相似，不過是解釋執(zhí)行，因此易于學習。 O‘Caml http://www.ocaml.org/ 又一個函數(shù)型語言，速度很快，編譯出來的程序速度和用Ｃ做出來的差不多快。 Mozart OZ http://www.mozart-oz.org/ mozart oz 是具有魔力的語言。它融合了目前幾種流行的程序設(shè)計思想，我們叫它多范式語言。它是面向?qū)ο蟮恼Z言，它是函數(shù)型的語言，它是約束邏輯(constraint)的語言，它是并發(fā)式的語言，它還是分布式的語言，幾句話很難概括它的功能。最好去它的網(wǎng)站看看吧，下載一個慢慢研究？ 他使用emacs作為開發(fā)界面，因此如果你想在windows下使用本語言，首先需要安裝emacs for windows（也可以在mozart的網(wǎng)上找到，也可以去www.gnus.org去找，也可以安裝xemacs）, 如果你安裝了emacs 那么你也就同時獲得了emacs lisp, 呵呵，收獲不小。 為了提起您的興趣，請思考如下的問題如何編程解決，然后你可以在mozart中找到驚人簡單的解決方案。 15個人每天出去玩，每天分為5組，每組3人，玩一個星期，使得任何兩個人都曾經(jīng)在一組中玩過，你如何安排？ J software http://www.jsoftware.com/ 不要和java搞混淆了。J是一種面向陣列的語言，也就是說矢量，矩陣，以及高次數(shù)組都是它的最基本的數(shù)據(jù)類型，J中引入了大批量的運算符，以及獨特的算式分析方法，大幅度的擴展了數(shù)學算式的表達能力。 例如如果你要算從1加到100， 用c怎么做？ J的程序是：+/i.100 對，就這么短，一個表達式解決了問題，事實上，使用表達式編寫出來的程序異常簡潔，雖然初看上去很難讀懂，一旦掌握了J語言，你就會發(fā)現(xiàn)，原來你可以用只有c語言1/20的字符表達同樣的功能。 FORTH http://cdtzx.51.net/pimage/www.jsoftware.com forth是一種可擴展的，交互式的語言。最初為小型的嵌入式電腦設(shè)計的，現(xiàn)在它幾乎可以在任何主流的芯片上運行。 在電子表格，專家系統(tǒng)， 多用戶數(shù)據(jù)庫，和分布式實時控制系統(tǒng)中有廣泛的應用。 表面來看，forth是一種基于堆棧的概念機。例如如果要計算 (3+4)*5 ,我們的程序就是：3 4 + 5 * . 首先把3和4入堆棧，然后調(diào)用+子程序，+把堆棧的最頂上兩個元素取出（也就是3和4）進行加法運算，然后把結(jié)果入堆棧，然后把5入堆棧，然后調(diào)用*子程序，把最頂?shù)?個元素，也就是7和5取出，并進行乘法運算，然后把結(jié)果入堆棧，最后的.把結(jié)果從堆棧中取出。 事實上這是一種簡單有效的概念機。當然forth遠遠不止這些，它有什么樣的功能，就由你去發(fā)掘了。 LOGO 被稱為最佳的啟蒙語言，事實上它的功能遠遠不止啟蒙這么簡單。一切別的語言能夠完成的它也能夠完成，只是更加簡潔一些，通常logo是使用lisp編寫的，我們就可以想象它的高度靈活性了。 MSW Logo http://www.softronix.com/ 這個網(wǎng)站還有個邏輯數(shù)字電路模擬的軟件，很有意思，再也不用為什么觸發(fā)器 門電路之類的發(fā)愁了。 Star Logo http://www.media.mit.edu/starlogo starlogo的網(wǎng)站如是說： StarLogo是一個可以編程的建模環(huán)境，用來研究分散系統(tǒng)的運行機制。所謂分散系統(tǒng)是指：沒有組織者而組織，沒有協(xié)調(diào)者而協(xié)調(diào)的系統(tǒng)。使用StarLogo你可以對許多現(xiàn)實世界中的現(xiàn)象進行建模并且觀察研究，例如鳥群、交通、螞蟻以及市場經(jīng)濟。 StarLogo是一種特殊的Logo語言，和傳統(tǒng)的Logo語言一樣，你可以通過向海龜發(fā)命令來作圖。除此之外，Starlogo容許你并行的控制上千個海龜，并且為這些海龜設(shè)定不同的行為模式。StarLogo非常適合于研究人工生命。 PYTHONhttp://www.python.org/ python是一種解釋型、交互式、面向?qū)ο蟮恼Z言，我們經(jīng)常拿它來和Tcl Perl Scheme Java來比較。它有非常清晰的語法，有模塊，有類，異常處理，高級的動態(tài)數(shù)據(jù)結(jié)構(gòu)。它比perl更加易學，功能更加強大。python采用動態(tài)數(shù)據(jù)結(jié)構(gòu)，也就是說變量沒有數(shù)據(jù)類型，這一點和Lisp十分相似，在python中所有事物都是對象（object),字符串、函數(shù)以至于類和模塊。這種面向?qū)ο蟮母拍詈蛃malltalk很相似。并且自帶了豐產(chǎn)豐富的模塊庫。對于初學者，python很適合于學習編程思想，而不會讓讀者為了繁雜的語法而頭痛。對于高級用戶，python是最出色的腳本語言，它可以很容易的內(nèi)嵌某個軟件中，作為那個軟件的擴充，例如著名的3D設(shè)計軟件blender就可以使用內(nèi)嵌的python腳本語言來設(shè)計復雜動畫。 SMALLTALK可是面向?qū)ο蟮某绦蛟O(shè)計語言的鼻祖阿，并且正在蓬勃的發(fā)展，沒有過時。它是純面向?qū)ο蟮恼Z言，就連整數(shù)也是對象。開放環(huán)境也非常集成，如果感興趣可以到一下網(wǎng)站下載，絕對有耳目一新的感覺。舉個例子， 循環(huán)語句在smalltalk中是向一個整數(shù)對象發(fā)送消息： 10 timesRepeat: [ teresa moveRight: 10 ]. 其中timesRepeat:為消息名稱，10為接受消息的整數(shù)對象， [ teresa moveRight: 10 ].是消息的參數(shù)， 這又是smalltalk強大的地方，它可以把一段程序作為參數(shù)傳遞給某個對象?。?！ Squeak Smalltalk http://www.squeak.org/ 這是一個非常有趣的smalltalk版本，看上去就像在你的電腦上模擬了另外一套完成的窗口系統(tǒng)，這里面的窗口更加利害，你甚至可以旋轉(zhuǎn)它，不看不知道，看了才發(fā)現(xiàn)還有這么奇妙的語言，這么奇妙的開發(fā)環(huán)境。10M左右 Cincom Smalltalk http://www.cincom.com/scripts/smalltalk.dll/home.ssp 這個版本比較實用，有詳細的幫助，可以開發(fā)真正的windows程序。30M左右 Dolphin Smalltalk http://www.object-arts.com/ 這里提供的免費smalltalk版本只有3M不到，如果你想先嘗試一下這種語言的話，可以下載這個。 PROGRAPHhttp://192.219.29.95/ Prograph可能是全球唯一的純可視化語言。在這里程序用圖表表示，編程序就是繪制圖表。我沒有看出這么做的優(yōu)勢在那里，不過對于初學編程的人的確有很大幫助，而且嘗試新東西總是好的，也許這也是一個發(fā)展方向吧。 到上面的網(wǎng)站可以下載一個免費版本，可以解釋運行，但是不能夠編譯。大小約為27M。 ICON這個語言和圖標沒有什么關(guān)系，不要誤解了。這是一種很神奇的語言，雖然目前已經(jīng)有幾年沒有更新版本了，不過我覺得它的許多思想都是很先進的。 http://www.cs.arizona.edu/icon/ 在語法形式上與c，pascal很相似，但是功能卻更加強大，以下是它的一些特點： Icon的表達式可以產(chǎn)生一系列的值，而不是一個值。 面向目標的求值方式，可以自動的搜索正確的解答（這一點和prolog很像） 強大的字符串處理功能 當然，至于鏈表、集合、甚至詞典（dictionary，也可以叫做hash表）都是它的基本數(shù)據(jù)類型。內(nèi)存也是自動管理的，無需擔心內(nèi)存泄漏或者溢出等瑣碎的問題。 他特別適合于文本分析、文本編輯、數(shù)據(jù)格式化、人工智能、專家系統(tǒng)、符號運算的方面的編程。 下面給幾個簡單的例子： every f(i to j) ---Icon for(k=i;k<=j;k++) f(k); ---C every write(find("or",sentence)) ---輸出sentence中所有子字符串or的位置 BASICBasic版本到網(wǎng)絡(luò)上一搜索一大堆，這里介紹的是一種最適合于編游戲的Basic。 http://www.blitzbasic.com/ 有demo下載，2D,3D的都有，不能夠編譯成exe,但是可以解釋執(zhí)行，3D版本限制使用次數(shù)，如果需要破解，可給我發(fā)郵件。 這個basic專門針對游戲開發(fā)而設(shè)計，想快速開發(fā)游戲的懶人們趕快去下載一個吧。：） 2D的主要功能有： 高速繪制塊、圖像、圓、線條等圖形圖像 支持流行的圖像格式：bmp,jpg,png 雙緩沖繪制流暢的動畫 碰撞檢測，精確到點 游戲可以在windows中運行，也可以全屏運行 高速! C & C++最后我們還是回到c語言，畢竟這是目前最流行的語言，如果你不想用盜版，不想安裝100多兆的垃圾（大多數(shù)初學者不可能完全使用borland c++ builder 或者visual c++的全部功能，而只是用來學習c語言本身），也不想在dos的edit樣子的面孔下，使用Tc編程序，那么try下面的東東吧。3M的大小絕對值的下載。 LCC http://www.cs.virginia.edu/~lcc-win32/index.html Dev-C++ 如果想下載C++的編譯器，去http://www.bloodshed.net/devcpp.html看看，這個集成開發(fā)環(huán)境使用Delphi編寫，C++編譯器是Mingw編譯系統(tǒng)。 Tiny CC [Zoomq 補充，剛剛看到的信息！] GNU/Linux 系統(tǒng)上最小的 C 語言編譯器 Tiny C 編譯器。Tiny C 編譯器不 僅僅是一個常規(guī)意義上的 C 語言編譯器，它還使得用戶可以像使用腳本語言一樣使用 C 語言進行快捷的腳本編程。 http://www-900.ibm.com/developerWorks/cn/linux/l-tinyc/part1/index.shtml [ZhouTing補充] UnderC 這個是C++的解釋執(zhí)行環(huán)境，有Windows和Linux的版本。并且?guī)г创a。 http://home.mweb.co.za/sd/sdonovan/underc.html |
| Submitted by Lcx on 2005, November 30, 1:06 AM |
