Телеграмм чат группы fludpac страница 18241

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

cxx.Дискуссионная

527 membersпожаловаться на группу

2020 May 24

CC

Chris Calvin in cxx.Дискуссионная

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

Даешь определению функтору, на его базе аппликативному функтору, на базе аппликативного функтора даешь определения монады

источник

11:40пожаловаться #1

CC

Chris Calvin in cxx.Дискуссионная

Без вот этих: Монада это моноид в категории эндофункторов

источник

11:41пожаловаться #2

CC

Chris Calvin in cxx.Дискуссионная

Даешь определению функтору, на его базе аппликативному функтору, на базе аппликативного функтора даешь определения монады

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

источник

11:41пожаловаться #3

CC

Chris Calvin in cxx.Дискуссионная

map, flatMap etc

источник

11:41пожаловаться #4

CC

Chris Calvin in cxx.Дискуссионная

Я их наизусть не помню, так как давно руками не прописывал все это дело

источник

11:42пожаловаться #5

CC

Chris Calvin in cxx.Дискуссионная

AnimatedSticker.tgs

источник

11:43пожаловаться #6

O

Ofee in cxx.Дискуссионная

Даешь определению функтору, на его базе аппликативному функтору, на базе аппликативного функтора даешь определения монады

Вот только это далеко не на пальцах...

источник

11:43пожаловаться #7

CC

Chris Calvin in cxx.Дискуссионная

Вот только это далеко не на пальцах...

https://www.youtube.com/watch?v=Dsd4pc99FSY
Набор видео где человек с точки зрения девелопмента показывает что это за набор обьектов

FSiS Part 1 - Type Constructors, Functors, and Kind Projector

Overview of types, type constructors, the Functor type class, and the kind-project scala compiler plugin

источник

11:44пожаловаться #8

CC

Chris Calvin in cxx.Дискуссионная

Проще == теряя формальность

источник

11:44пожаловаться #9

CC

Chris Calvin in cxx.Дискуссионная

Не путаю

источник

11:45пожаловаться #10

O

Ofee in cxx.Дискуссионная

https://www.youtube.com/watch?v=Dsd4pc99FSY
Набор видео где человек с точки зрения девелопмента показывает что это за набор обьектов

FSiS Part 1 - Type Constructors, Functors, and Kind Projector

Overview of types, type constructors, the Functor type class, and the kind-project scala compiler plugin

Мне оказалось проще всего, наконец, хотя бы немного, вникнуть в синтаксис Хаскеля и не понадобились как-то ни объяснения на пальцах, ни корявые аналогии...

источник

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

CC

Chris Calvin in cxx.Дискуссионная

Монада - обьект у которого есть методы map, flatMap, pure, семантика которых ограничена набором правил которые называются законами
Монада - моноид в категори эндофункторов

Это 2 альтернативных определения, которые формулируются с двух разных точек зрения и направлены на разную целевую аудиторию

источник

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

CC

Chris Calvin in cxx.Дискуссионная

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

источник

11:48пожаловаться #13

CC

Chris Calvin in cxx.Дискуссионная

При разработке оно не нужно чаще всего

источник

11:48пожаловаться #14

/¯

/dev/urandon ¯\_(ツ)_... in cxx.Дискуссионная

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

+ сахар для operator>>=

источник

11:54пожаловаться #15

CC

Chris Calvin in cxx.Дискуссионная

/dev/urandon ¯\_(ツ)_/¯

+ сахар для operator>>=

Ну всякие fish operator и прочие радости жизни это уже наворачивания поверх базовых концептов

источник

11:54пожаловаться #16

CC

Chris Calvin in cxx.Дискуссионная

Которые не очень сложны в понимании, если стоит цель использовать их как строительные блоки при разработке, а не запариваться по теории категорий в теоретических изысканиях

источник

11:55пожаловаться #17

/¯

/dev/urandon ¯\_(ツ)_... in cxx.Дискуссионная

Монада - обьект у которого есть методы map, flatMap, pure, семантика которых ограничена набором правил которые называются законами
Монада - моноид в категори эндофункторов

Это 2 альтернативных определения, которые формулируются с двух разных точек зрения и направлены на разную целевую аудиторию

join ещё, самое важное пропустил

источник

11:56пожаловаться #18

CC

Chris Calvin in cxx.Дискуссионная

/dev/urandon ¯\_(ツ)_/¯

join ещё, самое важное пропустил

Йес, еще джоин

источник

11:56пожаловаться #19

CC

Chris Calvin in cxx.Дискуссионная

Я полного перечня не помню, да и джоин не юзаю практически

источник

11:57пожаловаться #20