Ayrat
То есть они будут кенселится в рантайме, когда монаду будут биндить
Ayrat
Если будут
Ayrat
Короче, ща. В хаскелях такое точно есть. В скале тоже
Фил Ранжин
псевдокод использования?
Ayrat
Там просто тайпкласс докидывают
Ayrat
https://typelevel.org/cats-effect/datatypes/io.html#cancelable-processes
Фил Ранжин
ага, спасибо
Фил Ранжин
буду разбираться
Фил Ранжин
сука, ну у скалы и синтаксис
Vasily
Решил на скалу перекатиться?
Vasily
Ты ж и там будешь болт забивать
Фил Ранжин
примеры на скале
Фил Ранжин
я никуда не решал перебраться
Denis
Это что за примеры такие на скале лол
(синтаксис там правда пиздец, я временами хаскель лучше понимаю)
Doge
Разве что типы как людей указываются, через ":"
Dr. Friedrich
Но к синтаксису Скалы у меня претензий нет.
Dr. Friedrich
Есть вопросы к тому, что на ней потом этим синтаксисом пишут :)
Doge
Совсем не сиподобный
Ну условно си-подобный. Имеется в виду, фигурные скобки, statement'ы, параметры в скобках и т.д. и т.п.
Dr. Friedrich
Фигурные скобки — и на этом вся подобность заканчивается, кажется
Dr. Friedrich
Примерно как F# си-подобный %)
Doge
Фигурные скобки — и на этом вся подобность заканчивается, кажется
Ну скала от ML синтаксиса тоже очень далека, как и от всяких рубей, питонов, лиспов и т.п.
Dr. Friedrich
Вот руби действительно примерно на таком же уровне си-подобности, как скала
Doge
Вот руби действительно примерно на таком же уровне си-подобности, как скала
Ну он всё же дальше, имхо.
Doge
Хоть и не намного
x
To Mock a Mockingbird - Wikipedia
https://en.m.wikipedia.org/wiki/To_Mock_a_Mockingbird
Может выкладывали где?
Ilya
Может выкладывали где?
Серьёзно? Первая же ссылка в гугле на archive.org
https://archive.org/details/Raymond_m._smullyan-to_mock_a_mockingbird_and_other_logic_puzzles__including__an
x
Ну она тут в странном виде конечно
Ilya
85 год. Красиво. Пахнет историей :)
Ilya
И pdf вполне норм, даже текст выделяется, а не просто картинки.
x
Я в епабе качнул, половина так половина этак
Anonymous
Может кто-то простыми словами обьяснить такие слова Functor endofunctor Monad monoid
Vladislav
Нет
Диёр
Может кто-то простыми словами обьяснить такие слова Functor endofunctor Monad monoid
Что-то берёшь куда-то кладёшь что-то получаешь
Igor
Может кто-то простыми словами обьяснить такие слова Functor endofunctor Monad monoid
Почитай/посмотри Бартоша, погугли статьи на хабре
Ayrat
Может кто-то простыми словами обьяснить такие слова Functor endofunctor Monad monoid
Ну функция мапит тип в тип
Функтор мапит категорию в категорию (и типы, и функции в ней)
Эндофунктор отличается от функтора что целевая категория совпадает с изначальной. То есть эндофункция это int -> int, а эндофунктор это C -> C ( где С - категория)
Моноид это некая пара тип+функция над этим типом с обязательным выполнением пары законов.
Ну а монада это просто моноид в категории эндофункторов :trollface:
Vladislav
Диёр
Ну функция мапит тип в тип
Функтор мапит категорию в категорию (и типы, и функции в ней)
Эндофунктор отличается от функтора что целевая категория совпадает с изначальной. То есть эндофункция это int -> int, а эндофунктор это C -> C ( где С - категория)
Моноид это некая пара тип+функция над этим типом с обязательным выполнением пары законов.
Ну а монада это просто моноид в категории эндофункторов :trollface:
что может быть лучше чем запах объяснений абстрактных абстракций по утру
Диёр
кстати телега бесит когда слова съедает
Диёр
пытается синкать с остальными устройствами, но чаще просто бесит
x
https://twitter.com/funcofjoe/status/1204593926616895489?s=21
x
майнд блоуинг
Ayrat
А ты щас над чем в волмарте работаешь?
Я вот с июня был в е-комерс прайсинге, а с ноября (как все починил там) ушёл в йоба проект по объединению прайсинга магазинов и е-комерса
Ayrat
Но вызвали меня в США именно из-за проблем в прайсинге (не в том, который был адово починен)
Ayrat
Хотя я уже в другой проекте
Ayrat
В джете я кстати тоже был а прайсинге.
Ayrat
Подозрительно
x
Там, поди, нейросети? Хоть какие-то
Диёр
Обожаю эти нейросети. Постоянно мне в рекламе накидывают женское нижнее белье, какую-то религиозную хрень и звуковое оборудование за 2-5к зеленых
Диёр
Можно подумать я студентка-звукорежиссер при аббатстве
Диёр
При этом я полный рабочий день сижу в офисе, а программирование в рекламных предпочтениях гугл мне где-то на 40 место закинул
Ilya
А мог бы просто юблок поставить.
Диёр
Зато вот в топе автотранспортные средства, большой торонто и актерское искусство
Диёр
Ну или с мобильным ютубом с рекламой не так просто
Анна
Мне рекламу спортзалов предлагают: в один я уже и так хожу, из другого недавно ушла 🤔
Диёр
Типа похожий товар в других магазинах и на 30% дороже покупают, поэтому цену повысим?
Stas
Мне рекламу спортзалов предлагают: в один я уже и так хожу, из другого недавно ушла 🤔
если гуглила , еще недельки 2 будут показывать)
Stas
Расписание трень смотрю на сайте 🤷♀️ обречена
спорт реклама не страшна)
у меня как то было, что сеилзы DI с DJ перепутали ну и мы знатно орали с этого)
ничего не гуглил нигде, потом на почту от Deeze (для музыки апка) - пришло предложение купить подписку для диджеев)
Диёр
У нас офисный wifi за впнкой, поэтому сидя в офисе реклама просто с катушек едет
Диёр
Потом гадаешь кто из твоих коллег покупает одёжку за 200к, а кто у себя гепатит лечит
Igor
https://i.gyazo.com/c8b788027ed366ef2e77a5519e448395.png
Че, ребят, ML?..
Doge
https://i.gyazo.com/c8b788027ed366ef2e77a5519e448395.png
Че, ребят, ML?..
Да там тупо часть скобок становятся опциональными.
ML подобия там все равно не будет
Ayrat
Типа похожий товар в других магазинах и на 30% дороже покупают, поэтому цену повысим?
Не, там по внутренним метрикам, типа товары в ходовых категориях, в разные сезоны (разные категории в разные сезоны) и пр. Категории и товары постоянно новые (по 100к в день новых позиций). Есть натренненые модели которые дают хороший прайс, руками это заеьешься делать
Doge
https://i.gyazo.com/c8b788027ed366ef2e77a5519e448395.png
Че, ребят, ML?..
Но в целом норм, кстати, мне понравилось.
Igor
Да там тупо часть скобок становятся опциональными.
ML подобия там все равно не будет
Как подрубить dotty билд из мастера?
Хочу потестить новые nullable типы
Ayrat
Типа похожий товар в других магазинах и на 30% дороже покупают, поэтому цену повысим?
Но есть и отслеживание цен конкурентов.
Диёр
Не, там по внутренним метрикам, типа товары в ходовых категориях, в разные сезоны (разные категории в разные сезоны) и пр. Категории и товары постоянно новые (по 100к в день новых позиций). Есть натренненые модели которые дают хороший прайс, руками это заеьешься делать
А много там манагеров с мыслью "а вдруг за дорогую штуку поставит цену в 0.99 всё сразу скупят и минус овер9999 за квартал"?
Doge
Как подрубить dotty билд из мастера?
Хочу потестить новые nullable типы
Не знаю, из мастера не пробовал. Инструкция вроде где-то валялась, но не помню где видел её
Igor
вроде как nigthly билды есть
Ayrat
А много там манагеров с мыслью "а вдруг за дорогую штуку поставит цену в 0.99 всё сразу скупят и минус овер9999 за квартал"?
У нас и без манагеров такие факапы случаются. Как-то лептопы по 99 отдавали
Ayrat
По ошибке, но транзакции отменять не стали
Диёр
У нас и без манагеров такие факапы случаются. Как-то лептопы по 99 отдавали
Позовешь на следующую распродажу?
Doge
У нас и без манагеров такие факапы случаются. Как-то лептопы по 99 отдавали
А какой-то системы алертов нету?
Типа если цены за такую категорию товаров ниже какой-то критичной, то требовать подтверждения
Ayrat
Позовешь на следующую распродажу?
Обычно от момента как это становится известно до конца распродажи проходит минута)