函数程序设计语言--计算机模型、编译技术、系统结构•短评