没有所谓函数型计算机，除非你指的是计算器 你所要的可能是函数型计算机语言 也就是Lisp及其派生语言scheme等 一般用于人工智能 这是一个scheme的中文介绍 http://www-128.ibm.com/developerworks/cn/linux/l-scheme/part2/
