符号计算机的体系结构

Hacker News 上怎么说

• larve · 2022 年

  我的书单：-《丰裕》（The Plenitude）- Rich Gold。不是一本带代码的计算机书，但它让我学到了很多关于计算机能做什么的思考，它们真是神奇的机器。-《符号计算机体系结构》（Architecture of Symbolic Computers）- Kogge。如果当年 RISC 和 x86 没有横扫一切，世界会是怎样？这本书就是献给那种可能性的赞歌。-《Thinking Forth》- Leo Brodie。Forth 太狂野了，这本书也太狂野了，完全是另一个世界。在经历了多次……

  My list: - The Plenitude - Rich Gold Not a computing book with code but it taught me a lot about what can be done with computers, and that they are marvelous machines. - Architecture of Symbolic Computers - Kogge An ode to what could have been if RISC and x86 hadn't steamrolled the landscape. - Thinking Forth - Leo Brodie Forth is wild, this book is wild, it's really a different world. After multiple…

• eggy · 2015 年

  Lisp 机。我正在读 Peter M. Kogge 在1990年写的《符号计算机体系结构》（The Architecture of Symbolic Computers）这本书。神书一本。它真是能一次性在极高的水准上教会我海量的计算机科学知识，这是其他书做不到的。有时候人们根本没意识到，Linux 曾经只是一种选择……

  Lisp Machines. I am reading the book, 'The Architecture of Symbolic Computers' written in 1990 by Peter M. Kogge. Amazing book. It's really teaching me a ton of computer science at a level in one shot that no other book has. People fail to realize at times, that Linux was a choice…

• sb · 2009 年

  ……http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-... 关于 LISP 的更多细节可以参考 Christian Queinnec 1996 年写的《深入 LISP 语言》（LISP in Small Pieces），而关于 eval/apply 函数的绝佳阐述可以在 Peter M. Kogge 1990 年的《符号计算机体系结构》（The Architecture of Symbolic Computers）里找到。顺便满足一下我若隐若现的强迫症：《SICP》的第二作者叫 Abelson，不叫 Ebelson。

  …http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-... More LISP details can be obtained by the book "LISP in Small Pieces" by Christian Queinnec (1996), and an excellent description of the eval/apply functions can be found in "The Architecture of Symbolic Computers" by Peter M. Kogge, 1990. Btw: to satisfy my more or less latent pedantism: The second SICP author is called Abelson not Ebelson.

• sb · 2010 年

  ……Queinnec 的书是该领域无可争议的经典参考之一。(http://www.amazon.com/exec/obidos/ASIN/0521562473) 我们大学时有一本讲函数式编程语言实现的书，是跟着 Peter Kogge 的《符号计算机体系结构》（The Architecture of Symbolic Computers）走的，那本书也相当棒。(http://www.amazon.com/exec/obidos/ASIN/0070355967)

  …Queinnec is one of the canonical references in that area. (http://www.amazon.com/exec/obidos/ASIN/0521562473) At university we had a copy on implementation of functional programming languages following "The Architecture of Symbolic Computers" by Peter Kogge, which is very good, too. (http://www.amazon.com/exec/obidos/ASIN/0070355967)

• sb · 2011 年

  ……实现函数式编程语言，也就是 SECD 机器（以所需的四个栈命名：Stack、Environment、Code、Dump）。我最早读到 SECD 机器的书就是 Peter Kogge 的《符号计算机体系结构》（The Architecture of Symbolic Computers），强烈推荐。- 关于 lambda 演算的应用：它可不仅仅等价于图灵机，在编程语言实现的理论中它要基础得多：除了……

  …implementing functional programming languages, viz. the SECD machine (named after the four stacks necessary, Stack, Environment, Code, Dump.) The book I first read about the SECD machine is Peter Kogge's "The Architecture of Symbolic Computers" and I recommend it dearly. - Regarding the use of lambda calculus: It's not just the equivalent of a Turing machine, but much more fundamental in the theory of implementing programming languages: Aside…

• eggy · 2015 年

  ……类似 flask 的框架。比起 python 我更喜欢 CL，虽然我也用 python，也很欣赏它无处不在的身影——在 Blender3D、FreeCad、Vectorworks 等等里都有……我正在读 Peter M. Kogge 1990 年写的《符号计算机体系结构》（The Architecture of Symbolic Computers）。神书一本。全都在讲非冯·诺依曼架构、Lisp 以及函数式编程。

  …framework along the lines of flask. I prefer CL to python, although, I use python too, and appreciate its ubiquity - in Blender3D, FreeCad, Vectorworks, etc... I am in the middle of the 1990 book, The Architecture of Symbolic Computers, by Peter M. Kogge. Amazing book. All about non-Von Neumann architectures, Lisp and functional programming.

正在加载完整评论……