類型系統

編程語言，使用類型系統來管理函數。

數據結構也是用類型來描述的，但類型不少，很難讓描述類型系統能自動適應不斷增長的數據類型。

若是想讓類型系統不成爲數據結構設計的絆腳石，就要用一種徹底能夠描述本身的語言來描述數據結構。

正則表達式能夠描述字符串，但不能描述本身。

而語法能夠描述本身，也能夠描述字符串，描述代碼和程序結構，固然能夠描述數據結構。

描述的同時，還能利用描述來解構，用結構。