可以用编程语言的spec（不含标准库）的打印厚度来衡量其复杂程度吗？

知乎链接

你们呀，naive！
题目明明都说了不含标准库了。

Haskell去掉标准库之后还剩下什么？lazy, currying, ADT和typeclass。
怎么能跟无级别抽象的可以模版元编程的C++比。
更不用说目前还没有把Concept、Module和Reflection加上。

还有说Lisp简单的，真的没听说过CLtL2和ANSI X.224-1994？好吧，就算是Scheme，r7rs砍掉IO和各种内置类型，也有双栏几十页嘛。

另外JLS花了很大的篇幅在execution和binary compatibility上（如果这方面C++也要标准化一下的话……呵呵呵。