lisp的同像性（s表达式）很可能是一个错误的设计

自己去读一读wiki上所指的scheme论文集吧，比如说（这是论文集里的一堆内容），程序和数据的一致性使我们产生出汇编器，解释器，编译器，链接器的想法（而且其实早期有很多计算机程序和数据是分开储存的，程序和数据存储在一起的计算机称为stored-program computer)，很多高级语言其实也参照了这种想法，比如APL语言把输入的数据均当作数组处理... ...真的，自己去读读那些论文，而且去读读SICP的参考书目中和scheme有关的，以及Dan Friedman的小人书。
说句实话，lisp的同像性并不是可有可无的设计风格，是一种优雅强大的想法，这是lambda演算送来的礼物。（对我这种只会scheme的人而言，用scheme的方式思考是自然的，而且我一直觉得scheme是可读性特别高的语言；你指出的括号问题，我觉得根本就不是问题，尤其是有了现代的IDE之后）--如无必要，勿增实体，这是数学家喜欢的言论，所以无类型的lambda演算用的多，其余的lambda演算用的少，所以还有数学家喜欢用Fortran和APL和一堆稀奇古怪的语言（虽然我并不觉得这些语言奇怪）