Anatoly
это откуда?
Из Википедии про Красную плесень
Kirill
хех
Anatoly
Так что мы в юности не просто матершину какую-то слушали. А приобщались к переднему краю искусства, так сказать.
Vagif
https://twitter.com/steppentiger/status/1401549831022202884?s=09
Vagif
Хахаха
Anatoly
Круто
Hog
Хз
🤣
Anonymous
https://github.com/chantelle-lingerie/sales/blob/master/src/order.ts#L35 вечер в хату
Romɑn
По моему феноменом русского панка, так же был Эдик Старков
Хотя то, наверное, правильнее было бы назваит зарождением русского хардкора, но почему-то все европейские издания называли их виолончельным панком
Ilya
А Летов? Как же Летов? Не забудьте про Летова.
Romɑn
А Летов? Как же Летов? Не забудьте про Летова.
И Летов, но Летов достаточно пожил, чтоб его идеализированный и романтизированный образ оброс жизненными обычностями и несостыковками с прошлыми убеждениями
Romɑn
в основном наплыв ботов?
Ilya
Боты перехитрили Айрата и теперь не ставят аватарку.
Romɑn
А кто это?
Химера, Депутат Балтики
Ilya
Широко известный в узких кругах.
Romɑn
В спотифае есть Депутат Балтики каноничнее, там еще на басу играл Стилавин с самодельной примочкой которую они называли оргазмотрон
Romɑn
Но там панк был такой, питерский, интелегентный ппц
Anonymous
@DogeShibu слушай, а где почитать как правильно рекорды готовить в Хаскеле, чтобы через точку обращаться к полям и не стрелять себе в ногу?
Kirill
кто-нибудь знает компании где есть продукт на хаскеле?
Vasily
Тиньков тревел
Kirill
Тиньков тревел
рили? там же гоферы сидят
Anonymous
Мне в принципе первый вариант пойдёт, спасибо
Anonymous
У меня новый проект будет, я могу взять самый свежий
Anonymous
С линзами я когда-то давно игрался, но из головы уже выветрилось. Но в принципе против них ничего не имею, просто мне казалось что «голые линзы» это уже пройденный этап в Хаскеле, не?
Anonymous
Логично, да
Anonymous
Тогда третий вариант?
Anonymous
Это тайпкоасс?
Ilya
отдельные либы под разные версии языка?
Ilya
где то я такое уже видел
Ilya
скала?🧐
Ilya
дак там версия языка связана с рантаймом? или почему она фигурирует в зависимостях?
Ilya
аааа, и на старой либе не работает новый язык, потому что все фичи в ней?
Anonymous
аааа, и на старой либе не работает новый язык, потому что все фичи в ней?
Есть ещё много расширений языка, которые конфигурируются заголовками.
Anonymous
Можно ядерную смесь получить.
Ilya
и в чём профит? невероятно мощная система типов?
Anonymous
Не только, направления очень разные, от генерации бойлерплейта и до зависимых типов.
Anonymous
> мы создаем новый аккаунт, берем айди с айди генератора, и пытаемся создать ему креды. Но креды для такого аккаунта уже есть
Anonymous
а вот и IdGenerator как отдельный микросервис нарисовался )
Anonymous
я похоже отрабатываю карму в этой жизни
Anonymous
(а прикол в том, что айдигенератор самописный и не может распредленно работать и какого-то хуя загенерил для трех сущностей одинаковый айди)
Ayrat
а вот и IdGenerator как отдельный микросервис нарисовался )
Я такой видел в волмарте. Генерил по хттп запросу UUID
Ayrat
Особенно уникальный
Ayrat
Энтерпрайзно уникальный
Anonymous
только здесь надо сделать GET idgenerator.microservice/generate
Anonymous
GET /generate блять
Anonymous
хорошо хоть не POST /api/v1/?command=generate_new_id
Anonymous
или вообще хаскель, допустим для тестов или cli?
Kirill
именно ядро?
что-нибудь бизнесовое
Anonymous
что-нибудь бизнесовое
хаскеля дохуя в верификации
Anonymous
боинги всякие
Kirill
а что они там верифицируют?
Kirill
Код
это как?
Sergey
это как?
https://ru.m.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%B2%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F
Anonymous
а что они там верифицируют?
есть разные уровни, не считая Гарри-Коварда, верифицируют обычно инварианты.
Anonymous
или что программа при всех валидных входных данных выдает валидные аутпуты.
Anonymous
например, инвариант может быть таким: при любом аргументе null exception невозможен. т.е. не существует такого аргумента, который вызывает такое исключение. это простые примеры, их таких вагон и еще два вагона и еще тележка.
Anonymous
юнит тест покрывает точечный единичный случай. проперти тесты покрывают подмножество случаев, сгенерированное (псевдо)случайным образом. верификация претендует на покрытие всех случаев, но тупой их перебор невозможен, поэтому нужно быть хитрее.
Anonymous
может взять обычный генератор?
зачем он вообще нужен? зачем в апликейшин спейсе генерировать айди, тем более отдельным сервисом?
Anonymous
есть же базы данных
Vasiliy
таки собрал этот джавовский проект. Ура!!! и вообще прям довольный новая чистая винда на m.2 ssd. всю мерзкую джаву засунул в виртуалку на hyper-v
Ilya
Ilya
Короче, можно использовать оборудование Ростелекома, купленное на Авито, но мы вам не скажем как
Anonymous
так заплатить не вариант?
Vladislav
Можно не пользоваться ростелекомом