はじめに
この投稿では、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言語のすべての基本的なタイプです