添加更加强大的不变量的另一种方法是从属类型。
Yet another approach to adding much more powerful invariants is that of dependent types.
以“优化”的名义忽略任务的从属关系是另一种常见的错误。
Omitting dependencies in an effort to "optimize" the build is another common mistake.
从属公司损害赔偿请求权的本质是损害赔偿之债的一种。
The subordinative company's claim for damage compensation is one of the damage compensations.
传统的民法中，担保合同是一种典型的从属性合同。
According to traditional civil law theory, guarantee is typically accessory.
传统的民法中，担保合同是一种典型的从属性合同。
According to traditional civil law theory, guarantee is typically accessory.
应用推荐