R
Сомнительная польза
Size: a a a
2020 March 17
AD
R
Мы заранее зажали себе яйца
в этом все методики по увеличению надёжности программ - как зажать себе яйца особым образом чтобы не ошибится но и не забрать слишком много возможностей
ws
Монада это нечто F для чего определно: flatMap, pure, где flatMap[A,B](a: A => F[B]): F[A], pure: A => F[A] и выполняются monad laws :
1) forall a: A, forall f: A => F[A]: pure(a).flatMap(x => f(x)) = f(a),
2) forall a: F[A] a.flatMap(x => pure(x)) == a
3) forall a: F[A], forall f: A => F[B], forall g: B => F[C], a.flatMap(f).flatMap(g) = a.flatMap(x => f(x).flatMap(g))
1) forall a: A, forall f: A => F[A]: pure(a).flatMap(x => f(x)) = f(a),
2) forall a: F[A] a.flatMap(x => pure(x)) == a
3) forall a: F[A], forall f: A => F[B], forall g: B => F[C], a.flatMap(f).flatMap(g) = a.flatMap(x => f(x).flatMap(g))
а простыми словами?
я ж не с просто использовал язык из патента на солнечную батарею ("положительно заряженное вещество падает на пластину и изменяет заряд пластины" - емнип, именно такими словами и был описан первый патент на солнечную батарею)
я ж не с просто использовал язык из патента на солнечную батарею ("положительно заряженное вещество падает на пластину и изменяет заряд пластины" - емнип, именно такими словами и был описан первый патент на солнечную батарею)
AD
если у тебя есть набор направлений w a s d q e и ты можешь запретить передавать направление нахуй
AD
а простыми словами?
я ж не с просто использовал язык из патента на солнечную батарею ("положительно заряженное вещество падает на пластину и изменяет заряд пластины" - емнип, именно такими словами и был описан первый патент на солнечную батарею)
я ж не с просто использовал язык из патента на солнечную батарею ("положительно заряженное вещество падает на пластину и изменяет заряд пластины" - емнип, именно такими словами и был описан первый патент на солнечную батарею)
абстрактная хрень в вакууме, которую можно создавать и флетмапить
ws
абстрактная хрень в вакууме, которую можно создавать и флетмапить
а, то есть не обязательно функция.
AD
первый закон тебе говорит, что если создал монадку из объекта и потом отфлетмапил функцией, то это то же самое что и применить
AD
а, то есть не обязательно функция.
моноид в категории эндофункторов, не функция
u
R
Сомнительная польза
Полностью согласен. Вот представь, определил enum дни недели, а тут постановление правительства: ввести восьмой день недели. Весь код переписывать придется (
AD
второй закон говорит что флетма пьюром ничего не делает
ws
моноид в категории эндофункторов,рагсе еггог
но в целом понял
SO
что там по вирусу слышно??
ws
Ssscorp Official
что там по вирусу слышно??
Миллиарды умерших по всему китаю, сотни тысяч стали замби
SO
а если серьезно
AD
3 говорит что ты можешь выносить флетмапы из под флетмапа
AD
всё
AD
вещей соотвествующих такой херне очень много
PD
Нут, бобы
Ты живой?
P
Начинай свой день с моноида в категории эндофункторов
PD
Мы думали ты умер давно