函数语义学
静动态类型、绑定,坑点,多态体现深谈