monads

6熱

2答えて

私は私の試験のために学んでいるので、機能的プログラミング、私はまだ実際にしようとしています Monads。あなた自身を定義するよりも良い方法は何ですか？ 1に newtype ST a = ST (State -> ([a], State)) type State = StdGen 基本的にはリストモナドとモナドランダム：私はこれを定義しました。このモナドでは、ランダムな関数とリストを扱う

3熱

1答えて

スララのモナドトランス

M[F[A]]を含む理解のために私は単純なモナドトランスフォーマーを試してきましたが、MとFはモナドです。 Sが別のモナドである場合、M[F[A]]とM[S[A]]をfor compで一緒に動作させるにはどうすればよいですか？例えば： val a: Future[List[Int]] = ... val b: Future[Option[Int]] = ... aはListT[Future

2熱

1答えて

Scalaは試してみて、いずれかの奇妙な行動

はは、だから私は、ScalaではM種類で遊んでいて、次に関するTryとEitherを思い付いた： def brokers(throw1:() => List[Int], throw2: List[Int] => List[String]) = { println("brokers ===> " + (Try(throw1()) .toEither .f

1熱

3答えて

Monadic Fibonacciを理解する

私はhaskellと学習用のモナドを学んでいます。私は、しかし、私は（Haskellのウィキから取られた）次のコードを理解することはできませんよ、見て、様々なチュートリアルを読んで、Stateモナドのためのいくつかの簡単な例をコード化されました： import Control.Monad.State fib n = flip evalState (0,1) $ do forM [0..

0熱

1答えて

ハスケル：たぶん

特定の位置から、だけNothingアイテムを持っている、Maybe nの無限リスト、リスト上のtakeWhile最初Nothing： howMany :: (Int -> Bool) -> [Maybe Int] -> Int これは、明示的な再帰で、私が思い付いたものです： howMany p ((Just n):rest) | p n = 1 + (howMany p rest) |

2熱

1答えて

Warning :(filter）メソッドを使用して、MoldPiece [PressureData（Int、prettyprint.YesNo）]に `withFilter 'メソッドがまだ存在しません

警告をオフにする方法はありますか？ WithFilterが存在するのはなぜですか、なぜこのモナドが存在するのかを完全に理解していますが、この特定のモナドはモナド型の値のコレクションではなく個々の関数を構成するために使用され、WithFilterは意味のある改善はしません。クラスの単純なインターフェースを混乱させるクラス。

3熱

1答えて

Scalaz：WriterとState（and/or Lens）の組み合わせ

私はWriterとState（Lensを通して）を結合しようとしています。私はモナド変圧器が必要であるとはかなり確信していますが、Tバージョンの使い方とこれを適切に構築する方法がわかりません。 case class Schedule(due: LocalDate) case class Task(title: String, schedule: Schedule) フィールドごとに定義された

3熱

1答えて

計算の応用的ファンクタ対表現やものではありません

タイトルはOK、それを説明し、私は次のコードについて持っているん全くわからない： paket.dependencies： source https://www.nuget.org/api/v2 nuget fsharpx.extras nuget mongodb.driver some.fsx： #r @".\packages\MongoDB.Bson\lib\net45\MongoDB

1熱

2答えて

Haskellのグローバル乱数生成器から算術演算と論理演算で得られたランダムな値を使用する

Haskellのグローバル乱数ジェネレータから算術論理演算で得た値はどのようにして得ますか？インターネット上のほとんどのチュートリアルでは、乱数を得ることに焦点を当てていますが、どういうわけか、私はそれらに有用な何かをすることができないようです。次のコードには、実行したい操作の一部が含まれているtestという一部の機能が含まれています。 Ord (IO Double)とNum (IO Doubl