AD
вырезание стейта из юзеркода
Size: a a a
2020 October 28
CC
Какой цели ты хочешь достичь
CC
пруфнуть ПО?
CC
Это все есть и без ФП
AD
например
AD
тесты не предлагать
CC
Еще пример дай
CC
Четкую цель дай
AD
Запретить нарушать LSP
CC
Хочу сделать X, без ФП никак
CC
Запретить нарушать LSP
Чтобы что?
AD
на уровне кода
AD
это самоцель
AD
конечная
CC
Как ФП поможет?
AD
Ну как, мы можем выразить лсп как предикат на наследников
AD
и дальше энфорсить его соблюдение
AD
в _компайл_ тайме_
VA
в _компайл_ тайме_
А где ФП?
AD
Кок это делает на уровне языка