...子,则所有基类的集合就是程序中可定义的类型集合;若至少说明了一个构造子,则由基类和构造子出发,得到的基本项(ground term)构成了程序中构造类型的集合。依一阶逻辑理论,该类型集合是可数无限集。
基于12个网页-相关网页
During the summer term we would play cricket at the village ground.
夏季学期里我们常在村里的空地上玩板球。
John Gottman, the marriage expert, explains that we quickly "thin slice" information reliably only after we ground such snap reactions in the "thick sliced" long-term study.
婚姻专家约翰·戈特曼解释说,只有长期进行“大块”信息的基础研究,我们才能快速而又可靠地做出反应,实现“薄片式”信息切分。
The seasonally frozen ground can be divided into intergradation, semi-intergradation, long-term stability and stability.
可把季节冻土分为过渡型、半过渡型、长期稳定型和稳定型等类型。
应用推荐