Unterschied zwischen OCaml Typ Casting

Question

Was sind die Unterschiede zwischen Ocaml Typ Casting/Konvertierung Methoden unten?

let a = (float) b ;; 

Und

let a = float_of_int b ;; 

(Betrachten Sie ein ein Schwimmer und b ist eine ganze Zahl.) Gibt es einen Vorteil übereinander? oder sind sie gleich?

Answer 1

In OCaml gibt es keinen allgemeinen Typ-Casting-Mechanismus. Es gibt eine Funktion namens float, die dasselbe tut wie float_of_int. Sie können entweder einen mit oder ohne die zusätzlichen Klammern verwenden.

$ 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. 

Aber es gibt keine Funktion mit dem Namen (sagen wir) int:

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

Typ Guss wie in C (und verwandte Sprachen) nicht wirklich mit dem starken Typsystem von OCaml kompatibel sein.

Answer 2

Nach ihren Definitionen im pervasives Modul, float und float_of_int sind zwei identische Funktionen:

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

Außerdem ist die Art des Schreibens ist (float) b nicht Gußausführung. Es ist immer noch eine Funktion Anwendung. Die hier verwendeten Klammern bedeuten nicht Typ-Casting, sie können jedoch als Teile des Ausdrucks angesehen werden.

Zum Beispiel sind die folgenden drei Ausdrücke die gleiche:

let a = (float) b;; 

let a = (float b);; 

let a = float b;; 

Answer 3

let a = (float) b 

wird durch die Syntaxregeln interpretiert als

let a = float b 

wo float eine Funktion vom Typ ist int -> float und geschieht die gleiche Funktion wie float_of_int sein. Dies ist keine Typumwandlung wie die C-ähnliche Aussage, die in OCaml kein Äquivalent ist.