(15)[ML] 基本データ型と基本演算

[ トップ | 目次 | 前ページ | 次ページ ]


MLの型は値の属する集合である,それぞれの型は,その型を操作する関数で特徴付けられる,C言語と違い,メモリー領域の大きさやその内部表現は(外部関数との連携などの高度な機能を考えるまでは)意識する必要はない,

MLの基本データ型

Stadnard MLの基本データ型には以下のものがある,

型名意味補足
int整数型(SML#の場合)Cのlong型に対応する32ビット符号付き整数
char文字型
real浮動小数点データCのdouble型に対応する倍精度浮動小数点表現
string文字列データC言語と違いMLでは文字列データは基本型
word2進数データ(SML#の場合)Cのunsignedに対応する32ビット2進数データ
bool真理値値はtrueかfalseのいずれか

基本型の操作

C言語では,基本操作はメモリー状態の変更であるため,一つの操作は,メモリー表現さえあえば,種々の型に適応できる,例えばCのchar型は8ビットの整数であるから1を足すことができる,しかしMLでは,型はそれぞれ異なった値の集まりであり,その性質は,メモリー上の表現ではなく,その型を操作する関数特徴付けられる,従って,MLの型を理解するには,その型の定数の表記方法とその型に定義されている基本操作を理解するだけでよい,

以下,それぞれの基本型について,その操作をまなぼう,


[ トップ | 目次 | 前ページ | 次ページ ]