monads

6熱

1答えて

2つのモナド変圧器が異なるタイプのものであっても、それらの基礎となるモナドが同じタイプのものであれば、原理的な方法がありますか？

私は質問を拡大するためにあまりできません。しかし、ここで使用する場合は、次のとおりです。あなたが同じモナドm上で変換、2つのモナド変圧器、tとsを持っているとしましょう：彼らは互いに通信することができますslaveよう master :: (MonadTrans t, Monad m) => t m a b slave :: (MonadTrans t, Monad m) => s m a b

17熱

1答えて

このhaskell式でのバインド演算子の結合性はどのように説明できますか？任意の括弧なし

：右結合性を想定し Prelude> ([1,2] >>= \n -> ['a', 'b']) >>= \ch -> return (n, ch) <interactive>:22:49: Not in scope: `n' 括弧：左結合性を想定し Prelude> [1,2] >>= \n -> ['a', 'b'] >>= \ch -> return (n, ch) [(1,'a'),

16熱

1答えて

STモナドのための効率的な反復ループの作成

goworker tail-recursive loop patternは、純粋なコードを書くために非常にうまくいくようです。 STモナドのためのそのようなループを書くのと同等の方法は何でしょうか？より具体的には、私はループの反復で新しいヒープ割り当てを避けたい。私の推測では、CPS transformationまたはfixSTのいずれかが含まれているため、ループ全体で変化するすべての値が各繰り返

10熱

2答えて

インスタンスMonoid Monad

Monadはモノイドですが、例えばIntegerとは異なる方法でモノイドです。 Monoid'とMonad'の両方をIntegerとMonad'の両方が同じMonoid' typeclassのインスタンスとして表現できるように書く方法があるのだろうか？だから、

5熱

1答えて

（Monad m、Monoid o）=> m o？

ひどいタイトルに申し訳ありません。私はタイプをラップするMonadのApplicativeのインスタンスを作成しようとしています。 instance (Monad m, Monoid o) => Applicative (m o) where pure x = return mempty xm <*> ym = do x <- xm y <- ym

24熱

1答えて

新スカラ座2.10.1で振る舞いを脱糖

は、私はこのモナドのクラスがあるとします。 case class Foo[A](xs: List[A]) { def map[B](f: A => B) = Foo(xs map f) def flatMap[B](f: A => Foo[B]) = Foo(xs flatMap f.andThen(_.xs)) def withFilter(p: A => Bool

20熱

1答えて

Chomsky階層のタイプクラスと文法レベルの対応

私の質問は、一方ではApplicativeとMonadタイプのクラス、もう一方はChomsky階層の文脈自由文法と文脈依存文法のレベルです。私は、タイプクラスと文法レベルの間には対応があると聞いています。この対応はどのくらい正確ですか？つまり、すべての文脈自由文法は、Applicative combinatorsよりも強力なものを使用して解析することはできません。また、文脈自由なApplica

10熱

1答えて

モナド変圧器モナドの複製

私はモナド変圧器を初めて使用しています。私は値val :: MaybeT IO Stringと機能fn :: String -> IO [String]を持っています。バインド後、私はval >>= liftM fn :: MaybeT IO (IO [String])を持っています。重複するIOモナドを削除し、タイプMaybeT IO [String]の結果を得るにはどうすればよいですか？

7熱

2答えて

フォルダのすべてのサブフォルダを見つける方法を教えてください。

私はHaskellのフォルダのすべてのサブフォルダを列挙したいと思います。すべてのフォルダの内容を取得するのは簡単ですが、getDirectoryContentsの機能があります。しかし、どうすればそれらをフィルタリングできますか？ getDirectoryContentsはIO [FilePath]を返し、filterは[a]と予想しているため、これら2つを直接組み合わせることはできません。（

5熱

1答えて

スタックオーバフローを防ぐために、ディレイは連続モナドでどのように正確に機能しますか？

これはこれに関する参考質問です。StackOverflow in continuation monad 私は少し演奏し、いくつかの説明が必要です。 1）私はこれを仮定： member this.Delay(mk) = fun c -> mk() c は、これらの間のtoyvoで示したような計算ワークフローの動作がdiffrenceを行います： cBind (map xs) (fun xs ->