wayne
发表于 2010-7-4 20:19:21
17# 无心人
前段时间习Haskell,对ML略知一二,感觉好像是函数式的编程语言,据说Haskell就是受了ML的影响的
=====================================
的确,弱的符号计算也很难写,根据现有的弱符号计算库Symbolic C++ ,GiNaC的缺点,可以看得出来,Mathematica的确是很优秀的。
无心人
发表于 2010-7-5 07:45:18
ML定位于定理的自动推导证明一类的东西
所以,其符号计算能力至少是不弱于lisp的
wayne
发表于 2010-7-5 10:20:40
22# 无心人
Mathematica跟Lisp语法有些类似,至于差别我还不是很清楚。
网上流传:wolfram在加州理工很得志的时候,他用过Macsyma (即maxima的前身,用Lisp写的),他对Macsyma 很不满意,就自己开发了一个系统,叫SMP,觉得很不错,想卖出去,但学校不同意,说版权是归加州理工的,于是wolfram就离开了加州理工。来到了伊利诺伊,他开始玩cellulor automata(元胞自动机,NKS的理论基础),写Mathematica。
===========(译自http://coding.derkeiler.com/Archive/Lisp/comp.lang.lisp/2004-06/1220.html)
无心人
发表于 2010-7-5 11:50:33
关键是没免费版
无心人
发表于 2010-7-5 11:53:17
LISP类函数式语言有个大缺点,性能不行啊
wayne
发表于 2010-7-5 12:01:28
Mathematica应该不属于Lisp族,不过具体关系我还没理清楚
无心人
发表于 2010-7-5 12:37:09
是的,肯定是C/C++开发的
TuringBombe
发表于 2011-1-26 18:22:42
1# mathematica
非常不错的软件,敬佩! 唯一的缺点可能就是图形界面设计不够好, 使用起来不太方便.