haskellで2のタイプの好奇心ケース

Question

IntまたはIntegerのような特定のタイプにデフォルト設定するのではなく、一般タイプNum a => aを2に割り当てる背後にある根拠は何ですか？

私は多くの場所で2が多形性値であることを読んだが、多型性の定義は制約付き変数を認めていない。ハスケルでは2多型ですか？

Answer 1

2は多型ですので、好きな番号のタイプとして使用できます。 Numタイプのクラスには、関数fromIntegerがあり、ここで使用されます。だから2は実際にはfromInteger (2 :: Integer)です。 2が多型でない場合は、Haskellに自動強制がないため（つまり、(1 :: Integer) + (1 :: Int)は実行できません）、整数でない数値が必要な場合は、常にこれを記述する必要があります。途中でFractionalの場合はfromRationalとなります。

多型変数には制約があります。彼らは制約を持っていない場合、それはパラメトリック多型と呼ばれ、彼らがしなければは、制約囲まれたパラメトリックまたはアドホック多型。 HaskellWiki article on polymorphismも参照してください。

トップレベル関数の型推論に頼ってはいけません。それ以外の場合は、monomorphism restrictionにトラップする可能性があります。あなたがタイプNum a => aであるとpolymorphicを期待することがあり

polymorphic = 42 

が、実際にはHaskellはIntegerへpolymorphicのタイプをデフォルトとします。たとえば、あなたはモジュールのトップレベルでこれを書いている場合。