ML-エラーは例外

Question

を使用して、私は、例外を処理するための機能を書いたが、私はプログラムを実行すると、私はこのエラーを取得する：ここで

operatii.ml:12: error: Type error in function application. 
    Function: = : ''a * ''a -> bool 
    Argument: (r2, 0.0) : real * real 
    Reason: Can't unify ''a to real (Requires equality type) 
Found near 
    if r2 = 0.0 then raise ImpartitorulEsteNul else 
    (
    (r2 * r1 - i1 * i2)/(r2 * r2 + i1 * i2), 
    (... * ... + ... * ...)/(... * ... + ... * ...) 
    ) 
Exception- Fail "Static Errors" raised 

は私のコードです：タイプrealの値が通常の=オペレータと一致するかどうかは確認できないため、

infix %%%%; 
exception ImpartitorulEsteNul; 
fun (r1,i1) %%%% (r2:real,i2:real)=if r2=0.0 andalso i2=0.0 then raise ImpartitorulEsteNul 
         else ((r2*r1-i1*i2)/(r2*r2+i1*i2),(r2*i1+i1*i2)/(r2*r2+i1*i2)); 

Answer 1

それは起こります。これは、浮動小数点数がコンピュータ内部でどのように表現されているかによって発生します。正直なところ、他の誰かに説明できないものです。しかし、その解決法は簡単です。 Real.==等価演算子を使用する必要があります。

infix %%%%; 

infix ==; 

(* Import just the == function from the Real structure. *) 
(* I hope you can make sense out of this line. *) 
val op == = Real.==; 

exception ImpartitorulEsteNul; 

fun (r1,i1) %%%% (r2:real,i2:real) = 
    if r2==0.0 andalso i2==0.0 
    then raise ImpartitorulEsteNul 
    else ((r2*r1-i1*i2)/(r2*r2+i1*i2),(r2*i1+i1*i2)/(r2*r2+i1*i2));