类型系统

编程语言，使用类型系统来管理函数。

数据结构也是用类型来描述的，但类型不少，很难让描述类型系统能自动适应不断增长的数据类型。

若是想让类型系统不成为数据结构设计的绊脚石，就要用一种彻底能够描述本身的语言来描述数据结构。

正则表达式能够描述字符串，但不能描述本身。

而语法能够描述本身，也能够描述字符串，描述代码和程序结构，固然能够描述数据结构。

描述的同时，还能利用描述来解构，用结构。