| 摘要 |
A computing device implements a functional programming in hardware and operates as a reduction processor. Programs to be evaluated are represented as a directional graph of closures, where each part of a program is represented by a closure. During execution, this directional graph of closures is gradually reduced according to the reduction rules of the declarative language used. The device has an active associative object storage having storage cells able to store and execute at least part of a computer program. The device has several ports that contain storage cells and which are able to exchange and compare data and programs through a unification of internal and external behaviors. |
