Semantics4-补充

1. Type Theory
2. Type System

1. 类型

1. Strong - Weak
2. Dynamic - static
3. 视频:基于JS的部分