Size: a a a

2020 May 23

LO

Leonid 🦇 Onokhov in haskell_blah
Oleg ℕizhnik
ну ещё 1->a и законы
Ну это то понятно
источник

IK

Ilya Kos in haskell_blah
Leonid 🦇 Onokhov
fmap :: (a -> m a) -> m (m a)
Что?
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Ilya Kos
Что?
не дописал
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Ilya Kos
Что?
А что?
источник

IK

Ilya Kos in haskell_blah
И у тебя операция по композиции fmpa?
источник

IK

Ilya Kos in haskell_blah
Ну типо fmap это у тебя объекты?
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Х.з., наверно
источник

IK

Ilya Kos in haskell_blah
Ну просто как у тебя операция выглядит?
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Фух, наконец-то теоркат душение
источник

IK

Ilya Kos in haskell_blah
Этот твой М*М -> М
источник

IK

Ilya Kos in haskell_blah
Если М = fmap
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Ilya Kos
Ну просто как у тебя операция выглядит?
join m (m a) -> m a
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Ilya Kos
Вот я тоже так подумал, но у тебя М это из хаскеля что? а -> m a?
Мне отвечать или ты леонида душишь?
источник

IK

Ilya Kos in haskell_blah
Oleg ℕizhnik
Мне отвечать или ты леонида душишь?
Отвечай
источник

IK

Ilya Kos in haskell_blah
Я не душу (:
источник

Oℕ

Oleg ℕizhnik in haskell_blah
m - в отношении монад ето ендофунктор
источник

Oℕ

Oleg ℕizhnik in haskell_blah
произведение - композиция
источник

Oℕ

Oleg ℕizhnik in haskell_blah
единичный - айдентити
источник

Oℕ

Oleg ℕizhnik in haskell_blah
стрелка - ест. трансформация
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Ну так я так и написал, только без вот этих сложных академических слов
источник