[LT .. GT]を使用するとき、なぜHaskellの範囲にスペースが必要なのですか？

Question

なぜそれは私がHaskellで範囲を行うとき、これが機能することである：

[LT .. GT] 

が、これはそうではない：

[LT..GT] 

と、この不可解なエラーはどういう意味：

<interactive>:1:2: 
    Failed to load interface for `LT': 
     Use -v to see a list of the files searched for. 

<interactive>:1:2: 
    A section must be enclosed in parentheses thus: (`LT..` GT) 

しかし、私はインツを使用すると、スペースなしの2番目のフォームが機能します。

[1..3] 

Answer 1

LT..は、LTモジュールの.演算子と解釈されるためです。

---

<interactive>:1:2: 
    Failed to load interface for `LT': 
     Use -v to see a list of the files searched for. 

これは、GHCがLTという名前のモジュールを見つけることができないことを意味します。 Haskellで

Prelude> SDJKASD.sdfhj 

<interactive>:1:1: 
    Failed to load interface for `SDJKASD': 
     Use -v to see a list of the files searched for. 

---

<interactive>:1:2: 
    A section must be enclosed in parentheses thus: (`LT..` GT) 

、sectionは、例えば、部分的なアプリケーションとの中置演算子である：同じメッセージは、非既存のライブラリで修飾名を使用している場合表示されます(* 3)であり、これは\x -> x * 3に相当します。

LT..は、.の中点演算子として解釈され、GTは、この演算子で形成されるセクションの一部です。

セクションは括弧で囲む必要があります。誤った解釈が行われないため、パーサーはこのように文句を言います。

エラーのもう一つの例：maximal munch ruleための

Prelude> [* 3] 

<interactive>:1:2: 
    A section must be enclosed in parentheses thus: (* 3) 

Answer 2

、LT..はLTモジュール内(.)オペレータの修飾名として解釈されます。 Haskellで独自の演算子を定義することができるので、関数と同じように演算子の名前を完全修飾することができます。

これは、オペレータの名前が.で始まる範囲で使用される..のあいまいさにつながります。これは、最も長いマッチが勝つという最大マンスルールを使用して解決されます。

たとえば、Prelude..は、関数合成演算子の修飾名です。

> :info Prelude.. 
(.) :: (b -> c) -> (a -> b) -> a -> c -- Defined in GHC.Base 
infixr 9 . 
> (+3) Prelude.. (*2) $ 42 
87 

モジュール名は、大文字でそう1..を開始しなければならないとx..は修飾名にすることはできませんので[1..3]または[x..y]作品は、ある理由。ケニーとHammarのは、これが何を意味するかを説明した

Answer 3

Failed to load interface for `LT':

：LT..はLTモジュールで.機能であると仮定されます。 LTモジュールがないので、通訳者は当然それを読み込むことができません。同じ静脈に沿って

A section must be enclosed in parentheses thus: (LT.. GT)

、LT..はLTモジュールで.関数への参照であると仮定すると、あなたのインタプリタは明らかにあなたが」のために、角括弧の代わりに括弧を使用してのミスを犯したと仮定していますセクション "（セクションは、例えば、(+1)です）。

これは、ハスケル語では単なる厄介な小さな疣贅です。スペースを使用することを忘れないでください。