OCaml型キャスティングの違い

Question

以下のOcaml型キャスティング/変換メソッドの違いは何ですか？

let a = (float) b ;; 

そして

let a = float_of_int b ;; 

（フロート及びbは整数であることを検討してください。） 別超える任意の利点1はありますか？それとも同じですか？

Answer 1

OCamlには一般的な型キャストメカニズムはありません。関数floatは、float_of_intと同じことが起こります。余分な括弧の有無にかかわらずどちらかを使用できます。

$ ocaml 
     OCaml version 4.03.0 

# float 3;; 
- : float = 3. 
# float_of_int 3;; 
- : float = 3. 
# (float) 3;; 
- : float = 3. 
# (float_of_int) 3;; 
- : float = 3. 

しかし、そこint（例えば）という名前の関数ません：

# int 3.1;; 
Error: Unbound value int 
# (int) 3.0;; 
Error: Unbound value int 

型キャストは、C（および関連語）のように、実際のOCamlの強力な型システムと互換性がありません。

external float : int -> float = "%floatofint" 
external float_of_int : int -> float = "%floatofint" 

さらに、(float) bを書くのスタイルは鋳造を入力されていません。

Answer 2

はpervasivesモジュールにおけるそれらの定義によると、floatとfloat_of_intは、2つの同一の機能です。それはまだ関数アプリケーションです。ここで使用されている括弧は型キャストを意味するものではありませんが、式の一部と見なすことができます。

は、例えば、以下の3つの式が同じである：

let a = (float) b;; 

let a = (float b);; 

let a = float b;; 

Answer 3

let a = (float) b 

は

floatタイプ int -> floatの関数であり、たまたま

let a = float b 

ような構文規則によって解釈されfloat_of_intと同じ機能です。これはCのようなステートメントのような型変換ではありません

double a = (float)b; 

これはOCamlには等価なものがありません。