なぜこのHaskell配列コードは機能しませんか？

Question

私はHaskellでは、このコードは試してみました：

array :: (Ix a) => (a,a) -> [(a,b)] -> Array a b 
squares = array (1,100) [(i, i*i) | i <- [1..100]] 

をしかし、私はコードを私はGHCiのことで、このメッセージを取得することを実行すると：

The type signature for array lacks an accompanying binding 
     (The type signature must be given where array is declared) 

伴う結合し、どのようにそれを修正すると意味している正確にどのような？あなたがarray、用型シグネチャを定義するので

Answer 1

ないsquares（arrayあなたはもちろんはあなた自身を書くことができ、あなたがそれをを再定義しないことができ、ライブラリ関数です）。コンパイラはあなた自身がarrayを定義することを目指していると考えて、 "これは知っていますが、関数定義はどこですか？"のようにのバインディングがありません。

バインディングはその実装（ここではsquares = array (1,100) [(i, i*i) | i <- [1..100]]）です。さらに、ブラケットの間にコンパイラは、あなたが望む場所で関数を定義することはできないと言っています。ファンクションシグネチャがあるファイル（シグネチャはそのタイプを:: (Ix a) => (a,a) -> [(a,b)] -> Array a bと定義しています）になければなりません。

squaresに署名することを指定した場合、タイプシグネチャは広すぎますです。最も一般的な型シグネチャは次のとおりです。

squares :: (Enum e, Num e, Ix e) => Array e e 
squares = array (1,100) [(i, i*i) | i <- [1..100]]