AC
Так ведь типы не гарантируют корректности данных. Взять ту же строку, она есть/нет/пустая/с пробелами/не формат...
Size: a a a
2021 August 31
nn
тут вот другой взгляд на проблему https://habr.com/ru/post/498042/
N
ну вроде как это же не решает проблему
nn
ну пчему не гарантируют. вот есть допустим функция void Update(User user). если class User имеет только конструктор USer(string name)...
VL
Out of the Tar Pit читал?
nn
прочь из смоляной ямы? слышал по докладу Рыжикова
VL
говорят, открывает глаза, но я тоже не читал :(
nn
уже хотел спросить в чем соль
AC
Ну прилетело туда имя с пробелами взаду и переду, или вообще null. А пароль я в формате хотел бы, а не просто строкой... И телефон и все остальное...
LL
Нужны зависимые типы
AC
И чем мне тип помог? Данные в нем не корректные..
MD
VL
nn
это вроде решается domain driven design ядро программы работает только с валидными сущностями. парсеры только на границах в инфраструктурном коде.
AC
О! Ну типы же сильно не спасают. Спасают от одного, если инт и флоат. Причём и с ним на границе бардак. Json может прилететь число, как строка, и теребись с конвертацией... Все равно валидацию делать в 98%
nn
ничего не понял, кроме что автор предположил что сложности можно избежать с помощью FRP(функционально реактивное?)
VL
ты уже прочел всю папиру?
nn
по диагонали как и Рыжиков
MB
Если в json прилетает число как строка надо вываливать ошибку и пусть умник приславший сам разгребает свои проблемы. Есть четкие контракты, которые обязательно соблюдать.