A pure functional language like Haskell might offer type hierarchies, discriminated unions, quantification, existential types, and so on, but OOP languages typically lack these things.

象Haskell那样的纯函数型语言可以提供类型层次结构、区别合并、量化、存在类型等等，但OOP语言通常缺乏这些功能。

youdao

The English metaphorical existential clauses have a lot in common with the Chinese ones in the aspect of metaphor type and generative mechanism because of the same experiential basis.

英汉隐喻存在句在隐喻类型和生成机制上表现出许多相同点，但在具体的语言体现形式上却存在某些差异。

youdao