Телеграмм чат группы haskell

Size: a a a

haskell_blah

2020 October 09

я освоил монады когда увидел

Functor     f =>   (a -> b) -> f a -> f b
Applicative f => f (a -> b) -> f a -> f b
Monad       f => (a -> f b) -> f a -> f b

источник

12:46пожаловаться #1

John Cantrell in haskell_blah

(не освоил)

источник

12:46пожаловаться #2

Oℕ

Oleg ℕizhnik in haskell_blah

эх вы такие офигенные

источник

12:46пожаловаться #3

A64m AL256m qn<co... in haskell_blah

Хаскелль Моисеевич Гопник

Меня интересует не то, почему оно компилится, а как авторы пришли к решению такому.

на самом деле эти вопросы примерно про одно и то же

источник

12:46пожаловаться #4

ХГ

Хаскелль Моисеевич Г... in haskell_blah

Oleg ℕizhnik

на applyOptional?

Да.

источник

12:49пожаловаться #5

Nick Ivanych in haskell_blah

Oleg ℕizhnik

прикольно

Если не из точечной, то это называется relative-монада.

источник

12:49пожаловаться #6

ХГ

Хаскелль Моисеевич Г... in haskell_blah

Т.е. как строится решение на основании прочитанного к этому моменту.

источник

12:49пожаловаться #7

Nick Ivanych in haskell_blah

A64m AL256m qn I0

вообще есть подозрение, что я осилил монады во время чтения апликатив программинг виз эффектс, но не уверен

Имхо даа, для полного понимания монад аппликативы невредно понимать.

источник

12:50пожаловаться #8

Oℕ

Oleg ℕizhnik in haskell_blah

Nick Ivanych

Если не из точечной, то это называется relative-монада.

я даже не слышал о бикатегорных релатив монадах, сравнительно недавно только про эндофункторые релатив монады услышал

источник

12:51пожаловаться #9

Andrey in haskell_blah

Хаскелль Моисеевич Гопник

Т.е. как строится решение на основании прочитанного к этому моменту.

а где-нибудь выше по тексту говорится о том, что в качестве аргумента функции можно передавать функцию?

источник

12:52пожаловаться #10

Andrey in haskell_blah

не обязательно "лямбду"

источник

12:52пожаловаться #11

Oℕ

Oleg ℕizhnik in haskell_blah

Хаскелль Моисеевич Гопник

Т.е. как строится решение на основании прочитанного к этому моменту.

я хотел на питоновых листах без патмата объяснить

источник

12:52пожаловаться #12

A64m AL256m qn<co... in haskell_blah

еще хуже я представляю, как я изучил самые начала фп, с которыми @haskell_moiseevitch так безуспешно сражается

источник

12:55пожаловаться #13

Kirill Valyavin in haskell_blah

Хаскелль Моисеевич Гопник

Учитывая, что мы во флеймовом канале, скажу: ФП не взлетит. Люди не те, книги не те. Эзотерика. Так и будет нишей.

Хорошо, пусть будет только для избранных

источник

12:56пожаловаться #14

Oℕ

Oleg ℕizhnik in haskell_blah

Хаскелль Моисеевич Гопник

эх, эту бы мысль да 15 лет назад, когда ФП ещё не взлетело

источник

12:56пожаловаться #15

Oℕ

Oleg ℕizhnik in haskell_blah

теперь придётся пользоваться эзотерикой

источник

12:56пожаловаться #16

Yan Shkurinskiy in haskell_blah

понаписал на хаскеле - теперь терпеть

источник

12:57пожаловаться #17

A64m AL256m qn<co... in haskell_blah

вроде как это до хаскеля было, но если разбирать что я читал до хаскеля, то непонятно, как по этому можно фп изучить, и я чет не уверен что я бы порекомендовал такое кому-то

источник

12:57пожаловаться #18

John Cantrell in haskell_blah

Я так и не понял, что @haskell_moiseevitch не понял

источник

12:57пожаловаться #19

A64m AL256m qn<co... in haskell_blah

я тоже Ж(((

источник

12:58пожаловаться #20