类型系统

理解类型怎样限制操作、推导和表示状态，并区分静态保证、运行校验与业务授权。