函数式程序设计语言-程序设计语言原理.pptVIP

5.3.5 输出问题 利用数据对象内部原有的顺序 结构对象是第一类对象， 语言支持的任何形式(交互、非交互)的输出都可以用在表和元组上。Miranda就是用无限表动态实现的 无限表尾不表示任何值， 它是函数对象， 每当调用到它时， 它按规定计算表头值， 并构造 一新的函数对象放在表尾， 以便再展其它项， 它就是新的无限表尾的头， 这个过程一直延续到需要的表长已达到。 输入输出流就是一个值的无限表， 每次处理输入流一个新值就附在表尾并为程序访问。同样， 也用无限表模型输出流。 5.4 函数式语言Miranda 简单的Miranda手本 Miranda λ演算 sq n = n * n sq = λn. * n n z=sq x/sq y z=/(sq x)(sq y) Miranda的基本类型有字符(char类型， 加单引号的字母)， 真值(bool类型， 值为True和False)和数(num 类型， 包括整数、实数)， 数据结构只有表和元组， 串是字符表 11.4.1 数据结构 元组(tuple) 树类型定义 tree::= Leaf Integer | Node tree tree [1