各种编程软件介绍 Version 1.2 |
*增加scheme,icon等语言
*增加几个logo、basic、c++和Prograph等语言的编译器,修改了一些语言的说明。
*点击查看相应的界面截图
本文将介绍10多种不同的程序设计语言,以及如何下载它们的免费的编译器,(注意,是免费,而不是盗版),如果下载或者安装有问题,可以给我发邮件:
[email protected]
20年后,我们用什么样的语言?也许现在谁都不好回答,20年前的程序员们会告诉你用汇编吧,今天人们也许会告诉你用c语言(c++?)吧。那么20年后呢,也许不是c语言了吧。下面都是所谓的非主流语言,不过它们的设计思想、所能够完成的功能,绝对不比c语言差。也许将来它们会成为主流,也许不会,可是不管怎样,它们都有自己的闪光之处。
--->你要么站在电脑的硬件上编程,要么站在巨人的肩膀上编程,请选择吧。
PROLOG |
人工智能领域常用的语言,开发自然语言分析,专家系统,以及所有和智能有关的程序,都非常拿手。可以到我的主页来学习这门语言 http://web.archive.org/web/20030205031354/http://cdtzx.go.163.com/
Visual Prolog |
http://web.archive.org/web/20030205031354/http://www.visual-prolog.com/
顾名思义,这是一个可以制作界面的Prolog,有试用版本下载,大概20M左右。这个prolog版本需要对谓词以及数据进行声明,就像C语言一样。因此在使用的时候比较复杂,不过更加适合编制较大的程序。编译出来的程序可以直接运行。
Amzi! Prolog |
http://web.archive.org/web/20030205031354/http://www.amzi.com/
这个prolog版本包含解释器、编译器,不过编译出来的程序不能够直接运行,需要运行器运行。可以很方便的和其它语言(例如visual basic,java,C,CGI)连接,开发智能程序。解释器的运行效率较低。它所说使用的语法体系和visual prolog不同,程序需要进行适当的修改才能够在visual prolog中运行。
SWI Prolog |
http://web.archive.org/web/20030205031354/http://www.swi-prolog.org/
我没有怎么使用过这个版本的prolog解释器,不过它的运行速度要比amzi prolog的解释器快,和amzi的编译之后的程序差不多快,如果下载图形软件包XPCE的话,还可以开发有界面的程序。它的语法和amzi prolog相同,程序可以通用,不过内部谓词有些不同,有时候需要修改一下。
Turbo Prolog |
如果需要可以给我发邮件
Dos版本的prolog,有开发界面,可以编译成可执行文件,语法和visual-prolog相同,不过内部谓词有许多出入。
B Prolog |
http://web.archive.org/web/20030205031354/http://www.cad.mse.kyutech.ac.jp/people/zhou/index.html
好像是中国人开发的prolog软件,据说比其它的prolog运算速度都要快,我曾经在linux下面使用过这个prolog,也有window版的,不过没有什么集成开发环境。语法和其它的几个都不太相同,需要适当的修改程序才能够在此环境下运行。此prolog提供了许多测试速度的解谜题的程序,这个版本的prolog支持constraint程序设计。
Strawberry Prolog |
http://web.archive.org/web/20030205031354/http://www.dobrev.com/
1兆的容量,包括完整的开发界面,帮助,例程,提供了几个棋类游戏的源程序。可以直接开发有界面的prolog程序,共享版不能够编译,就解释执行吧。
Sicstus Prolog |
http://web.archive.org/web/20030205031354/http://www.sics.se/sicstus/
Sicstus Prolog无疑是Prolog版本中最出色的,虽然它并不是免费软件,但是可以下载到有时间限制的试用版本,而且只要修改时间也可以无限期的使用下去(过期之后修改时间也不会有问题)。它语法与amzi prolog类似,都属于ISO标准,内部胃词丰富,提供了丰富的库,例如集合、图、带权图等等。支持unix和windows等各种操作系统平台。支持constraint程序设计。
LISP |
人工智能语言的老大哥。语言格式只有一个形式:列表,所以也叫做表处理语言,这可不是一般的表,是可以包容任意结构的表,有了它,你还用c语言来写链表,二叉树的程序么?学习数据结构不妨使用lisp,让你更加关心算法,而不是数据如何在计算机内部表达。
XEmacs |
http://web.archive.org/web/20030205031354/http://www.xemacs.org/
与著名的guns emacs编辑器的起名,并且界面更加友善,内带emacs lisp, 和许多使用lisp编写的工具软件,例如calc, 是一个功能强大的计算器,支持符号运算,有全部的源程序,如果能够好好研究这些源程序,收获一定不小。
Allegro CL |
common lisp
http://web.archive.org/web/20030205031354/http://www.franz.com/
windows下的common lisp集成开发环境, 60天试用。
Lisp Work |
common lisp
http://www.xanalys.com/
无限期使用,没有任何功能限制
SCHEME |
这是lisp的一种方言,比lisp更加标准化。
MIT Scheme |
http://web.archive.org/web/20030205031354/http://mitpress.mit.edu/sicp/
这里有一本非常好的介绍编程技术的书,使用的语言是lisp/scheme。在这里还可以下载到Scheme的解释器,基本上是模仿emacs作的。
DrScheme |
http://web.archive.org/web/20030205031354/http://www.drscheme.org/
DrScheme是一个Scheme语言的交互式的集成开发环境。非常适合于教学使用。支持多种语言级别(初级、中级、高级等等),有丰富的界面库,支持TCP/IP。内带详细的帮助和教程。
FUNCTION LANGUAGE |
这是一类语言,叫做函数型程序设计语言。是一种非常高级的语言。一种基于λ演算和在70年代后期才发展起来的新语言类型。大多数程序设计语言明显地规定要执行操作的次序。次序的详细规定是很需要的,因为语言的语句对程序的变量有“作用”,如果改变这些作用的次序,就可以改变产生的最后值。但是函数型语言却没有这种性质。在这个意义上,函数型语言能建立可计算性的数学公式模型。让我们来看一个简单的例子:
qsort :: [a] -> [a] | Ord a
qsort [] = []
qsort [a:xs] = qsort [x \\ x<-xs | x<a] ++ [a] ++ qsort [x \\ x<-xs | x>=a]
这段程序就是快速排序的代码,你看有多么简洁,并且它的这个qsort可以对任何类型的数据进行排序(只要这种数据可以比较大小)。想读懂上面的程序么?那么下载下面的clean, 或者haskell,好好研究吧,祝你有新的发现。
Clean |
http://web.archive.org/web/20030205031354/http://www.cs.kun.nl/~clean/
并行的函数型语言,可以把源程序编译成exe文件,带有丰富的库,从tcp/ip, 到界面设计,到游戏开发,无一不全。
Haskell |
http://web.archive.org/web/20030205031354/http://www.haskell.org/hugs/
hugs是haskell的免费编译器,语法和clean相似,不过是解释执行,因此易于学习。
OCaml |
http://web.archive.org/web/20030205031354/http://www.ocaml.org/
又一个函数型语言,速度很快,编译出来的程序速度和用C做出来的差不多快。
Mozart OZ |
http://web.archive.org/web/20030205031354/http://www.mozart-oz.org/
mozart oz 是具有魔力的语言。它融合了目前几种流行的程序设计思想,我们叫它多范式语言。它是面向对象的语言,它是函数型的语言,它是约束逻辑(constraint)的语言,它是并发式的语言,它还是分布式的语言,几句话很难概括它的功能。最好去它的网站看看吧,下载一个慢慢研究?
他使用emacs作为开发界面,因此如果你想在windows下使用本语言,首先需要安装emacs for windows(也可以在mozart的网上找到,也可以去www.gnus.org去找,也可以安装xemacs), 如果你安装了emacs 那么你也就同时获得了emacs lisp, 呵呵,收获不小。
为了提起您的兴趣,请思考如下的问题如何编程解决,然后你可以在mozart中找到惊人简单的解决方案。
15个人每天出去玩,每天分为5组,每组3人,玩一个星期,使得任何两个人都曾经在一组中玩过,你如何安排?
J software |
http://web.archive.org/web/20030205031354/http://www.jsoftware.com/
不要和java搞混淆了。J是一种面向阵列的语言,也就是说矢量,矩阵,以及高次数组都是它的最基本的数据类型,J中引入了大批量的运算符,以及独特的算式分析方法,大幅度的扩展了数学算式的表达能力。 例如如果你要算从1加到100, 用c怎么做? J的程序是:+/i.100 对,就这么短,一个表达式解决了问题,事实上,使用表达式编写出来的程序异常简洁,虽然初看上去很难读懂,一旦掌握了J语言,你就会发现,原来你可以用只有c语言1/20的字符表达同样的功能。
FORTH |
http://web.archive.org/web/20030205031354/http://cdtzx.51.net/pimage/www.jsoftware.com
forth是一种可扩展的,交互式的语言。最初为小型的嵌入式电脑设计的,现在它几乎可以在任何主流的芯片上运行。 在电子表格,专家系统, 多用户数据库,和分布式实时控制系统中有广泛的应用。
表面来看,forth是一种基于堆栈的概念机。例如如果要计算 (3+4)*5 ,我们的程序就是:3 4 + 5 * . 首先把3和4入堆栈,然后调用+子程序,+把堆栈的最顶上两个元素取出(也就是3和4)进行加法运算,然后把结果入堆栈,然后把5入堆栈,然后调用*子程序,把最顶的2个元素,也就是7和5取出,并进行乘法运算,然后把结果入堆栈,最后的.把结果从堆栈中取出。 事实上这是一种简单有效的概念机。当然forth远远不止这些,它有什么样的功能,就由你去发掘了。
LOGO |
被称为最佳的启蒙语言,事实上它的功能远远不止启蒙这么简单。一切别的语言能够完成的它也能够完成,只是更加简洁一些,通常logo是使用lisp编写的,我们就可以想象它的高度灵活性了。
MSW Logo |
http://web.archive.org/web/20030205031354/http://www.softronix.com/
这个网站还有个逻辑数字电路模拟的软件,很有意思,再也不用为什么触发器 门电路之类的发愁了。
Star Logo |
http://web.archive.org/web/20030205031354/http://www.media.mit.edu/starlogo
starlogo的网站如是说:
StarLogo是一个可以编程的建模环境,用来研究分散系统的运行机制。所谓分散系统是指:没有组织者而组织,没有协调者而协调的系统。使用StarLogo你可以对许多现实世界中的现象进行建模并且观察研究,例如鸟群、交通、蚂蚁以及市场经济。
StarLogo是一种特殊的Logo语言,和传统的Logo语言一样,你可以通过向海龟发命令来作图。除此之外,Starlogo容许你并行的控制上千个海龟,并且为这些海龟设定不同的行为模式。StarLogo非常适合于研究人工生命。
PYTHON |
http://web.archive.org/web/20030205031354/http://www.python.org/
python是一种解释型、交互式、面向对象的语言,我们经常拿它来和Tcl Perl Scheme Java来比较。它有非常清晰的语法,有模块,有类,异常处理,高级的动态数据结构。它比perl更加易学,功能更加强大。python采用动态数据结构,也就是说变量没有数据类型,这一点和Lisp十分相似,在python中所有事物都是对象(object),字符串、函数以至于类和模块。这种面向对象的概念和smalltalk很相似。并且自带了丰产丰富的模块库。对于初学者,python很适合于学习编程思想,而不会让读者为了繁杂的语法而头痛。对于高级用户,python是最出色的脚本语言,它可以很容易的内嵌某个软件中,作为那个软件的扩充,例如著名的3D设计软件blender就可以使用内嵌的python脚本语言来设计复杂动画。
SMALLTALK |
可是面向对象的程序设计语言的鼻祖阿,并且正在蓬勃的发展,没有过时。它是纯面向对象的语言,就连整数也是对象。开放环境也非常集成,如果感兴趣可以到一下网站下载,绝对有耳目一新的感觉。举个例子,循环语句在smalltalk中是向一个整数对象发送消息:10 timesRepeat: [ teresa moveRight: 10 ].其中timesRepeat:为消息名称,10为接受消息的整数对象,[ teresa moveRight: 10 ].是消息的参数,这又是smalltalk强大的地方,它可以把一段程序作为参数传递给某个对象!!!
Squeak Smalltalk |
http://web.archive.org/web/20030205031354/http://www.squeak.org/
这是一个非常有趣的smalltalk版本,看上去就像在你的电脑上模拟了另外一套完成的窗口系统,这里面的窗口更加利害,你甚至可以旋转它,不看不知道,看了才发现还有这么奇妙的语言,这么奇妙的开发环境。10M左右
Cincom Smalltalk |
http://web.archive.org/web/20030205031354/http://www.cincom.com/scripts/smalltalk.dll/home.ssp
这个版本比较实用,有详细的帮助,可以开发真正的windows程序。30M左右
Dolphin Smalltalk |
http://web.archive.org/web/20030205031354/http://www.object-arts.com/
这里提供的免费smalltalk版本只有3M不到,如果你想先尝试一下这种语言的话,可以下载这个。
PROGRAPH |
http://web.archive.org/web/20030205031354/http://192.219.29.95/
Prograph可能是全球唯一的纯可视化语言。在这里程序用图表表示,编程序就是绘制图表。我没有看出这么做的优势在那里,不过对于初学编程的人的确有很大帮助,而且尝试新东西总是好的,也许这也是一个发展方向吧。
到上面的网站可以下载一个免费版本,可以解释运行,但是不能够编译。大小约为27M。
ICON |
这个语言和图标没有什么关系,不要误解了。这是一种很神奇的语言,虽然目前已经有几年没有更新版本了,不过我觉得它的许多思想都是很先进的。
http://web.archive.org/web/20030205031354/http://www.cs.arizona.edu/icon/
在语法形式上与c,pascal很相似,但是功能却更加强大,以下是它的一些特点:
Icon的表达式可以产生一系列的值,而不是一个值。
面向目标的求值方式,可以自动的搜索正确的解答(这一点和prolog很像)
强大的字符串处理功能
当然,至于链表、集合、甚至词典(dictionary,也可以叫做hash表)都是它的基本数据类型。内存也是自动管理的,无需担心内存泄漏或者溢出等琐碎的问题。
他特别适合于文本分析、文本编辑、数据格式化、人工智能、专家系统、符号运算的方面的编程。
下面给几个简单的例子:
every f(i to j) ---Icon
for(k=i;k<=j;k++) f(k); ---C
every write(find("or",sentence)) ---输出sentence中所有子字符串or的位置
BASIC |
Basic版本到网络上一搜索一大堆,这里介绍的是一种最适合于编游戏的Basic。
http://web.archive.org/web/20030205031354/http://www.blitzbasic.com/
有demo下载,2D,3D的都有,不能够编译成exe,但是可以解释执行,3D版本限制使用次数,如果需要破解,可给我发邮件。
这个basic专门针对游戏开发而设计,想快速开发游戏的懒人们赶快去下载一个吧。:)
2D的主要功能有:
高速绘制块、图像、圆、线条等图形图像
支持流行的图像格式:bmp,jpg,png
双缓冲绘制流畅的动画
碰撞检测,精确到点
游戏可以在windows中运行,也可以全屏运行
高速!
C & C++ |
最后我们还是回到c语言,毕竟这是目前最流行的语言,如果你不想用盗版,不想安装100多兆的垃圾(大多数初学者不可能完全使用borland c++ builder 或者visual c++的全部功能,而只是用来学习c语言本身),也不想在dos的edit样子的面孔下,使用Tc编程序,那么try下面的东东吧。3M的大小绝对值的下载。
LCC |
http://web.archive.org/web/20030205031354/http://www.cs.virginia.edu/~lcc-win32/index.html
Dev-C++ |
如果想下载C++的编译器,去http://web.archive.org/web/20030205031354/http://www.bloodshed.net/devcpp.html看看,这个集成开发环境使用Delphi编写,C++编译器是Mingw编译系统。