哥德尔、艾舍尔、巴赫 (2)

  • 第186页
    整个世界都是建立在递归之上的……粒子之间是彼此嵌套的,可以用某种“语法”来描述。
  • 第70页
    我们可以根据其组成符号的意义来读每个符号,但是我们没有权力只根据我们给符号指定的意义而创造出新的定理。 一种“解读”是我们通过一种同构的方式到达真理那里的路径,但是到达真理的路径不是唯一的,换言之...

树上的男爵 (2)

  • 第272页
    为了与他人真正在一起,唯一的出路是与他人相疏离,他在生命的每时每刻都顽固地为自己和为他人坚持那种不方便的特立独行和离群索居。这就是他作为诗人、探险者、革命者的志趣。
  • 第119页
    神父在监狱和修道院里,在不断地做弃绝起誓之中度过了他的风烛残年。至死他也不明白在把整个一生奉献给宗教之后,他到底相信什么,然而他努力争取坚定不移地信奉宗教一直到生命的最后一刻。

C++语言的设计与演化 (1)

  • 第25页
    ……写每个程序时都不存在某种唯一的正确途径。作为程序设计语言的设计者,并没有理由去强迫程序员使用某种特定的风格。但是在另一方面,他们确实有义务去鼓励和支持各种各样的风格与实践,只要那些东西已经被证明...

Land of LISP (7) 更多

  • 第113页
    Because the *manipulation* and *visualization* of structures made of cons cells are central to the design of Lisp, these structures are extremely convenient to use and *debug*.
  • 第105页
    The ability to pass around functions as if they were just plain old pieces of data is incredibly valuable. Once you get used to doing this, you open up all kinds of conceptual possibilities in the d...
  • 第76页
    (apply #'append '((mary had) (a) (little lamb))) apply looks like the varidic function in C(more powerful one)
  • 第59页
    (if *file-modified* (if (ask-user-about-saving) (save-file))) can be beautifully shortcut to : (and *file-modified* (ask-user-about-saving) (save-file))
  • 第39页
    记录 cons函数的名称并非没有含意,它是单词'construct'的缩写 car是短语'Contents of the Address part of the Register' cdr('could-er')是短语'Contents of the Decrement part of the Register'
  • 第32页
    The actions that a program performs are the semantics of the program.
  • 第10页
    The second trait that gives a language power is letting you *muck around* inside it as deeply as possible to make it do your bidding. That way, even if the designers of the language never conce...

C陷阱与缺陷 (2)

  • 第101页
    /代码内容已省略/
  • 第10页
    “贪心”的词法分析的确可以帮助程序员减少出错的可能。。。