AH
Почему? Можно типами ограничить пользовательский ввод
Size: a a a
2018 June 13
AH
IO string -> string50 option какой-нибудь
AH
IO не в плане хаскеля, а в плане f*, т.е. это ML скорее -> может быть ексепшн или не вернёт никогда
AH
option в плане F# -> может таки быть правильная строка длиной 50 или нет
VS
В целом да
VS
Вопрос в том, как это будет валидироваться
VS
Ну как вариант применения- валидатор входящих хтмл запросов, кстати
VS
Который бы отсекал невалидные
VS
Это бывает важно при проведении платежей, например
g
В общем всё, где есть пользовательские данные, идёт мимо
Это неверно.
VS
Ну да, парой постов выше меня уже поправили
g
Мне кажется, достаточно будет верифицировать те части системы, где уже правильные данные. :)
g
А обработку пользовательского ввода покрыть тестами.
g
Но я ненастоящий сварщик.
VK
Principal Researcher at Microsoft Mobile Tools and Microsoft Research
VK
А как principle researcher по-русски будет?
NM
Знает кто что такое модель линейного программирования? :)
NM
АУ
Знает кто что такое модель линейного программирования? :)
в универе когда-то давно что-то было про линейное программирование и симплекс-метод, это оно?
g
в универе когда-то давно что-то было про линейное программирование и симплекс-метод, это оно?
Да.