ハスケルオペレータの解釈

Question

私はハスケルで次のように出会った：foldl (&&) True [False | _ <- [1..]]。私はfoldl関数が何をし、この式が無限再帰を含むのか知っていますが、この式は実際に何を意味していますか？私は主にこの文脈で|と<-が何をするのか不明です。 3番目の引数はリストの内包によって定義されたリストである

1. (&&)
2. True
3. [False | _ <- [1..]]

：

Answer 1

この3つの引数に適用されるfoldl機能です。これは単にFalse値の無限配列であるリストは_の値ごとにFalse値で構築されている無限シーケンス1、2、3から引き出され、...それはより簡単repeat Falseとして定義することができる：

foldl (&&) True (repeat False) 

Answer 2

the haskell wiki about list-comprehensionをお読みください。

これは[ expr | expr <- expr ]です。これはリストの理解と呼ばれる構文です。

_は、この変数を無視することを意味し、|は、リスト内包式の左右の部分を区切るために使用されます。

Answer 3

foldl演算子は、リストを反復し、アキュムレータとリストの現在の場所でバイナリ演算子を呼び出して値を累積します。

I.e. （& &）は、AND演算子を使用して値TRUEに累積することを意味します。

最後の部分はここにあります。これはリストの理解です。これは、数学のクラスで見たセット表記法と似ています。基本的には、リストを定義しています。そのようなことを意味し、[1 ..]は1から無限までの各値をロードしていることを意味しますが、_にロードしているので無視されます。これは、Falseの無限リストを定義します。したがって、True & & Falseは常にFalseなので、最初のフォールドではfalseを返します。

これは機能すべてと同じだと思います。