实际上这一部分的很多概念都已经在COMP3354第一章里讲过了。建议你去看看这一部分： https://naughtychas.github.io/notes/COMP3354/chapter1/Chapter 1 & ...