G
Растовые типы не отловят *
Size: a a a
2020 March 12
G
Но иногда и могут, если правильно спроектировать, правда не всё
G
Например, "type state pattern"
Т8
11 место, близко. Но, подозреваю, что jb отвечали скорее продвинутые программисты, из-за чего выборка не вполне репрезентативная
Т8
я чет внезапно осознал что тесты на расте не особо и нужны
А бизнес-логика? Руками тестить?
p
Неправда. Ошибку в логике типы не отловят.
практически не ловлю ошибок в логике
Т8
практически не ловлю ошибок в логике
EG
практически не ловлю ошибок в логике
Вот вчера поймал ошибку в логике. Вызывалась внешняя команда. У меня был типизированный генератор команд, но при некоторых условиях комбинация флагов оказывалась некорректной.
p
Вот вчера поймал ошибку в логике. Вызывалась внешняя команда. У меня был типизированный генератор команд, но при некоторых условиях комбинация флагов оказывалась некорректной.
так это типами решается же?
EG
так это типами решается же?
Как? Я проверяю, что тип каждого флага правильный, но я не могу проверить, что итоговая команда правильная.
Т8
так это типами решается же?
Т8
Alexander Krivitskiy
Способов выстрелить в ногу +
Эргономика +
Билд системы в проде везде есть как и Репки с либами. Просто все свои костылят.
Собирается в одну кнопку, либы подкючается в пару строк. Системы довольно гибкие. Тебе помимо кода в больших проектах ещё всякие ресурсы нужно собирать/генерить да и код может быть не только сишным и плюсовым. А вот у раста с этим как раз проблемы: https://gist.github.com/rylev/0e3c3895dcb40b6a1c1cf8c427c01b5e
Про выразительность спорно.
Я на плюсах бойлерплейт код очень редко пишу. Наследование и вариадик темплейты помогают с ним справиться. На расте иногда приходится что-то городить чисто ради обхода борроу чекера. К примеру, хранить какие-то индексы вместо ссылок на эл-ы в векторе. Ошибок с памятью при таком подходе конечно не будет, а вот логических - запросто. В расте сложно выразимы селф реф стракты. Большие сложности с борроу чекером если связи между объектами представляют граф, а не дерево. Имхо, неудобный ансейф и ручное управление памятью.
Менее современный и система типов +
Тулинг гораздо богаче. Линтеры, санитайзеры, статические анализаторы, те же пакетные менеджеры, билд системы и идешки на любой вкус и цвет. Выбирай не хочу
Эргономика +
Билд системы в проде везде есть как и Репки с либами. Просто все свои костылят.
Собирается в одну кнопку, либы подкючается в пару строк. Системы довольно гибкие. Тебе помимо кода в больших проектах ещё всякие ресурсы нужно собирать/генерить да и код может быть не только сишным и плюсовым. А вот у раста с этим как раз проблемы: https://gist.github.com/rylev/0e3c3895dcb40b6a1c1cf8c427c01b5e
Про выразительность спорно.
Я на плюсах бойлерплейт код очень редко пишу. Наследование и вариадик темплейты помогают с ним справиться. На расте иногда приходится что-то городить чисто ради обхода борроу чекера. К примеру, хранить какие-то индексы вместо ссылок на эл-ы в векторе. Ошибок с памятью при таком подходе конечно не будет, а вот логических - запросто. В расте сложно выразимы селф реф стракты. Большие сложности с борроу чекером если связи между объектами представляют граф, а не дерево. Имхо, неудобный ансейф и ручное управление памятью.
Менее современный и система типов +
Тулинг гораздо богаче. Линтеры, санитайзеры, статические анализаторы, те же пакетные менеджеры, билд системы и идешки на любой вкус и цвет. Выбирай не хочу
А ты раст для пет-проектов используешь?
EG
Ну, то есть, на идрисе, может, и решается
p
Как? Я проверяю, что тип каждого флага правильный, но я не могу проверить, что итоговая команда правильная.
ок. я не говорил что багов нет.
Т8
Ну, то есть, на идрисе, может, и решается
А компилятор идриса готов для прода?
EG
Т-34 85
А компилятор идриса готов для прода?
Я не знаю ни одного серьёзного проекта, написанного на идрисе
EG
Сам компилятор, наверное, готов, почему нет
DS
Сам компилятор, наверное, готов, почему нет
Так там бэкенд компилятора есть во что угодно, на самом деле.
Его можно хоть в го компилить
Его можно хоть в го компилить
Т8
Так там бэкенд компилятора есть во что угодно, на самом деле.
Его можно хоть в го компилить
Его можно хоть в го компилить
Если ничего не путаю, на хабре видел коммент, что с компиляторами не всё гладко. То ли баги, то ли реализовано далеко не всё что требуется
DS
Т-34 85
Если ничего не путаю, на хабре видел коммент, что с компиляторами не всё гладко. То ли баги, то ли реализовано далеко не всё что требуется
Тут надо понимать, что у идриса есть старый и новый компилятор уже для новой версии языка