[2/3] 今天试着写了一段 AXIOM 代码（简单的选择排序），然后发现这个软件与其说是个数学软件，不如说是个强类型通用编程语言——比 ML 系还要强类型。AXIOM 编译器实际干的事情就是把它的语言代码转译成 Common Lisp（但是几乎不可读），然后剩下的事情就交给 Lisp 编译器了。至于它作为数学软件的各种功能，基本上相当于一个外部库（就像 numpy 之于 Python）。虽然代码本身不值一提，但还是可以看出这个软件是无法跟 Maple/MATLAB/Mathematica 竞争的：目标用户群完全不同。别的语言里写排序算法给个数组和比较函数就够了，AXIOM 要求的是一个有限的、可修改和可索引的有序集里的元素。其实要想排序成功也只有符合这些条件才行，但别的语言不会明确地说出来，因为没这个必要。