このコードはどのようにこの出力を生成しますか？

Question

私はインストラクターが私たちに与えたいくつかのハスケル関数の例を扱っていました。しかし、私は、この特定の機能を理解していなかった。

f x = [not a | a<-[x,not x], a] 

をし、それが出力として[False]生成するが、私は理由を理解していませんでした。これを詳細に説明できますか？

Answer 1

このリスト内包表記は、3つの部分から構成されています

[ not a | a <- [x, not x], a ] 
-- ^yield^generator ^filter 

ジェネレータはは、このように2つの要素を持つリスト上a反復をすることができます。これらの要素は[True,False]または[False,True]です（値はx）。しかし、常に同じ値（要素の順序だけが異なります）。

次部分がaに来るフィルタ。フィルターは、述部がTrueの値を保持します。ここで述語は単にaであるため、a = Trueの構成を保持します。 aがTrueの場合、とFalseの両方がaであることから、とという項目を考慮に入れることになります。その値の

、我々はnot aをもたらします。今度はnot TrueはFalseです。その結果、xの値にかかわらず（TrueまたはFalse）、常に[False]が生成されます。

Prelude> let f x = [not a | a<-[x,not x], a] 
Prelude> f True 
[False] 
Prelude> f False 
[False] 

Answer 2

あなたはまた、等式推論でこれを理解することができますので、結果として

。

f x = do 
    a <- [x, not x] 
    guard a 
    pure (not a) 

Desugar do表記：リストモナドに

f x = [not a | a <- [x, not x], a] 

Desugar：リスト内包で開始

f x = [x, not x] >>= \ a -> guard a >> return (not a) 

インラインリストの>>=の定義：

f x = concatMap (\ a -> guard a >> return (not a)) [x, not x] 

インラインguard/>>：

f x = concatMap (\ a -> if a then return (not a) else []) [x, not x] 

インラインreturn：

f x = concatMap (\ a -> if a then [not a] else []) [x, not x] 

concat (map g xs)からconcatMap g xs展開：

f x = concat (map (\ a -> if a then [not a] else []) [x, not x]) 

map

インライン：

が Falseであり、そして xが Falseある場合 xは Trueと [False]された場合に if not x then [not (not x)] else []は []と評価された場合 xは Trueと []ある場合 if x then [not x] else []は [False]に評価されることは

注意。したがって、あなたが持っている：

f x = if x then [False] ++ [] else [] ++ [False] 

そして[False] ++ [] == [] ++ [False] == [False]以降を、あなたが得る：

f x = [False]