一种面向函数式语言的非冯诺依曼结构的计算机。