問題タブ [reader-monad]

次のコードを書きました。Readerそれは機能し、モナドを使用しています。

Haskell のコード スタイルに関するヒントを教えてください。主に、私はモナドを意味します - 私は初心者です。

私は Haskell の初心者で、Reader Monad を理解したいと思っています。私はこのモナドの使い方を知っています。しかし、モナドの実装（特に関数「return」のコード）を見たいです。このコードを表示するにはどうすればよいですか?

http://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ (「タイプクラスは効果をエミュレートできる」というタイトルのセクション)で与えられたアプローチをいくつかと結婚させようとしています。自家製の読者モナドの一種。

私が解決しようとしている全体的な問題は、構成変数を渡してアプリでほとんど機能させないようにすることです。そして、私が a を使用できない理由ReaderTは、多くの関数が にありSqlPersistT、それ自体がReaderT内部で a を使用しているためです。もう1つの理由は、このすべての精神的な体操をよりよく学ぶことです.

私の 2 つの質問は、以下のコードのコメントとして示されています。ここでもそれらを再現します：

• を定義する最も適切な方法は何NwMonadですか?
• したがって、NwMonadのインスタンスとしてどのように定義しますHasNwConfigか? の関数本体の書き方はaskNwConfig？
• どうすれば最後に電話できrunNwMonadますか? その引数は何ですか？

コードは次のとおりです。

Control.Monad.Reader に Reader モナドと MonadReader モナドがあるのはなぜですか? パッケージのドキュメントは Reader モナドについて述べた後、説明なしで MonadReader ドキュメントを直接起動します。これらのモナドの違いは何ですか? これらの参照ページを読むと、私は混乱するばかりです。興味深いことに、Haskell wikibook の Reader モナド ページはまだ作成されていません!