типы как объекты и функциональные стрелки как морфизмы

функторы как объекты и стрелки клейсли как морфизмы

ну и (.) и <=<

Погоди. Стоп.

Option это и есть монада?

да

Мы берём Any, хуячим в Some, получаем Some[Any].

Бля, да я же этим постоянно занимался.

вот это открытие)

а в чём момент прозрения?

Когда понял что ебал себе мозги где-то 2 года.

А ответ был прямо под носом.

Мы берём Any, хуячим в Some, получаем Some[Any].

какой ты здесь сделал вывод?

f . id = f id . g = g (f . g) . h = f . (g . h) так?

Бля, да я же этим постоянно занимался.

У меня тоже самое было когда первый раз открыл книгу по паттернам и осознал что я их либо видел либо использую и так

Вот это поворот

хз

какой ты здесь сделал вывод?

Я всё ещё пытаюсь сделать какой-то осмысленный вывод но он кажется теперь бесконечно ближе, чем раньше.

вот это не жиза

а для монад

Я всегда возводил это в какой-то дико замороченый концепт который где-то на заоблачном уровне.

Надо только орешек напрячь.

в монадах самый сок что они позволяют выражать эффекты

а так просто тайпкласс с законами

бездушный

Ну это уже хитрости применения.

Можно поподробней про сайдыэффекты?

не

только не сайдэффекты

ща будет спойлер (моноид, в категории эндофункторов, кто скажет из всего того, что я написал как это доказать) fk <=< pure = fk pure <=< gk = gk (fk <=< gk) <=< hk = fk <=< (gk <=< hk)

задумайся над тем что монадный инстанс списка позволяет выражать недетерменизм

Ну, я т.е. примерно понимаю что можно сайдэффект обернуть в монаду и тогда он происходит внутри монады, оставляя всё остальное за пределами и не пуская его наружу, но я чую что хуйню спизданул.

в монадах самый сок что они позволяют выражать эффекты

потому что это категория нечистых вычислений или категория Клейсли

только не сайдэффекты

просто эффекты

Недетерминизм это рандом завязаный на системных часах?

Недетерминизм это рандом завязаный на системных часах?

нет

это когда ты не знаешь сколько будет

Ну, т.е. всегда будет разное значение хотя функция вроде одна.

колличество

список тому пример

Ну, окей, не рандом на часах но юзер инпут?

может быть 1, 10 или вообще пустой

Ну, т.е. недетерминированный список это резиновый List из скалы который может быть с любым n аргументов, как ты его растянешь?

[1,2,3] >>= \x -> generateRandomListWithRandomLength x

А. Ага.

Лана, на это вокруг головы обернуть.

В одиночестве.

Расскажите мне, пожалуйста, в человеческих, можно даже "поцанских", терминах, что такое монада касательно программирования?

Бля, понимаешь, монада — это абстракция над кучкой других абстракций.

Это как объяснить, что такое хлебобулочные изделия чуваку, который хлеб никогда не видел

Бля, понимаешь, монада — это абстракция над кучкой других абстракций.

Вот как раз таки об этом как то становится понятно сразу же

А в чём суть — нет

Расскажите мне, пожалуйста, в человеческих, можно даже "поцанских", терминах, что такое монада касательно программирования?

да нет большого смысла пытаться понять математическую шляпу о монаде, вместо нее в фп можно было юзать кучу всего другого(можно читануть в хаскельной вики), посмотри че с помощью нее делают

и вот еще http://mightybyte.github.io/monad-challenges/

ну и вот :3 https://habrahabr.ru/post/183150/

>хабрахабр

или же https://medium.com/twelve-days-of-monad

ну и вот :3 https://habrahabr.ru/post/183150/

Обалденная статья для начинающих! Спасибо большое! Нужно обязательно добавить её в head, я думаю.

Никогда не понимал этих картинок)

А вот в переводе на js: https://medium.com/@tzehsiang/javascript-functor-applicative-monads-in-pictures-b567c6415221

А вот в переводе на js: https://medium.com/@tzehsiang/javascript-functor-applicative-monads-in-pictures-b567c6415221

ох и чепуха дурная

Перевод на js я ещё не читал )

http://adit.io/posts/2013-07-22-lenses-in-pictures.html

Я правильно понимаю, что использование монады State не очень-то согласуется с принципами функционального программирования? Ибо чем это отличается от простого сохранения промежуточного значения в переменной?

ERROR: S client not available

Тем что все шаги иммутабельные

Но все равно чистота страдает.

Что?

Я бы сказал что и у кого страдает

Vadim https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr Вот потом он до монад постепенно дойдет

про контейнеры расскажет

там 9 лекция это будет, но советую все по порядку посомтреть

Что?

Полагаться на значение, хранимое где-то вне процесса это ненадежно.

как это вне процесса?

Vadim https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr Вот потом он до монад постепенно дойдет

А про монады-то мне зачем?

как это вне процесса?

Имею виду, что несколько, например, асинхронных процессов могут одновременно обращаться данным одной и той же монады State .

хз зачем я это кинул не дочитав до конца проблемы =)

пожалуй я не буду ничего отвечать)

Имею виду, что несколько, например, асинхронных процессов могут одновременно обращаться данным одной и той же монады State .

Не вижу противоречия. Весь State целиком по прежнему иммутабелен

Ну ладно, я её пока в деле не пробовал. Может я действительно туплю )

Ну ладно, я её пока в деле не пробовал. Может я действительно туплю )

State это пара из текущего и нового значения

Я имел в виду, что, например, в тестах ее придется мокать. Как это делается и со стором redux, который так же иммутабельный.

Я имел в виду, что, например, в тестах ее придется мокать. Как это делается и со стором redux, который так же иммутабельный.

let f :: S.State Int [String] f = do x <- S.get S.modify(+1) let a = "1 => " <> show x S.modify(+2) x2 <- S.get let b = "2 => " <> show x2 return $ [a, b] S.runState f 20

@xgrommx Почему в js чате ты всегда используешь инопланетные языки? )

При том что работаешь на js

@xgrommx Почему в js чате ты всегда используешь инопланетные языки? )

это настоящий строготипизированный язык с выводом типов, а не поделки все эти)

@xgrommx Почему в js чате ты всегда используешь инопланетные языки? )

и все эти курсы, уроки тоже в основном на haskell

Потому и не смотрю их )

На js тоже хватает уроков

S.runState (replicateM 10 f) 20

На js тоже хватает уроков

это какое-то извращенство))

это какое-то извращенство))

погуглил твой ник. гугл выдал, что ты едешь в плюсы, это так? :D

@xgrommx Почему ты столько времени проводишь в js чате? В чате извращенства? )

погуглил твой ник. гугл выдал, что ты едешь в плюсы, это так? :D

что?)

есть зигоморфизм, есть препроморфизм

а это его объединение