编程语言,使用类型系统来管理函数。
数据结构也是用类型来描述的,但类型很多,很难让描述类型系统能自动适应不断增加的数据类型。
如果想让类型系统不成为数据结构设计的绊脚石,就要用一种完全可以描述自己的语言来描述数据结构。
正则表达式可以描述字符串,但不能描述自己。
而语法可以描述自己,也可以描述字符串,描述代码和程序结构,当然可以描述数据结构。
描述的同时,还能利用描述来解构,用结构。
编程语言,使用类型系统来管理函数。
数据结构也是用类型来描述的,但类型很多,很难让描述类型系统能自动适应不断增加的数据类型。
如果想让类型系统不成为数据结构设计的绊脚石,就要用一种完全可以描述自己的语言来描述数据结构。
正则表达式可以描述字符串,但不能描述自己。
而语法可以描述自己,也可以描述字符串,描述代码和程序结构,当然可以描述数据结构。
描述的同时,还能利用描述来解构,用结构。
© 著作权归作者所有