Functional CPU

koolcoy

突发奇想

如果设计一个CPU，这个CPU的基本指令集是一种函数式的编程语言~~~~{:3_195:}

是不是以后测试都可以改行了{:3_202:}

MMMIX

有人这么做过。另外，也不知道当年的 Lisp Machine 是怎么回事。

miniqq

的确，楼主所想的就像 lisp机，不知那些机器有无得卖！？
Lisp mathine:
　　一种直接以LISP语言的系统函数为机器指令的计算机。LISP机是20世纪70年代初美国麻省理工学院人工智能实验室的R.格林布拉特首先研究成功的。日本1975年起也研究LISP机。LISP机主要应用领域是人工智能各分支，如知识工程（例如用于超大规模集成电路设计的专家系统）、物景分析、自然语言理解、言语理解和机器人工程等。普通计算机实现 LISP 语言是通过解释程序和系统函数子程序相互间的递归调用进行的。辗转层次多而效率低。LISP机执行同等指令要快一两个数量级。LISP机具有一种面向堆栈的系统结构，堆栈里存放的是指针，代表所谓LISP对象。除了数和特种常量(T，NIL)用专用指针外，一般指针代表可赋予任何意义的符号，包括印刷名、值、功能函数和特性表四个项目，这种赋予是动态的，且各项目彼此独立。LISP机的机器指令包含着在现行堆栈上操作以下四类机器指令：①基本函数，②四则运算及有关运算，③条件转移指令，④用低层次LISP微指令手编的LISP函数。在任何时刻LISP机的运算都是通过现行堆栈组控制的。当过程进行到需要计算另一函数时，就起动与那个函数相应的堆栈组并保留当前的计算状态，而被起动的堆栈组就成为现行堆栈组。因此LISP机实际上是各堆栈组能相互起动的处理符号的堆栈机。LISP机的操作系统、解释系统、编译系统、调试程序都是用 LISP语言写的。有些 LISP机，例如美国的SYMBOLICS3600系统，还实现了以LISP为基础的FORTRAN、PASCAL和C语言，而且能联成网络。

MMMIX

的确，楼主所想的就像 lisp机，不知那些机器有无得卖！？
miniqq 发表于 2010-03-24 20:41

    Lisp machine 已经没有卖的了，不过你可以用模拟器体验下。

chenzengjie

sicp书里提到过已经有人制作出一个芯片, 指令集就是scheme语言.

prolj

出现了问题就重启的的lisp机？虽然可以讲出来一堆一堆的递归的原理，有问题还是重启的那种？

MMMIX

出现了问题就重启的的lisp机？虽然可以讲出来一堆一堆的递归的原理，有问题还是重启的那种？
prolj 发表于 2010-04-05 00:11

Lisp Machine 的重启是当时的垃圾回收做的比较烂而已. 对了,你知道在 Lisp Machine 使用的时候, 其他 OS 是个什么状况么?

prolj

不知道，我只是听说有lm而已。你好像很喜欢lisp跟emacs啊。

MMMIX

不知道，我只是听说有lm而已。你好像很喜欢lisp跟emacs啊。
prolj 发表于 2010-04-07 16:13

    谈不上.