category-theory

1熱

1答えて

リーダーモナド - それはMonadインターフェイスにどのように準拠していますか？

私はカテゴリ理論を学んでいます。私は読者のモナドの概念を理解 は、それが実装するのにも非常に簡単です： case class Reader[DEP, A](g: DEP => A) { def apply(dep: DEP): A = g(dep) def map[B](f: A => B): Reader[DEP, B] = Reader(dep => f(apply(de

scala monads category-theory reader-monad 2017-02-05

---

2熱

2答えて

はなぜファンクタ高い-Kinded私はファンクタの定義以下のいるタイプ

Scalaで trait Functor[F[_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } object ListFunctor extends Functor[List] { // def map[A, B](f: A => B)(data: List[A]): List[B] = data map f } が、F

scala category-theory 2017-08-27

---

-2熱

1答えて

HaskellのEdward Kmettsパッケージの概要

HaskellパッケージのKmettsパッケージの概要を一度覚えていますが、もう見つからないのです。 これはKmettsパッケージ（または少なくとも重要なサブセット）とそれらの間のすべての依存関係を示しました。 誰かが私をどこに見つけることができますか？

haskell category-theory 2017-12-14

---

3熱

1答えて

高次のトラバーサルファンクタに対応する光学系はありますか？

Hedgehogは、次のように定義されたHTraversableクラスがあります。値はコンクリートや抽象的であるかどうかを超えるタイプをパラメータ化するために彼らのVarタイプで使用されて -- | Higher-order traversable functors. -- class HTraversable t where htraverse :: Applicative f =

haskell lens category-theory traversable haskell-hedgehog 2017-10-30

---

1熱

1答えて

変換のセットf :: a-> aは単項式の上に関数の構成を形成します - これをMonoidのインスタンスにするにはどうしたらいいですか？

変換が空要素としてのアイデンティティ関数とバイナリ操作としての標準関数の構成で、変換がモノノイドを形成しなければならないかのように見えます。私はそれが特に有用だとは思わないが、可能でなければならない。線に沿って何か： Illegal instance declaration for ‘Monoid (a -> a)’ (All instance types must be of the

haskell functional-programming category-theory monoids 2017-01-10

---

2熱

2答えて

HaskellのすべてのMonadインスタンスは、HaskからHaskへのマッピング方法が異なりますか？

私はHaskell/Category theoryを読み、ここにその記事からdefinition of monadですよ： モナドは、いくつかの追加の構造をサポートし、同じ カテゴリに分類から、ファンクタの特殊なタイプです。したがって、 の定義に至ります。が 単位：C内のすべてオブジェクトXのための2つの 射とともに、C-> C：モナドはファンクタMであり、X - > M（X） 参加：M （M（X

haskell monads category-theory 2017-01-12

---

5熱

2答えて

`join`と `fmap join`はHaskellと同じです（カテゴリ理論の観点から）？

私の質問は、ハスケルのモナドの最初の法則から生じます：join . fmap join = join . join。私は、この例では、型のインスタンスではなく、型を使用しているという事実によって混乱しています ：この法律は、以下の画像で示されているHaskell/Category_theoryで 。カテゴリHaskのオブジェクトは型であり、インスタンスではないためです。 だから私は、私が得たものを

haskell types monads category-theory 2017-01-13

---

-1熱

1答えて

このアプリケーションファンクタの定義では、get（）とunit（）は何ですか？

私はいくつかのファンクション、モナド、およびアプリケーションをjavaでコーディングしようとしています。私はいくつかを見つけて、以下のものを選んだ。 カテゴリ理論では、get（）は何を返していますか？ ユニット（）は何らかのアイデンティティーのように思えますが、何から何に変わりますか？あるいは、これはコンストラクタですか？ 私はを見ました。 get（）を持つファンクタの定義です。これは何を返すだろ

java functional-programming functor applicative category-theory 2017-06-20

---

3熱

3答えて

適用：純粋なf <*> x =純粋な（フリップ（$））<*> x <*>純粋なf

Typoclassopedia私の研究中に私はこの証拠に遭遇しましたが、私の証拠が正しいかどうかわかりません。問題は次のとおりです。 有効な引数に純粋な関数を適用するための何かを述べている交換法則の変種を想像するかもしれません。上記の法律を使用して、そのことを証明： pure f <*> x = pure (flip ($)) <*> x <*> pure f どこに "上記の法律" のポイントを

haskell applicative category-theory 2017-09-30

---

3熱

1答えて

Bifunctorに相当するMonoidはありますか？

Bifunctorを使用している場合は、firstとsecond「マップ」機能にアクセスできます。ですから、基本的にはFunctorで、fmapの2つの異なる方法があります。 Monoidのようなものがありますか？ 2つの異なる方法で追加できる概念 たとえば、不透明なMatrixタイプを想像してください。リストやベクトルのベクトルではありませんが、内部でどのように構造化されているのかわかりませんが

haskell typeclass category-theory 2017-10-09

---