問題タブ [do-notation]

Learn you a Haskellで読んだことがありますが、Haskellのリスト内包表記はモナド結合または (実質的には同じ) do 表記として書き直すことができます。

ただし、次のコードを書き直そうとすると (指定されたリストの 1 つから各要素を持つすべての可能なリストを生成します):

そのような方法で：

次のエラーが表示されます。

の最後の行doを this:に変更するreturn a:[b]と、エラーは発生しませんが、結果は明らかに正しくありません:

質問は次のとおりです。

1. このリスト内包表記を書き直すにはどうすればよいですか?
2. リスト内包表記とdo記法は交換可能ですか?一般的にどのように交換できますか?

私はまだ Haskell に苦労していますが、この例の Input/Output モナドに頭を悩ませる問題に遭遇しました。

Haskell のような関数型言語は関数の副作用に基づくことができないため、何らかの解決策を考案する必要があったことは理解しています。この場合、すべてをdoブロックにラップする必要があるようです。簡単な例が得られますが、この場合、誰かの説明が本当に必要です:

1. I/O アクションに単一のdoブロックを使用するだけでは十分でないのはなぜですか?
2. if/else ケースで完全に新しいものを開く必要があるのはなぜですか?
3. また、モナドの「スコープ」がdo終了するのはいつですか？つまり、標準のHaskell用語/関数を使用できるのはいつですか？

Haskell do-notation ブロックで、is_root自分が root かどうかを示す変数が必要だとします。

その煩わしいuid変数は、その 1 つの場所でのみ使用されます。代わりに、これを書くことができればいいのにと思います:

しかし、もちろんそれはコンパイルされません。

のような余分な変数を取り除くにはどうすればよいuidですか? これが私が思いついた最高のものです：

ブリーチ！より良い方法はありますか？

haskellwikiから: expr1 >>= \x ->

(>>=) 演算子の右側が気になります\x ->。どういう意味ですか？

GHCiではNor \x ->nor も\x認識され:typeません。

私の質問に関係のないすべてのコードを無視して、次のようなコードがあります。

これをリファクタリングする方法はありますか？具体的には、ネストされたbar'関数が最も気になります。これを1行に凝縮できますか？

doブロックの内部では、モナドからその内容を「抽出」して描画できることを知っています。たとえば、署名付きの関数がある場合:

doブロック内でこれを行うことができます：

これにより、Set Int私が望むものが得られます。ただし、引数を取るように関数を変更すると、次のようになります。

やりたいことができなくなった：

これはエラーでコンパイルに失敗しCouldn't match expected type、Probable cause: ‘myFunction'’ is applied to too few arguments. このようなことを試みることは、構文的にも正しくありません:

myFunction'私はタイプになりたいですInt -> Set Int。私は自分がやりたいことをする方法を理解できないか、どこにも見つけられません。誰でも助けてもらえますか？

I've got a block of code that I've written which doesn't compile because the if/then/else block isn't set out in a way the compiler understands, however I can't figure out how to rewrite it so that it can.

basically the function uniform will divide by zero if the list is empty, so I need a way to catch this and return the empty list before carrying on with the do statement. Any advice?