添加更加强大的不变量的另一种方法是从属类型。

Yet another approach to adding much more powerful invariants is that of dependent types.

youdao

今天我从事音乐，我尝试去这种想法——我演奏的音乐，像我一样，并不仅仅从属于一种文化。

As I work in music today, I try to implement this idea - that the music I play, like me, doesn't belong to only one culture.

youdao

以“优化”的名义忽略任务的从属关系是另一种常见的错误。

Omitting dependencies in an effort to "optimize" the build is another common mistake.

youdao