はじめに
この投稿では、Objective Caml言語の紹介に直接進みます。 この投稿では、Objective Camlの基本的なデータ型について説明します。
まず、Objective Camlをダウンロードしてインストールする必要があります。この段階では、1人の
インタープリターで十分です。 インタプリタは、ケースが* nixの場合は
ocamlコマンドを使用して起動され、ケースがWindowsの場合はocaml.exeを実行します。
インタープリターを起動すると、次のように表示されます。Ocamlバージョン、Objective Camlバージョン3.00があり、コマンドの入力を待機しています：＃。
コードの各論理単位-フレーズ、Objective Camlで終わる-;; インタープリターの終了は、Ctrl + Dを押すか、タイプint-> intのexit関数を呼び出した後に行われます。
exit 0 ;;データ型
Objective Camlでは、整数型、浮動小数点数、文字型、文字列型、ブール型の基本データ型が定義されています。
整数型Objective Camlの整数は、intキーワードを使用して宣言されます。
＃0 ;;-：int = 0
＃10 + 10 ;;-：int = 20
＃10/5 ;;-：int = 2
整数型の操作：
+-追加
--減算と単項マイナス
*-乗算
/-除算
mod-整数除算の剰余
浮動小数点数Objective Camlの浮動小数点数は、floatキーワードを使用して宣言されます。
＃1.0-：フロート= 1.0
＃123.1-123.-0 / 5.0-：フロート= 0.2
#ceil 3.6-：フロート= 4
浮動小数点演算：
+-追加
--減算と単項マイナス
*-乗算
/-除算
**-べき乗
浮動小数点数の基本関数：
*
ceil-より大きな値への丸め
*
床 -小さい方への丸め
*
sqrt-平方根
*
exp-指数
*
log-自然対数
*
log10-10を底とする対数
*
sin-サイン
*
cos-コサイン
*
tan-タンジェント
* acos-逆余弦
*
asin-アークサイン
*
atan-逆正接
異なる型の変数は、データ型を変換する関数
float_of_intと
int_of_floatを使用して、明示的に相互にあいさつすることができます。
文字タイプと文字列Objective Camlの
char型の
文字は 、0〜255の範囲の整数に対応し、最初の128個の値はASCIIに対応し、
Objective Camlの行-タイプ
文字列 -特定の長さの文字のシーケンス。
＃ 'A'-：char = 'A'
int_of_char 'A'-：int = 65
＃ "OCAML string"-：string = "OCAML string"
整数から文字型へ、またはその逆への変換関数：
int_of_charおよび
char_of_int 。
整数型から文字列型、またはその逆への伝達関数：
int_of_stringおよび
string_of_int 。
ブール型Objective Camlのブール型は、
trueと
falseの 2つの要素のセットで表され
ます#true ;;-：bool = true
#not true ;;-：bool = false
論理演算：
< -少ない
> -その他
<= -より小さいか等しい
> = -より大きいか等しい
= -等しい
== -物理的平等
<> -拒否
！= -否定==
論理演算子：
ない -拒否
&& -一貫性のある
|| -順次または
ユニットタイプUnitタイプは、値（）を持つ1つの要素からのすべてのセットを定義します。
＃（）;;-：単位=（）
この型は、C ++のvoid型に類似しています。
それがOcaml言語のすべての基本的なタイプです