Ex: Lisp: (+ a b) C: (a+b)/2 , struct point{int x; int y;};
Ex: Lisp: define (sq x) (* x x) C++: class ...{}
这么做可行的原因是整个计算机系统是一个形式系统,