где-то есть примеры?
На F# или хаскеле?
Doge
Doge
На скале таким будет код на котах без FT или ZIO без использования дополнительных дырок
Андрей
Там есть странные места неочевидные, да.
какие например? как может Alt зависнуть не по своей воле? кроме интеропа с тасками ничего в голову не приходит, да и всё работает, а тесты с затыками. может expecto глючный...
Ayrat
какие например? как может Alt зависнуть не по своей воле? кроме интеропа с тасками ничего в голову не приходит, да и всё работает, а тесты с затыками. может expecto глючный...
Ну там всякие хитрожопости с queue Vs start и блоком шедулера
Ayrat
Я вот понял что в гопаке нельзя делать queue/start. Лучше уж везде выставлять Job<unit>
Shub
На скале таким будет код на котах без FT или ZIO без использования дополнительных дырок
ну это ж на эфшарп не транслируется вообще никак?
Doge
ну это ж на эфшарп не транслируется вообще никак?
ZIO ложится скорее всего, оно не требует прям дикой магии
Андрей
Ну там всякие хитрожопости с queue Vs start и блоком шедулера
этих у меня почти нет, один или два раза, остальное всё запайплайнено через всякий afterjob
Doge
Если из zio лишние дырки убрать, то точно влезет
Ayrat
этих у меня почти нет, один или два раза, остальное всё запайплайнено через всякий afterjob
Ну ещё там там надо аккуратно с рекурсиями, без делея можно огрести SO
Андрей
SO тоже не встречал, просто мёртвый затык
Андрей
при перепопытке чаще всего сразу ок
Андрей
не иначе haf перемудрил где-то
Ayrat
Автор там polytypic
Ayrat
polytypic (Vesa Karvonen) · GitHub
https://github.com/polytypic
Ayrat
SO тоже не встречал, просто мёртвый затык
Ставишь дебагер на паузу, чекаешь треды гопака. Он дебажится замечательно, так как там тредов по количеству ядер
Ayrat
И они все названы, а не как в тредпуле - thread 53728
Ayrat
Проходишься по ним и смотришь где висит
Ayrat
Я так дебажил
Ayrat
В райдере гораздо удобнее к слову
Ayrat
Там для тредов специальный UI
Maksym
Shub
https://twitter.com/rakyll/status/1293020886010798082 — познакомьтесь, это рак, убивающий индустрию
Shub
а вот например код, написанный раком: https://github.com/rakyll/spannerz/commit/9b7ef8598e7caa2051868bbbbac9becfd1a940f0
Shub
обратите внимание, что 75% коммита - это лицензия и CoC
Ilya
А наличие лицензии и кока -- это плохо?
Ilya
Или надо было побольше кода написать перед первым коммитом?
Shub
А наличие лицензии и кока -- это плохо?
в данном случае плохо. кое-кто раздувает себе профиль на гитхабе, выполняя пустые операции
Ilya
Кое-кто создаёт условия, чтобы людям приходилось раздувать себе профиль на гитхабе.
Shub
Кое-кто создаёт условия, чтобы людям приходилось раздувать себе профиль на гитхабе.
внезапно, в нашем случае это один и тот же человек, см. место и должность работы в профиле
Ilya
Да, не заметил.
Denis
https://twitter.com/rakyll/status/1293020886010798082 — познакомьтесь, это рак, убивающий индустрию
ничего не понял из предложения, написанного в твите
Denis
что за okr, какой grammar,как в том мультике - какой заяц, какой орел, какая блоха
Ilya
https://en.wikipedia.org/wiki/OKR
Denis
Denis
итак, у них есть свой subset английского языка, для которого у них есть линтер для этой приблуды с постановкой задач ?
Shub
что за okr, какой grammar,как в том мультике - какой заяц, какой орел, какая блоха
это чисто гугловые метастазы - Obejctives and Key Results. ты в начале отчетного периода ставишь перед собой задачи, а в конце отчитываешься о результатах. из сопоставления этих двух вещей решают, хороший ли ты был работник или нет
Denis
т е сам себе ставишь, и сам же и отчитываешься ?
Shub
да
Shub
ну как
Ilya
О, у меня сейчас примерно так же :D
Shub
тебе рандомные задачи не дадут поставить
Shub
ну короче, там все разновидности всех пороков пляшут хороводы просто
Shub
ну вот мадам пишет, что ее команда написала формальную грамматику для OKR, а так же линтер для проверки OKR по этой грамматике
Shub
ну в смысле у кого-то слишком дохера свободного времени. или она приняла aspell за линтер
Shub
судя по коду в репках, второе более чем вероятно
Denis
что вообще что
Ayrat
эти OKR - рак. У нас он тоже был
Ayrat
ебическая хуина, бессмысленная и беспощадная - мечта всех бесполезных менеджеров
Ayrat
Ты ставишь цели СЕБЕ, а твои подчиненные должны к этим целям тут же подвязать под задачи чтобы твои цели выполнить
Denis
какой мрак
Denis
вот встретишь что нибудь такое, и задумываешься - мб я не самый тупой на свете, если есть такие ребята
Denis
или наоборот, мб просто никто не понимает а это гениально
Shub
вот встретишь что нибудь такое, и задумываешься - мб я не самый тупой на свете, если есть такие ребята
ты чо это гугл придумал лучшие умы планеты там работают ты не гуглер просто не понимаешь у нас работает-то все ребятки довольны
Denis
Ну вот да, мб просто тут со своим фшарпом совсем с ума посходили
Denis
гугл то лучше знает
Андрей
видео, про которые я говорю, записаны неким Samuel Gélineau
нагуглил, судя по содержанию уклон больше практический же? и непонятно с какого боку там Pakt, если это oreilly.
Андрей
Pakt, кто не знает - абсолютно мусорный паблишер, типа если другим было впадлу взяться. никому не советую покупать их книги
Михаил
А я так и не понял чем монада отличается от моноида, хотя попытался почитать.
Везде пишут что монада это функции unit и bind. Разве это не то же самое, что ну нулевой элемент и та самая операция 'a -> 'a -> 'a?
Михаил
А, стоп
Михаил
Кажется допёр
Михаил
Там не 'a -> 'a -> 'a.
Ayrat
Ayrat
монада это асинк
Ayrat
умножение над числами тоже моноид
Ayrat
деление над числами не моноид
Ayrat
конкатенация строк - моноид
Михаил
Там M<'a> -> ('a -> M<'b>) -> M<'b>. Я понял?
Ayrat
Там M<'a> -> ('a -> M<'b>) -> M<'b>. Я понял?
нет, в моноиде просто есть замкнутая бинарная операция
Михаил
А я про монаду
Ayrat
число * число -> число
бинарная потому что два аргумента слева. замкнутая потому что возвращает опять число
Михаил
У меня проблем с моноидом нет, я это понял.
Ayrat
о, збс, с монадой проще. Тут уже сто раз шутили что монада это всего лишь...
Михаил
Там M<'a> -> ('a -> M<'b>) -> M<'b>. Я понял?
Если я определю это и ещё одну 'a -> M<'a>, я получу свою монаду или нет?
Ayrat
Монада это просто некий контейнер над типами, который умеет мапить свои внутренности