Changes between Version 4 and Version 5 of Support Information Model 3 Assumed Types

Timestamp:

Sep 21, 2008, 3:11:32 PM (16 years ago)

Author:

KOBAYASHI, Shinji

Comment:

--

Support Information Model 3 Assumed Types

@@ -30 +30 @@
 !ISO8601:2004 is used as the definitional basis for assumed date/time types, since it is commonly used  around the world, and is also the basis for the date/time types in W3C XML-schema. See section 3.4 on page 22 below for details of dates and times.
 
-想定される型(assumed type)は二つのグループに識別される。プリミティブ型は
+想定される型(assumed type)は二つのグループに識別される。プリミティブ型は形式のための型システムとして組み込まれているものであり、形式で定義される(クラス)ライブラリで利用されると想定されるライブラリ型もそうである。つまり、ブール型は常に形式の中に存在すると想定されており、Array<T>型はライブラリで利用されると想定されている。実用のためには、二つのカテゴリはそう問題とはならない。String型は通常はライブラリ型であるが、それが組み込まれた型であってもプログラマには何の違いももたらさない。ここで二つに分けたのは便宜上の問題である。
 
 Two groups of assumed types are identified: primitive types, which are those built in to a formalism’s type system, and library types, which are assumed to be available in a (class) library defined in the formalism. Thus, the type Boolean is always assumed to exist in a formalism, while the type Array<T> is assumed to be available in a library. For practical purposes, these two categories do not matter that much - whether String is really a library class (the usual case) or an inbuilt type doesn’t make much difference to the programmer. They are shown separately here mainly as an explanatory convenience.