1 . type
...是否“正当地获得”(duly acquired)。因此,戴西在其第5版中,将第五项一般原则在权利的“类型”(type)与“发生”(incidents)之间作了区分,并指出,权利的类型受英国法(法院地法,the lex.
2 . types
...ype(一个类型的对象)包含 objects of another type(另一个类型的对象)时,types(类型)之间的关系。例如:
3 . kata
类似的短语在字典Chinese Swedish。 (89) ... 跨页引用 Referens till andra sidor 类型genre; kata; skriva 类型安全 typsäker.
4 . genre
纷繁的类型(genre),群星及影迷的狂热崇拜,诸如影院建筑、现场音乐伴奏以及“电影演出”之类的招徕手段(attractio.
概述 类型(type)以及类型系统的起源以及研究与发展是独立于OOP的。早在五十年代的FORTRAN语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。而在对类型的研究过程中产生多种方法,比如【C&W 1985】等。而代数方法(algebraic approach)是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素,在它们之上定义代数操作。同时在此基