発現は

Question

を期待し、私は次のコードを持っている：

type point = { x : float; y : float; z : float } 
    type dpoint = { dx : float; dy : float; dz : float } 
    type physical_object = { position : point; velocity : dpoint } 
    let move p dp = {x = p.x + dp.x; y = p.y + dp.y; z = p.z + dp.z} 

を、私はこのエラーを取得しています：

File "code.ml", line 4, characters 21-24: 
Error: This expression has type float but an expression was expected of type 
     int 

p.xはなぜこれがある

を強調していますか？ レコードのフィールドを正しく参照していませんか？

Answer 1

オペレータ+は、タイプがint -> int -> intであるため、タイプintの値にのみ適用されます。浮動小数点の場合は+.演算子を使用します（その他の操作では*.,）。

OCamlはタイプ推論ではうまく動作しないため、演算子のオーバーロード（別名ad hoc polymorphism）はありません。しかし、それはあなたのコードをはるかに明示的にし、それは利益と考えられます。

Answer 2

OCamlでは、+は整数のみで動作します。浮動小数点数の場合は、+.演算子（ドット接尾辞付き）を使用する必要があります。詳細については、例えば、 http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html。