Vasiliy
Не знаю такого
Ух, это еще один очень хороший режиссер. У него есть несколько очень крутых произведений:
Сад изящных слов, Твое имя, ловцы забытых голосов, голос далекой звезды и, конечно же, 5 см в секунду.
Romɑn
Vasiliy
Если нравится смотреть полнометражные аниме, то советую посмотреть. Хотя у него довольно имхо печальные фильмы. надо под настроение попасть
Romɑn
Ayrat
5см в сек офигенное, да.
Romɑn
Давайте поиграем в игру.
gsomix
Dr. Friedrich
gsomix
Спека — это про контракты, валидацию, рантаймовые проверки.
gsomix
https://clojure.org/guides/spec
gsomix
В то же время спека описывает генераторы для property-based тестирования.
Dr. Friedrich
А, ну не, я не хочу рантаймовые проверки.
gsomix
Если у тебя описаны спеки на данные и функции, то тебе не нужно тратить время на поиск свойств — почти бесплатные тесты.
gsomix
gsomix
Но меня резко обломали.
Dr. Friedrich
Такие спеки полезны, если их можно шарить между клиентом и сервером, например. Или реюзать при валидации и в тестах, ага.
Romɑn
gsomix
Romɑn
Круто)
gsomix
gsomix
Еще раз вкину доклад на эту тему.
https://www.youtube.com/watch?v=MYucYon2-lk
gsomix
ОСТОРОЖНО ПИТОН
gsomix
Там как раз идея "contracts + property-based testing".
gsomix
Я же без опыта промышленной разработки опердней, поэтому все высказываемые идеи беру откуда-то.
Vasily
Ну контракты на дотнете в свое время не взлетели от слова совсем
gsomix
gsomix
Они неудобные.
gsomix
Помимо того, что статические проверки были медленные (читал жалобы). А без них довольно бесполезная штука.
gsomix
В кложе спека существует отдельно от данных и кода функций.
gsomix
Поэтому ее очень просто и удобно переиспользовать.
gsomix
Вот тут мы провалидировали данные на соответствие схеме, а вот здесь нагенерировали тестовых данных.
gsomix
То, что бы в Code Contracts — какой-то ужас с написанием проверок в абстрактных классах, связывание черед атрибуты и кодогенерацией.
gsomix
Неудивительно, что не взлетело. Хотя и тоже работали над генеративными тестами.
Dr. Friedrich
gsomix
gsomix
Покажите!
Dr. Friedrich
Покажите!
https://en.cppreference.com/w/cpp/language/attributes/contract
Vasily
Люблю фшарп. Написал цепочку вызовов акторов,поправил ошибки компиляции, заработало с первого раза
Pavel
Крылатый
Я такое и про Хаскель слышал. =)
Vasily
Тут должен быть стикер с чуваком,хлопающим себя ладошками по лицу
Dmitry
Dr. Friedrich
Dr. Friedrich
Я вот на днях участвовал в ICFPC. Написал код — а он грит «я зациклился» и падает навзничь
Крылатый
Сорян, но нет.
Сорян, но я слышал. Вон, от Дэдфуда. А как оно по факту или нет, не знаю.
Dmitry
Dr. Friedrich
Никакой толковой диагностики извлечь не удалось, отлаживал методом бинарного поиска на unsafePerformIO.
Крылатый
Та что «да, слышал».
Dr. Friedrich
Скажем, Идрис не зацикливается (ну, во всяком случае, я это так понимаю).
Dr. Friedrich
Но решили путём ограничения языка.
Dmitry
@fvnever что у вас за акция неведомой щедрости?
https://twitter.com/jetbrains/status/1023934154352865280
Dr. Friedrich
Ayrat
А на продление тоже работает?
Ayrat
Ох, хорошо я не продлил ещё)))
Dr. Friedrich
Т.е. не будет 50% + 30% за продление
Vasily
А я вот продлил в прошлом месяце :(
Dmitry
а я правильно помню, что в Райдере код-ленз не работает (сколько ссылок по проекту на данную сущность, где используется...)
Vladislav
Vasily
А так в целом райдер хорош. Возвращает желание писать код
Dr. Friedrich
Ayrat
На самом деле, пользуюсь из всего набора продуктов джетбрейнс только dotMemory + dotPeek, но плачу зачем-то за всё сразу...
За райдер плачу в перспективе. Всё остальное - мимо.
Dr. Friedrich
Dr. Friedrich
Ну, положим, решарпер тебе из него не нужен, а остальное пригодится.
Крылатый
Когда JB выйдет в стим?
Ayrat
а я на All Products перешёл когда-то ради datagrip, но с тех пор перестал разрабатывать в БД, сменил работу)
Крылатый
Хочу летние распродажи.
Dr. Friedrich
К тому же в Rider скоро будет интеграция с dotcover
Крылатый
Ayrat
а чо, триалов не хватает?)
Ayrat
тем более там такие триалы, можно вечно на них сидеть
Крылатый
Dr. Friedrich
Но я не уверен, официальной инфы у меня нет.
Крылатый
Чтобы «Зафакапил рефакторинг», «Выбил миллионного пегаса», «Аффтар жжот» и т.д.