nn
ну с типами парсинг и валидация производится один раз и дальше уходят валидные данные (пример из F# здесь String100 не может быть длиннее 100 символов)
Size: a a a
2021 August 31
AC
Со спекой вроде бы также...
nn
спека не создает новые типы, ее надо втыкать везде где требуется гарантия. правильно?
AC
А F# это типа питона и лиспа?! Скобочек маловато...
MB
229 евро за “learn reitit”, которы по-сути, исходя из оглавления, очередной мануал по написанию круда, лучше resume driving development практиковать)
MB
OCaml на .net
MB
Нет, спека – на валидации входящих данных, а дальше мапки
AC
Страшные и непонятные слова...
MB
Можно инструментировать спеками функции в разработке, но проверять в рантайме дорого
nn
т.е. проверку спеками в кложе делают только в критически важных функциях, а дальше данные уже текут сами по себе, ясно
VL
на входе поставил, дальше работаешь с чистыми данными только
VL
на границах, на входе, а дальше действуют просто функци конвертирующие одну мапку в другую, покрытую уже просто юнит тестами
VL
типы никак не помогают валидировать что тебе пришло из http запроса
IG
И что, для String101 нужно новый тип создавать? А если String102?
nn
ага понял, тестирование. но типы не нужно валидировать. типу просто нужны валидные данные.
nn
ну да косяк, плата за корректность данных.
VL
вот я вижу что в коде у тебя
s.Length <= 100
s.Length <= 100
VL
тип String101 никак не используется для валидации самой строки
VL
> валидация производится один раз и дальше уходят валидные данные
v
добавляешь тип Password с нужными констрейнтами