Не знаю такого
Ух, это еще один очень хороший режиссер. У него есть несколько очень крутых произведений:
Сад изящных слов, Твое имя, ловцы забытых голосов, голос далекой звезды и, конечно же, 5 см в секунду.
Vasiliy
Vasiliy
Если нравится смотреть полнометражные аниме, то советую посмотреть. Хотя у него довольно имхо печальные фильмы. надо под настроение попасть
Romɑn
Ayrat
5см в сек офигенное, да.
Romɑn
Давайте поиграем в игру.
Dr. Friedrich
OK, да и вообще spec это практически стат. типизация - не для этого мы кложу юзаем, что бы все типами обмазываться, а потом еще и сверху тесты писать.
Стыд и срам в этих спеках. Документация весьма отстойная, сообщения об ошибках не очень. Я пытался применить для малюсенького проекта, и не вышло — либо там система типов слишком слабая, либо дока плохая, либо я тупой.
gsomix
Dr. Friedrich
Но там нет системы типов. Ты не путаешь с core.typed?
Понятия не имею, я запутался в этих обозначениях.
gsomix
Спека — это про контракты, валидацию, рантаймовые проверки.
gsomix
https://clojure.org/guides/spec
gsomix
В то же время спека описывает генераторы для property-based тестирования.
Dr. Friedrich
А, ну не, я не хочу рантаймовые проверки.
gsomix
Если у тебя описаны спеки на данные и функции, то тебе не нужно тратить время на поиск свойств — почти бесплатные тесты.
gsomix
Но меня резко обломали.
Dr. Friedrich
Такие спеки полезны, если их можно шарить между клиентом и сервером, например. Или реюзать при валидации и в тестах, ага.
Romɑn
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
То, что бы в Code Contracts — какой-то ужас с написанием проверок в абстрактных классах, связывание черед атрибуты и кодогенерацией.
gsomix
Неудивительно, что не взлетело. Хотя и тоже работали над генеративными тестами.
Dr. Friedrich
То, что бы в Code Contracts — какой-то ужас с написанием проверок в абстрактных классах, связывание черед атрибуты и кодогенерацией.
А в новых плюсцах ты видал контракты?
gsomix
Покажите!
Vasily
Люблю фшарп. Написал цепочку вызовов акторов,поправил ошибки компиляции, заработало с первого раза
Pavel
Крылатый
Я такое и про Хаскель слышал. =)
Vasily
Тут должен быть стикер с чуваком,хлопающим себя ладошками по лицу
Dr. Friedrich
Я вот на днях участвовал в ICFPC. Написал код — а он грит «я зациклился» и падает навзничь
Dmitry
Я вот на днях участвовал в ICFPC. Написал код — а он грит «я зациклился» и падает навзничь
ну, проблему останова ж не решили
Dr. Friedrich
Никакой толковой диагностики извлечь не удалось, отлаживал методом бинарного поиска на unsafePerformIO.
Крылатый
Та что «да, слышал».
Dr. Friedrich
Скажем, Идрис не зацикливается (ну, во всяком случае, я это так понимаю).
Dr. Friedrich
Но решили путём ограничения языка.
Dmitry
@fvnever что у вас за акция неведомой щедрости?
https://twitter.com/jetbrains/status/1023934154352865280
Dr. Friedrich
@fvnever что у вас за акция неведомой щедрости?
https://twitter.com/jetbrains/status/1023934154352865280
Я не смог понять, в честь какого мероприятия. Но акция настоящая, да :)
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
тем более там такие триалы, можно вечно на них сидеть
Мне кажется, иногда выпадают такие периоды (особенно на mature продуктах типа решарпера), когда триалов нету
Dr. Friedrich
Но я не уверен, официальной инфы у меня нет.
Крылатый
Чтобы «Зафакапил рефакторинг», «Выбил миллионного пегаса», «Аффтар жжот» и т.д.