用函数定义表示数据结构

在函数式程序设计中,Mccarthy精心设计和开创的使用s—表达或记法将一个函数定义或一个完整的程序表示为语言中(LIBP)的合式数据结构即表数据结构,这一属性已为大家所熟知,亦为几乎所有非数值运算语言所沿袭使用。但反过来,能否用函数定义来表示数据结构呢?在绝大数程序设计语言中是不可能的。