category-theory

3熱

1答えて

私は現在、慎重な数学クラスのための個人的なプロジェクトに取り組んでおり、Haskellでセット理論を正式化しようとしています。私たちのクラスで定義されている集合は、特定の宇宙の要素の任意の入れ子です。私はすべての標準型クラス用のインスタンスを作成したい怠惰なHaskellのプログラマとして data Set a where Empty :: Set a Elem :: a ->

13熱

1答えて

フリーグループモナド

カテゴリ理論では、monadは2つの随伴ファンクタの構成です。たとえば、Maybeモナドは、忘却ファンクタで構成された自由な尖頭集合ファンクタです。同様に、リストモナドは忘却ファンクタで構成されたフリーのモノイドファンクタです。 Monoidは最も単純な代数構造の1つで、プログラミングはもっと複雑なものから利益を得ることができるのだろうかと思います。私は、標準Haskellのパッケージで自由なグル

0熱

1答えて

これらの3種類の関数を条件分岐のために構成する一般的な方法は何ですか？

私は3つのモナディック関数を用意しています。それらは一緒に構成し、条件付きで述語に分岐したいと考えています。私は多分一般のトレードオフを持つソリューションを探しています。矢印（ArrowChoice？）とMonadsは有望視されています。不自然な問題はこれです：私は、多くのお客様の『個人番号』を追跡してサービスを実行。最初にログインした場合、その番号は0に設定されています。以前ログインしてい

0熱

1答えて

結果のカテゴリグループを計算する

したがって、4つのボキャブラリでタグ付けされたノードを持つDrupalサイトがあります。 SQLの場合、これらはすべて基本表の単純な結合です。単純化された用語では、それはおおよそ次のようになります。 SELECT a.name AS location, b.name AS sector, c.name AS tag, d.name AS status FROM node n LEFT JOIN

3熱

1答えて

フラットリストとフリーモナド

リストモナド（フラットリストを持つもの、リストとマップ要素を連結したもの）はフリーモナドではないことを自信を持って考えています（正確には、フリーモナドファンクタT）。私の知る限り理解し、私はは、この関係にはないことを示し、最初の通常の事業者のFMAP間モナドリストの関係を見つけることによって、などに参加することを達成することができるはずです無料モナド一線を画している、リストモナドに保持している

3熱

3答えて

不合理関数の逆数

absurd関数の逆数はData.Voidですか？存在する場合、どのように実装され、どのような目的で使用されますか？

8熱

1答えて

hoistfreeの定義

私は、HaskellライブラリControl.Monad.Freeからhoistfree関数に関するいくつか質問があります。 2つのファンクタの間の変換fが与えられた場合、ホイストフリーfは対応するフリーモナドの間にモーフィズムを生成する。ここにその定義があります。 hoistFree :: Functor g => (forall a. f a -> g a) -> Free f b -> Fr

3熱

1答えて

インデックス付きファンクタの合計

Slicing Itに、Conor McBrideはインデックス付きファンクタを開発し、その合計と製品をスライド「Sum and Product」（スライドのラベルは表示されず、プレゼンテーションの約90％）に表示します。このスライドは、特に -- sum - choose between compatible structures data (:+:) :: (i ->- o) -> (i -

1熱

1答えて

どちらのタイプ

の左側に労働組合を作成すると、タイプR1 => Either[L2, R2]の機能にEither[L1, R1]の値をバインドして宣言することができEither[L1 | L2, R2]ので、個々の関数の値を取得し、潜在的に自分のエラーや消費者を返す方法はありますこれらの関数のモナドパイプラインは、可能なすべてのエラーを型付きのない完全な方法できれいに処理できますか？私は徹底的なエラー処理を行うこ