Kirill
Kirill
хех
Anatoly
Так что мы в юности не просто матершину какую-то слушали. А приобщались к переднему краю искусства, так сказать.
Vagif
https://twitter.com/steppentiger/status/1401549831022202884?s=09
Vagif
Хахаха
Anatoly
Круто
Hog
Anatoly
Hog
Anonymous
https://github.com/chantelle-lingerie/sales/blob/master/src/order.ts#L35 вечер в хату
Romɑn
Ilya
А Летов? Как же Летов? Не забудьте про Летова.
Romɑn
в основном наплыв ботов?
Romɑn
Ilya
Боты перехитрили Айрата и теперь не ставят аватарку.
Anatoly
Ilya
Широко известный в узких кругах.
Romɑn
В спотифае есть
Депутат Балтики каноничнее, там еще на басу играл Стилавин с самодельной примочкой которую они называли оргазмотрон
Romɑn
Но там панк был такой, питерский, интелегентный ппц
Edward
Tako
Anonymous
@DogeShibu слушай, а где почитать как правильно рекорды готовить в Хаскеле, чтобы через точку обращаться к полям и не стрелять себе в ногу?
Kirill
кто-нибудь знает компании где есть продукт на хаскеле?
Vasily
Тиньков тревел
Anonymous
Мне в принципе первый вариант пойдёт, спасибо
Anonymous
У меня новый проект будет, я могу взять самый свежий
Anonymous
С линзами я когда-то давно игрался, но из головы уже выветрилось. Но в принципе против них ничего не имею, просто мне казалось что «голые линзы» это уже пройденный этап в Хаскеле, не?
Anonymous
Логично, да
Mark
Anonymous
Тогда третий вариант?
Anonymous
Это тайпкоасс?
Ilya
отдельные либы под разные версии языка?
Ilya
где то я такое уже видел
Ilya
скала?🧐
Anonymous
Ilya
дак там версия языка связана с рантаймом? или почему она фигурирует в зависимостях?
Ilya
аааа, и на старой либе не работает новый язык, потому что все фичи в ней?
Anonymous
Anonymous
Можно ядерную смесь получить.
Ilya
и в чём профит? невероятно мощная система типов?
Anonymous
Не только, направления очень разные, от генерации бойлерплейта и до зависимых типов.
Anonymous
> мы создаем новый аккаунт, берем айди с айди генератора, и пытаемся создать ему креды. Но креды для такого аккаунта уже есть
Anonymous
а вот и IdGenerator как отдельный микросервис нарисовался )
Anonymous
я похоже отрабатываю карму в этой жизни
Anonymous
(а прикол в том, что айдигенератор самописный и не может распредленно работать и какого-то хуя загенерил для трех сущностей одинаковый айди)
Ayrat
Ayrat
Особенно уникальный
Ayrat
Энтерпрайзно уникальный
Anonymous
Anonymous
только здесь надо сделать GET idgenerator.microservice/generate
Anonymous
GET /generate блять
Sergey
Anonymous
хорошо хоть не POST /api/v1/?command=generate_new_id
Anonymous
Anonymous
или вообще хаскель, допустим для тестов или cli?
Anonymous
боинги всякие
Kirill
а что они там верифицируют?
Sergey
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
например, инвариант может быть таким: при любом аргументе null exception невозможен. т.е. не существует такого аргумента, который вызывает такое исключение. это простые примеры, их таких вагон и еще два вагона и еще тележка.
Anonymous
юнит тест покрывает точечный единичный случай. проперти тесты покрывают подмножество случаев, сгенерированное (псевдо)случайным образом. верификация претендует на покрытие всех случаев, но тупой их перебор невозможен, поэтому нужно быть хитрее.
Ilya
Anonymous
есть же базы данных
Vasiliy
таки собрал этот джавовский проект. Ура!!!
и вообще прям довольный новая чистая винда на m.2 ssd.
всю мерзкую джаву засунул в виртуалку на hyper-v
Ilya
Ilya
Короче, можно использовать оборудование Ростелекома, купленное на Авито, но мы вам не скажем как
Anonymous
так заплатить не вариант?
Ilya
Vladislav
Можно не пользоваться ростелекомом