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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Programming Offtop

464 membersпожаловаться на группу
2020 May 26

(

( in Programming Offtop
Короче, когда ты ставишь F[_] : Monad, у тебя это может быть что угодно, ты не накладываешь ограничений и вместе с тем знаешь достаточно лишь настолько, чтобы мочь композировать эф-дырки, которые ещё и хер проссышь, откуда берутся. С помощью мтля (или чего-нибудь ещё), можно в типах зафиксировать то, что функция абстрактно умеет делать и прокинуть ей это все из точки входа без всяких диаев
источник
16:28пожаловаться#1

I

Igor in Programming Offtop
Konstantin Dovnar
Ох. Это вот такие вот наркоманы потом на собесах во всяких Яндексах требуют идеально помнить весь синтаксис и наименования при написании кода на листочке. Пиздец:)
Ну камон, они же оба верифицируют логику программно (компилятор/тесты).
А в yandex просто дегенераты собесы проводят.
источник
16:29пожаловаться#2

AZ

Alexander Zalutskiy in Programming Offtop
Igor
Ну камон, они же оба верифицируют логику программно (компилятор/тесты).
А в yandex просто дегенераты собесы проводят.
Ну не все же( Что же так категорично
источник
16:30пожаловаться#3

(

( in Programming Offtop
Я не помню, как там это будет в скале, в хаскеле чето такое

goToNetwork :: (NetworkClient n, Monad e) => ReaderT (n, NetworkParams) NetworkResult e
goToNetwork (n, p) = sendRequest n p
источник
16:32пожаловаться#4

I

Ilmir in Programming Offtop
(
Профитнее её сужать до конкретных капабилитис, вроде Has Jopa, Has Huy, Has NetworkClient
И писать типа fun <T> T.canVomitAndShitAtTheSameTime() where T : HasAss, T : HasSomethingElse, T : HasMouth?
Это всё хорошо, пока тебе не понадобится fun <T> T.canVomitOrShit() where T : (HasAss | HasMouth), T : HasSomething. Union типы не в каждый язык завезли.
источник
16:34пожаловаться#5

(

( in Programming Offtop
Ilmir
И писать типа fun <T> T.canVomitAndShitAtTheSameTime() where T : HasAss, T : HasSomethingElse, T : HasMouth?
Это всё хорошо, пока тебе не понадобится fun <T> T.canVomitOrShit() where T : (HasAss | HasMouth), T : HasSomething. Union типы не в каждый язык завезли.
Ну это в котлине так, лол
источник
16:35пожаловаться#6

(

( in Programming Offtop
Хотя я не могу представить, когда коэффект понадобилось бы делать юнионом
источник
16:36пожаловаться#7

(

( in Programming Offtop
Коэффекты это строго моноид в типах с умножением
источник
16:37пожаловаться#8

I

Ilmir in Programming Offtop
(
Ну это в котлине так, лол
Ну и каждую функцию помечать это такое себе на самом деле. Это возврат к annotation-based programming'у, только теперь вместо кучи аннотаций на каждой функции куча T : Has.
источник
16:38пожаловаться#9

I

Igor in Programming Offtop
А если писать на языке с вывод типов в аргументах 🤔
источник
16:38пожаловаться#10

(

( in Programming Offtop
Ilmir
Ну и каждую функцию помечать это такое себе на самом деле. Это возврат к annotation-based programming'у, только теперь вместо кучи аннотаций на каждой функции куча T : Has.
ооп-шника порвало
источник
16:39пожаловаться#11

(

( in Programming Offtop
Igor
А если писать на языке с вывод типов в аргументах 🤔
вот кстати интересно, сможет ли хашкель сам выводить капабилитис
источник
16:39пожаловаться#12

I

Ilmir in Programming Offtop
(
ооп-шника порвало
С чего бы? Я просто видел такой код (хотя и на расте) и не вполне понимаю профита. Чиатть - так себе. Писать - копипаст на копипасте. Зачем вместо одного большого трейта делать кучу маленьких?
источник
16:41пожаловаться#13

(

( in Programming Offtop
Ilmir
С чего бы? Я просто видел такой код (хотя и на расте) и не вполне понимаю профита. Чиатть - так себе. Писать - копипаст на копипасте. Зачем вместо одного большого трейта делать кучу маленьких?
SRP, Expression Problem
источник
16:41пожаловаться#14

(

( in Programming Offtop
Кучу маленьких проще перекомпозировать и расширять, чем один большой
источник
16:41пожаловаться#15

I

Ilmir in Programming Offtop
(
SRP, Expression Problem
Это тот самый Expression Problem, ради решения которого в ООП завезли визиторы?
источник
16:42пожаловаться#16

(

( in Programming Offtop
Ilmir
Это тот самый Expression Problem, ради решения которого в ООП завезли визиторы?
да
источник
16:43пожаловаться#17

(

( in Programming Offtop
я просто сегодня вспомнил, как это называется
источник
16:43пожаловаться#18

I

Ilmir in Programming Offtop
Ну ясно, значит, возвведение его в абсолют отравляет не только ООП код, но и функциональный. Будем знать.
источник
16:44пожаловаться#19

I

Ilmir in Programming Offtop
Хотя есть куча других решений Expression Problem, и в ООП с его визиторами и в (T : Has)-based программировании предпочитают их игнорировать.
источник
16:45пожаловаться#20