constructive-data-modeling

本文通过将类型视为构造新值的正空间而非限制值的负空间，结合积类型和和类型，可以精确建模数据的不变量，避免与类型检查器的斗争。建议使用简单类型组合而不是复杂类型系统特性。