003-纯度与推理

• 纯函数与副作用
• 替换推理与记忆化
• 值常量与契约