Разница между литьем OCaml

Question

В чем разница между методами литья/преобразования типа Ocaml ниже?

let a = (float) b ;; 

И

let a = float_of_int b ;; 

(Рассмотрим поплавковый и Ь представляет собой целое число.) Есть ли преимущество один над другим? или они такие же?

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.

Answer 2

В соответствии с их определениями в pervasives модуле, float и float_of_int две идентичные функции:

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

Кроме того, стиль написания (float) b не Приведение типов. Он по-прежнему является функциональным приложением. Скобки, используемые здесь, не означают литье типов, но их можно рассматривать как часть выражения.

Например, следующие три выражения являются одинаковыми:

let a = (float) b;; 

let a = (float b);; 

let a = float b;; 

Answer 3

let a = (float) b 

интерпретируется правилами синтаксиса, как

let a = float b 

, где float является функцией типа int -> float и случается будет той же функцией, что и float_of_int. Это не преобразование типа, как С-образное заявление

double a = (float)b; 

, который не имеет эквивалента в OCaml.