主线从问题出发推导规则，附录收录按需查阅的写法、机制和语言对照。遇到不熟悉的语法时，可以先查基础语法；想进一步理解某个机制或比较其他语言时，再查对应的补充材料。
附录分为基础语法、机制详解和跨语言对照。各节不必按顺序阅读。