之所以出现问题，是因为自底向上生成经常会得到无法重用的类型定义以及多个定义为表示语义等效信息的类型。

Problems occur because bottom-up generation frequently results in type definitions that cannot be reused and multiple types defined to represent semantically equivalent information.

youdao

二战以后，诺斯底主义[4]知识类型的科学家们，暗地里与权力勾结，并获得公众知名度。

In the postwar period, the scientist with Gnostic-style knowledge and shadowy connections to power ascended to massive public fame.

youdao

Jaffe和他的同事建立了一个类型的宇宙，其中底夸克比顶夸克轻，而质子比中子重1%。

Jaffe and his colleagues modeled one family of universes in which the down quark was lighter than the up quark, and protons were up to a percent heavier than neutrons.

youdao

Now, this is not the nicest way to do it but it'll work. I can look at the type of the value of base and compare it to the type of an actual float and see, are they the same?

这不是最好的办法但它确实有用,我可以得到底的值的类型然后,和一个真的浮点数的类型比比,看他们是不是一样？

麻省理工公开课 - 计算机科学及编程导论课程节选