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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

461 membersпожаловаться на группу
2020 December 09

АГ

Александр Гранин... in fprog_spb
Alexander Tchitchigin
А я профункторную оптику так использую — нифига не понимаю, что такое профунктор, но мне как-то пофиг на детали реализации, пользуюсь интерфейсом и не заморачиваюсь. 🤷‍♀️
А другим вовсе не пофиг, потому что они не знают, как использовать профунктор, даже если есть "интерфейс"
источник
11:56пожаловаться#1

K

Kir in fprog_spb
Alexander Tchitchigin
А я профункторную оптику так использую — нифига не понимаю, что такое профунктор, но мне как-то пофиг на детали реализации, пользуюсь интерфейсом и не заморачиваюсь. 🤷‍♀️
Оптику-то можно использовать по аналогии с парами (get, set) / (view, review), и волшебным оператором композиции
источник
11:56пожаловаться#2

AP

Aleksei (astynax) Pi... in fprog_spb
Alexander Tchitchigin
А я профункторную оптику так использую — нифига не понимаю, что такое профунктор, но мне как-то пофиг на детали реализации, пользуюсь интерфейсом и не заморачиваюсь. 🤷‍♀️
"data manipulation language" назвали бы, люди бы потянулись к
источник
11:56пожаловаться#3

K

Kir in fprog_spb
Aleksei (astynax) Pirogov
"data manipulation language" назвали бы, люди бы потянулись к
Вот да
источник
11:56пожаловаться#4

AP

Aleksei (astynax) Pi... in fprog_spb
В народе "DSL — штука просто работает, мне не нужно внутрь лезть"
источник
11:57пожаловаться#5

AP

Aleksei (astynax) Pi... in fprog_spb
Вот и оптика — DSL
источник
11:57пожаловаться#6

AP

Aleksei (astynax) Pi... in fprog_spb
И фримонады
источник
11:57пожаловаться#7

АГ

Александр Гранин... in fprog_spb
Опять же, читаешь какой-нибудь пост хаскеллиста, и там: "а теперь мы позовем функцию <такую-то>, потому что это у нас <профунктор|аппликатив|изо|whatever>". Это на первый взгляд только объяснение, а на самом деле стороннему человеку вообще не объяснение
источник
11:57пожаловаться#8

АГ

Александр Гранин... in fprog_spb
Kir
Хорошо, а обработку произвольных исключений?
А зачем тут ContT?
источник
11:58пожаловаться#9

AT

Alexander Tchitchigi... in fprog_spb
Александр Гранин
А другим вовсе не пофиг, потому что они не знают, как использовать профунктор, даже если есть "интерфейс"
Ну а кому-то не пофиг на свободные монады и они не могут их использовать, потому что не понимают "математики". А кто-то вообще ничего кроме C использовать не может, потому что слишком абстрактно и непонятно, во что скомпилируется. Давайте снова все будем писать на Ассемблере? 🤷‍♀️
источник
11:58пожаловаться#10

K

Kir in fprog_spb
Александр Гранин
Как итог, у нас полно библиотек, где все кишки торчат наружу, и невозможно пользоваться, пока не выучишь какой-нибудь теоркат
Вот в хороших системах эффектов не торчат, например. И есть https://github.com/seereason/mtl-unleashed
GitHub
seereason/mtl-unleashed
MonadReader and MonadState without the functional dependencies - seereason/mtl-unleashed
источник
11:58пожаловаться#11

A

Andrey in fprog_spb
Александр Гранин
Как итог, у нас полно библиотек, где все кишки торчат наружу, и невозможно пользоваться, пока не выучишь какой-нибудь теоркат
ага, а потом, когда требуется чуть больше от библиотеки, приходится её форкать, т.к. её автор утверждает, что
- интерфейса хватит всем,
- ты делаешь что-то неправильно,
- а как правильно делать - не скажу,

а кишки спрятал, да.
источник
11:58пожаловаться#12

AP

Aleksei (astynax) Pi... in fprog_spb
Александр Гранин
Опять же, читаешь какой-нибудь пост хаскеллиста, и там: "а теперь мы позовем функцию <такую-то>, потому что это у нас <профунктор|аппликатив|изо|whatever>". Это на первый взгляд только объяснение, а на самом деле стороннему человеку вообще не объяснение
Пфф, "мост для приспособленецев" тоже не сильно понятен человеку со стороны
источник
11:58пожаловаться#13

K

Kir in fprog_spb
Александр Гранин
А зачем тут ContT?
ContT - это для примера. А исключения ближе к телу
источник
11:58пожаловаться#14

YS

Yan Shkurinskiy in fprog_spb
Andrey
ага, а потом, когда требуется чуть больше от библиотеки, приходится её форкать, т.к. её автор утверждает, что
- интерфейса хватит всем,
- ты делаешь что-то неправильно,
- а как правильно делать - не скажу,

а кишки спрятал, да.
жуть(
источник
11:59пожаловаться#15

YS

Yan Shkurinskiy in fprog_spb
(самому пришлось форкать json-rpc-server из-за хороших интерфейсов и спрятанных кишков)
источник
11:59пожаловаться#16

DP

Dmitry Ponyatov in fprog_spb
Alexander Tchitchigin
И даже хуже! Эта клятая математика подаётся как средство моделирования предметной области, что, как мы все прекрасно знаем, бред сивой кобылы, опиум для народа и обман трудящихся!!! 🧐
при попытках обмазать математикой предметную область абстракции рвутся на раз, и оттуда торчит голая задница реальности
источник
12:00пожаловаться#17

АГ

Александр Гранин... in fprog_spb
Alexander Tchitchigin
Ну а кому-то не пофиг на свободные монады и они не могут их использовать, потому что не понимают "математики". А кто-то вообще ничего кроме C использовать не может, потому что слишком абстрактно и непонятно, во что скомпилируется. Давайте снова все будем писать на Ассемблере? 🤷‍♀️
Ты опять путаешь. Им не нужно использовать фри монады, когда они работают с моим фреймворком. Смотри мою картинку про уровни. Фри монады вообще не видны (ниже - зачеркнуто) выше уровня "high-level solutions". А ты говоришь - ну ведь есть же вот такой implementation detail, значит, про него нужно знать. Нет, не нужно. Вообще можно не упоминать нигде, что там фри монады внутри
источник
12:00пожаловаться#18

AT

Alexander Tchitchigi... in fprog_spb
Dmitry Ponyatov
при попытках обмазать математикой предметную область абстракции рвутся на раз, и оттуда торчит голая задница реальности
Может, зависит от математических способностей обмазывающего? Я, конечно, не пробовал, так у меня и способностей нет. 😃
источник
12:01пожаловаться#19

АГ

Александр Гранин... in fprog_spb
Kir
Вот в хороших системах эффектов не торчат, например. И есть https://github.com/seereason/mtl-unleashed
GitHub
seereason/mtl-unleashed
MonadReader and MonadState without the functional dependencies - seereason/mtl-unleashed
Внутренние механизмы в системах эффектов, возможно, и не торчат, но там начинают проявляться еще и другие проблемы дизайна
источник
12:01пожаловаться#20