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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

ФП

337 membersпожаловаться на группу
2021 March 24

K

Kir in ФП
Александр Гранин
Ну более яростных и более biased противников ФП я более нигде не встречал. На мою книгу приходили разгромные ревью от "java архитектов с 15+ годами опыта", где красной нитью было: "ФП г.", "Haskell г.", "вы все мудаки"
Казалось бы, а ведь ООП с ФП ортогональны
источник
17:34пожаловаться#1

АГ

Александр Гранин... in ФП
Это все досужие размышления и ярлыки
источник
17:38пожаловаться#2

AG

Alex Gryzlov in ФП
ну дело в том что ооп тоже есть разных сортов
источник
17:41пожаловаться#3

AG

Alex Gryzlov in ФП
классы а-ля мейнстрим, прототипы а-ля жс, актор-стайл
источник
17:43пожаловаться#4

AG

Alex Gryzlov in ФП
с фп их тоже по всякому гибридизировали, из последнего можно вспомнить DOT-исчисление скалы и подходы с коданными и фазовой теорией модулей из теорий типов
источник
17:45пожаловаться#5

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Daniil Kostin
Вообще в идеале я б потружил ООП и ФП 🙂
Ну у меня и так саги есть, они в изоляты(потоки) выносятся.
Вся беда от архитектуры зависит имхо. Если UI и логика в одной куче - то беда-беда.
https://t.me/fp_ru/8323
Telegram
LevT in ФП
Наткнулся на любопытное
https://www.javiercasas.com/articles/codata-in-action
источник
21:42пожаловаться#6

AG

Alex Gryzlov in ФП
угу, я сообщением выше про то и писал
источник
21:43пожаловаться#7

DK

Daniil Kostin in ФП
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
https://t.me/fp_ru/8323
Telegram
LevT in ФП
Наткнулся на любопытное
https://www.javiercasas.com/articles/codata-in-action
Спасибо. Это более понятно. DOT для меня это Data Oriented Technology с ФП у меня слабо ассоциируется, но что-то есть похожее возможно.
источник
21:45пожаловаться#8

AG

Alex Gryzlov in ФП
нет, dot в этом случае это dependent object type
источник
21:55пожаловаться#9

AG

Alex Gryzlov in ФП
http://lampwww.epfl.ch/~amin/dot/fool.pdf
источник
21:56пожаловаться#10

AG

Alex Gryzlov in ФП
имеются в виду вложенные в объекты сущности, чей тип зависит от того, из какого они объекта взяты
источник
21:57пожаловаться#11

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Daniil Kostin
Спасибо. Это более понятно. DOT для меня это Data Oriented Technology с ФП у меня слабо ассоциируется, но что-то есть похожее возможно.
Ну, я пишу на ТС. Не использую ADT, но у меня все функции pure и immutable. Использую только data/codata подход, без классов, с замыканиями - в лучших традициях daggy types от fantasy-land
источник
21:57пожаловаться#12

AG

Alex Gryzlov in ФП
дата-кодата подход в смысле визитор паттерн?
источник
22:00пожаловаться#13

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Alex Gryzlov
дата-кодата подход в смысле визитор паттерн?
Нет. В смысле конструкторы выносятся на границы приложения, а бизнес-логика работает только с кодатой
источник
22:04пожаловаться#14

AG

Alex Gryzlov in ФП
тогда не очень понятно почему конструкторы есть, а adt нет :)
источник
22:05пожаловаться#15

AG

Alex Gryzlov in ФП
data из этой статьи это как раз классические полиномиальные типы данных
источник
22:06пожаловаться#16

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Alex Gryzlov
тогда не очень понятно почему конструкторы есть, а adt нет :)
Долго писать на ТС реализацию функтора, аппликатива и т д для каждого типа, поэтому кодата кастомная, а не АДТ
источник
22:07пожаловаться#17

AG

Alex Gryzlov in ФП
ну то есть вы все таки как-то кодируете адт кодатой
источник
22:08пожаловаться#18

K

Kir in ФП
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
Нет. В смысле конструкторы выносятся на границы приложения, а бизнес-логика работает только с кодатой
А ко-дата у вас, например, что?
источник
22:59пожаловаться#19

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Kir
А ко-дата у вас, например, что?
Интерфейсы, с которыми я работаю (типы) в бизнес-логике:
https://github.com/chantelle-lingerie/sales/#interfaces
GitHub
chantelle-lingerie/sales
Manage order calculations based on invoices, refunds, cancellations - chantelle-lingerie/sales
источник
23:01пожаловаться#20