reader-monad

4熱

1答えて

Control.Monad.ReaderにReader MonadとMonadReaderモナドがあるのはなぜですか？パッケージのドキュメントでは、Readerのモナドについて説明し、MonadReaderのマニュアルを直接説明しません。これらのモナドの違いは何ですか？これらのリファレンスページを読むことは、私を混乱させるだけのことになりません。興味深いことに、Haskellウィキブックスの読者モ

9熱

2答えて

読者のモナドを理解する

私はと読んでいます。例文でPurescriptを読んでいて、読者のモナドを紹介しています。この例は次のようになります。 createUser :: Reader Permissions (Maybe User) createUser = do permissions <- ask if hasPermission "admin" permissions then m

31熱

1答えて

Scalaの構成データ - Readerモナドを使用する必要がありますか？

Scalaで正しく機能する設定可能なオブジェクトを作成するにはどうすればよいですか？私はReaderモナドのTony Morrisのビデオを見てきましたが、私はまだドットを接続することができません。私はClientオブジェクトのハードコーディングされたリストを持っている：私はClient.clientsプロパティからそれを読んですると、データベースからファイルまたはいずれかの柔軟性と、実行時に決

11熱

1答えて

Monadトランスフォーマーで階段状にステッピングするのを避けるには？

私はコンフィグレーションのためにReaderモナドを使用する次のコードを持っており、IO[Option[String]]も扱わなければなりません。私はencode関数の階段のコードで終わってしまいました。は、どのように私は私のencode機能に醜いネストされたfor内包表記を避けるためにReaderとOptionTのためのモナド変換子を策定することができますか？ def encode(fileN

8熱

2答えて

Powerset-over-Readerモナドは存在しますか？

（HaskellのData.Setは、当然のことながら、モナドではないので、擬似Haskellのを使用して）次のように加えて非決定性を共有する環境のための標準的な「モナドのインスタンスが」です：一般 eta :: a -> r -> {a} -- '{a}' means the type of a set of a's eta x = \r -> {x} bind :: (r -> {a})

2熱

2答えて

Monad Readerのコードを見るには？

私はハスケルの初心者です。私はリーダーモナドを理解したいと思います。私はこのモナドの使い方を知っています。しかし、私はモナドの実装（特に関数 "return"のコード）を見たいと思います。このコードはどのように表示されますか？

0熱

1答えて

ReaderMonadのマップとフラットマップ操作の意味

私はスカラー初心者です。私はJavaの背景から来た。私はモナドを読んでいて、それについての一般的な考え方をしています。 Listのようなタイプの操作でmapとflatMapの操作を理解することはできますが、reader monadになると、私の頭の中には私の頭がラップできません。誰か簡単な例を挙げてください。私はfor-comprehensionsのような派手な構文を使用できるように単項関数の

1熱

1答えて

リーダーモナド - それはMonadインターフェイスにどのように準拠していますか？

私はカテゴリ理論を学んでいます。私は読者のモナドの概念を理解は、それが実装するのにも非常に簡単です： case class Reader[DEP, A](g: DEP => A) { def apply(dep: DEP): A = g(dep) def map[B](f: A => B): Reader[DEP, B] = Reader(dep => f(apply(de