添加更加强大的不变量的另一种方法是从属类型。
Yet another approach to adding much more powerful invariants is that of dependent types.
youdao
应用推荐
模块上移
模块下移
不移动