Symbolic data representation, how pattern matching is used to pack/unpack data, how functions are combined to form programs etc.

• 抽象数据表示，模式匹配来打包/解包数据，函数如何组合成为程序等。