comonad

17熱

3答えて

{-# LANGUAGE DeriveFoldable #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveTraversable #-} import Control.Comonad import Data.Functor.Reverse import Data.List (unfoldr) 最初にいくつかの文脈（ハッハッハ）

12熱

1答えて

適用はモナドに何がXをコモナドにするか

この式をXで解くことはできますか？のApplicativeは、Xはそれをいくつかの考えを与えた後

5熱

1答えて

HaskellでCayley Tableを実装するにはどうすればよいですか？

Cayley Tableを使用する計算ツールを一般化することに興味があります。これは、ルックアップテーブルに基づく乗算演算を意味します。次のように私は最小限の実装を作成することができます。 date CayleyTable = CayleyTable { ct_name :: ByteString, ct_products :: V.Vector (V.Vector Int)

30熱

1答えて

`Monads`に基づいて` Comonads`を定義できますか？

わかりましたので、fがComonadあるとき、Dual fはモナド（楽しい運動）である、のは、結局のところ、あなたがタイプ newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} を持っているとしましょう。それは別の方法で動作しますか？ fmap ab (Dual da) = Dual $ \fb -> da $ fmap (. ab)

3熱

1答えて

コンビのコンビニエンスストアのゲームのパフォーマンス

Storeコモノードを使用してConway's Game of Lifeの簡単な実装を書いた（以下のコードを参照）。私の問題は、グリッドの生成が5回目の反復より目に見えるほど遅くなっていることです。私の問題はStoreコモノードを使用しているという事実に関連していますか？または私は目障りなミスをしていますか？私が言うことができる限り、ジッパーコモナドに基づくotherimplementations

34熱

2答えて

店舗コモナードとは何ですか？

what the Comonad typeclass is in Haskellのアイデアを持って、私は店のコモナードについて聞いたことがあります。しかし、Control.Comonad.Store.Lazyを見ると、私はそれを実際には得られません。どういう意味ですか？それはなんのためですか？私はStore = CoStateというステートモナドの二重ということを聞いたことがある。どういう意味です

2熱

1答えて

CofreeアノテーションでASTを使用するにはどうすればよいですか？

私はこの簡単なExpr ASTを持っており、簡単にStringに変換できます。 import Prelude hiding (Foldable) import qualified Prelude import Data.Foldable as F import Data.Functor.Foldable import Data.Monoid import Control.Comonad.

19熱

2答えて

Comonadの例（Scalaの場合）

Comonadとは、Scalaの構文で記述できる場合です。ライブラリの実装であるscalazが見つかりましたが、どこに役立つかは不明です。

28熱

1答えて

underscore.jsのchain関数はモナドを作成していますか？ <a href="http://underscorejs.org/#chaining" rel="noreferrer">the <code>chain</code> documentation</a>で

あなたは見つける：ラップされたオブジェクトにchainを呼び出すは将来のすべての方法は、同様に包まれたオブジェクトを返すようにを呼び出す原因となります。計算が終了したら、valueを使用して最終値を取得します。したがって、chain関数はモナドを作成しますか？