G
Потому что доказательства могут быть не очень тривиальными, если мы говорим именно про зав. типы, а не refinement, где можно SMT солверы заюзать.
ну в таком случае можно комбинировать тесты и доказательства
Size: a a a
2020 March 05
DF
И ещё вопрос куда девать отдел куэй
P
Мне вим запомнился тем, что он в конце файла с паролем вставлял перенос строки. И поэтому моя инструкция для девопса, как сделать md5 от файла - не работала. Мы очень удивились- как так, файлы одинаковые, а хэш разный
ну так это ж правильно делал, в конце текстового файла должен быть перевод строки
С
ну так это ж правильно делал, в конце текстового файла должен быть перевод строки
Не должен
Т8
ну в таком случае можно комбинировать тесты и доказательства
Ждём твой проект, где ты попробуешь это сам. И желательно, если расскажешь, почему же так не делают
P
Не должен
должен, иначе вывод на экран в терминале будет ломать формат + у вас правда перевод строки -- валидный символ для пароля? а какой ос?
A
А почему бы не писать теоремы вместо тестов?
потому что тогда не получится писать хуяк-хуяк и в продакшн
AZ
ну так это ж правильно делал, в конце текстового файла должен быть перевод строки
позикс говорит что должен
G
Т-34 85
Ждём твой проект, где ты попробуешь это сам. И желательно, если расскажешь, почему же так не делают
ответ очевиден - потому что это не в достаточной степени популяризировали
Т8
ответ очевиден - потому что это не в достаточной степени популяризировали
Не популяризировали по той же самой причине
G
Agrailag
потому что тогда не получится писать хуяк-хуяк и в продакшн
ну почему бы тривиально доказуемые теоремы не писать, а вместо нетривиальных писать вручную тесты или предоставить это тестировщикам?
Т8
Agrailag
потому что тогда не получится писать хуяк-хуяк и в продакшн
+
P
Т-34 85
Ждём твой проект, где ты попробуешь это сам. И желательно, если расскажешь, почему же так не делают
пишу у себя на проекет теоремы, правда JUnit теоремы, они всё-таки больше параметризированные тесты...
в плане, что задаёшь списки данных для параметров, а он прогоняет всю матрицу
в плане, что задаёшь списки данных для параметров, а он прогоняет всю матрицу
Э
Всем привет! Какие направления разработки ПО сейчас чаще всего используются на Расте? В какую сторону развиваться после базового освоения самого языка? Куда можно устроиться на работу?
A
ну почему бы тривиально доказуемые теоремы не писать, а вместо нетривиальных писать вручную тесты или предоставить это тестировщикам?
судя по тенденции - бизнесу вообще плевать на все это, главное выкатить быстрее фичи, а там пользователи потерпят. Понятно что не везде так, но в целом тенденция такая
∅ч
Всем привет! Какие направления разработки ПО сейчас чаще всего используются на Расте? В какую сторону развиваться после базового освоения самого языка? Куда можно устроиться на работу?
блокчейн...
G
Agrailag
судя по тенденции - бизнесу вообще плевать на все это, главное выкатить быстрее фичи, а там пользователи потерпят. Понятно что не везде так, но в целом тенденция такая
ну как бы тогда и юнит тесты не особо нужны
A
ну как бы тогда и юнит тесты не особо нужны
ты не поверишь, я и таких встречаю)
G
мы же с тестами сравниваем теоремы, так?
Т8
Всем привет! Какие направления разработки ПО сейчас чаще всего используются на Расте? В какую сторону развиваться после базового освоения самого языка? Куда можно устроиться на работу?
Там где, очень нужна безопасность. Или не очень сильно нужна, но нужна скорость кода и малый жор памяти