monads

2熱

1答えて

ScottyとSqliteを使ってMonadsにいくつかの問題がある

こんにちは私はHaskellにはかなり新しく、私はScottyとSqliteで小さなWebアプリケーションを開発してきました。 Scotty Actions内でSqlite操作を実行する際に問題があります。 2つのライブラリを孤立して使用していると理解しています。 は、ここでは、私はまだあまりにも命令的に考えて立ち往生しています見ることができるよう -- imports ... routes

sqlite haskell functional-programming monads scotty 2017-08-18

---

3熱

1答えて

fmapのモナド "バージョン"の名前は何ですか？

PowerShellスクリプトの背景には、まずパイプのような方法で関数の構成を考えるのが自然だと思っていました。つまり、合成の構文はpsudocodeのような形でfun1 | fun2 | fun3でなければなりません。 （fun[i]はiの順番に適用する関数です）。この関数の順番は、あなたがhaskellモナドのバインドで見つけたものでもあります。 fun1 >>= fun2 >>= fun3。

haskell monads functor 2017-08-19

---

0熱

1答えて

Handler MonadでunsafePerformIOを回避する方法は？

YesodハンドラでunsafePerformIOを回避することに頭を悩ませてしまいました。 HandlerのコードはHandler Monadにありますので、どのようにIO操作を実行できますか？ getProfileR :: Handler Html getProfileR = do -- toTMDBMovie's return-type is IO Movie --

haskell monads yesod 2017-08-20

---

2熱

1答えて

トランススタックの中央にモナドを追加する

(ExceptT Error IO Foo)を(ExceptT Error (StateT Bar IO) Baz)に「セミリフト」しようとしています。 私は試しましたlift、fmap lift、およびfmap return、そして何もありません。ここに標準的なイディオムはありますか？ > import Control.Monad.Except > import Control.Monad.S

haskell monads monad-transformers 2017-08-20

---

0熱

1答えて

HaskellでfindMを実装するには？

次の関数の既存の実装はありますか？ Googleで見つけることができませんでした findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)

haskell functional-programming monads 2017-08-23

---

3熱

1答えて

F＃の末尾再帰

私はライターの結果を結合反復ごとに再帰関数（収束、ニュートン法）を持っている場合 let inline bind ma fm = let (Writer (a, log1)) = ma let mb = fm a let (Writer (b, log2)) = mb let sum = (^w : (static member add : ^w * ^w

f# bind monads tail-recursion 2017-09-05

---

7熱

2答えて

モナド変圧器では、なぜ知っているモナドは内側のモナドですか？</p> <pre><code>newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a)} </code></pre> <p>でもない：例えば、<code>MaybeT</code>は次のように

を定義している newtype MaybeT m a = MaybeT { runMaybeT :: Maybe (m a) } これはなぜでしょうか？

haskell monads monad-transformers 2017-09-07

---

4熱

2答えて

は、別のパーサの出力に受信パーサを実行し、monadically文字列にCSVフィールドのフィールドを解析することを意図し、次の種類や機能、与えられた結果

に参加するパーサを生成します次の関数を実装： customCell :: String -> Parser res -> Parser res customCell typeName subparser = cell >>= either (const $ unexpected typeName) return . parse (subparser <* eo

parsing haskell monads monad-transformers parsec 2017-09-12

---

0熱

1答えて

Monad of Nothingはネコでは機能しません

cats/monads/understandingの問題があります。 for (...; nothing <- My[Nothing]()) yield nothing しかしtest22に示す障害が私の場合のためにcats.monadが使用できなくなります：私はtest12しかし、それはfor構文を可能に奇妙に見えることを実感 import cats._ import cats.impli

scala monads scalaz scala-cats 2017-09-27

---

1熱

2答えて

猫ランタイム例外を与える未来のMonad

import cats.Monad import cats.instances.future._ import scala.concurrent._ import scala.concurrent.duration._ import scala.concurrent.ExecutionContext.Implicits.global val fm = Monad[Future]

scala monads future scala-cats 2017-08-09

---