全部标签

不变量

类型系统与程序约束

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