Итак, у нас есть бесплатная монада: (кодировка может отличаться, но они все одинаковые) data Free f...

В Haskell функторы почти всегда могут быть получены, есть ли случай, когда тип является функтором и...

У меня сложилось впечатление, что (>>=) (используемый Хаскеллом) и join (предпочитаемый...

Я пытаюсь понять, что такое Monoid с точки зрения теории категорий, но меня немного смущает нотация...

Я начал читать книгу «Мышление с типами», которая является моим первым опытом в программировании на...

Что это означает именно тогда, когда люди говорят, что «монада - это модель вычислений»? Означает...

Я читал о моноидном гомоморфизме из Моноидные морфизмы, продукты и сопутствующие продукты и не мог...

Когда я говорю 1-arity | 2-arity | n-arity, я имею в виду дерево в теории графов k-ary tree :...

Я пытаюсь расширить свое понимание символов в Haskell: $ : Function Application operator (Allow you...

Я пытаюсь понять хорошо известную фразу A monad is just a monoid in the category of endofunctors и...

Пытаясь расширить мое понимание символов в Haskell: ($): оператор приложения функции (позволяет...

Мы знаем, что монады происходят из примыканий (и это обсуждалось также на SO ). Обычные в...

Я работаю через удивительные блоги Бартоша Милевски о теории категорий.Я застрял на одном из...

Я смотрел на классы сильных и закрытых профессоров: class Profunctor p where dimap :: (a'...

Я сейчас читаю Теорию категорий для программистов Бартоша Милевски.В главе о естественном...

Это может быть способ построения Есть ли (в идеале стандартный) способ выполнения f :: Int ->...

Я хочу понять, что означает Представляемый в Haskell. Определение Представимые эндофункторы над...

Похоже, у меня есть довольно четкое понимание того, что такое Monoid в Хаскеле, но в последний раз...

Я изучаю композицию монад. Хотя я уже понимаю, как сочинять, скажем, Async и Result как выполнено...

Я могу с готовностью определить общие Functor и Monad классы в Haskell: class (Category s, Category...

Это еще один вопрос теории теории Хаскелла. Давайте возьмем что-то простое и известное в качестве...

Этот ответ с точки зрения теории категорий включает следующее утверждение: ... правда в том, что...

Мне хочется понять абстрактную концепцию неподвижной точки функтора, однако я все еще пытаюсь...

В Haskell мы думаем о монаде m как о функторе (эндо) Hask, имеющем следующую структуру: pure : a...

(Примечание: я формулирую вопрос, используя терминологию Haskell; ответы могут использовать ту же...