ハスケルはいつもTrueと評価されていますか？

Question

Haskell RealFloat typeclassには、documentationに従って、引数がIEEE浮動小数点数の場合はTrueを返します（そうでない場合はFalse）。isIEEEという関数があります。ここ

しかしはFloatためisIEEEの実装です：

instance RealFloat Float where 
    ... 
    isIEEE _ = True 

そして、ここではDoubleの実装です：

instance RealFloat Double where 
    ... 
    isIEEE _ = True 

isIEEEは常に無条件Trueであれば、なぜそれを使うのか？なぜプレリュードの中にあるのですか？

Answer 1

コメントに記載されているleftaroundaboutとKoterpillarは、RealFloatの独自のインスタンスを定義することができます。これらのカスタムフロートタイプは、必ずしもIEEE規格に準拠する必要はありません。あなたの浮動小数点型がIEEEでない場合

instance RealFloat MyFloat where 
    isIEEE _ = False 
    ... 

また、あなたはすべてのRealFloat述語はFalseを返すように許可されています。

（...）関数ますisNaN、isInfinite、isDenormalized、 isNegativeZero、 isIEEEすべてのサポート番号はIEEE標準を使用して表されています。 IEEE以外の浮動小数点数の場合、これらはすべてfalseを返すことがあります。

Haskell 98 Report, 6.4.6