Data.BitsのHaskellビット演算子

Question

私はHaskellを初めて使用しており、Data.Bitsからビット単位演算を使用しようとしています。 。|私がしようとするたびに私は、エラーメッセージ

Prelude Data.Bits> 1 `shiftL` 16 

<interactive>:1:0: 
    Ambiguous type variable `t' in the constraint: 
     `Bits t' arising from a use of `shiftL' at <interactive>:1:0-12 
    Probable fix: add a type signature that fixes these type variable(s) 

これは私も試した操作の数、のために起こり得ます。と。 &。

私は非常に単純な何かが欠けする必要があり、私に知らせてくださいあなたは、対話型セッションで問題

Answer 1

を見つけることができれば、Haskellはその後、1と16種類のソリューションを推測することはできません、提供することですヒント：

> :m +Data.Bits 
> let a = 1 :: Int 
> let b = 16 :: Int 
> a `shiftL` b 
65535 
> 

Answer 2

ghciはどのタイプを選択するかわかりません。しかし、それはそうであるべきではない：式から

Prelude Data.Bits> 1 `shiftL` 16 
65536 

プロンプトで入力、制約Bits tもNum t（推測されるが、Numは、したがって暗黙、Bitsのスーパークラスであり、それがあることがあるので通訳者によって表示され、またShow t）。

制約の1つが数値クラスであり、すべてのクラスがPreludeライブラリまたは標準ライブラリで定義されているため、あいまい型変数tはdefaultingに適格です。明示的なデフォルト宣言がない場合、型としてIntegerを選択することであいまいさは解消されます。

私の頭の上では、デフォルト設定であいまいさの解決を妨げる言語拡張を考えることはできません。その結論は、ghciが古いことです。 BitsクラスはHaskell98レポートで定義された標準ライブラリではなかったのでBits制約は例えば、GHCその場合7.

<その規格に準拠しているコンパイラで不履行の対象ではありませんでした、即時の回避策があります、

Prelude Data.Bits> 1 `shiftL` 16 :: Int 
65536 

を型シグネチャを指定して、あなたの問題への修正は、新しいHaskell2010規格に準拠しているバージョンにGHCをアップグレードすることです。