Т8
получится что-то вроде шаблонов, только вместо ошибки компиляции при подстановке неправильного параметра будет ошибка в рантайме
аа, тоже выход
Size: a a a
2020 July 31
H
ну не на все далеко
H
в книжке 0 про эффекты например
H
про elaborator reflection
H
и тд
p
Т-34 85
почему?
Сильно сужается спектр применения
p
По сути рефайнменты редко нужны без завтипов
AZ
в книжке 0 про эффекты например
есть
p
Рефайнменты к тому же легко эмулируются
H
есть
на какой странице?
AZ
на какой странице?
H
дык там 0 про них
H
только упоминание что где-то что-то есть
p
Потому что эффекты это не ТДД, все правильно
AZ
дык там 0 про них
эмм, State/VendMachine/Store - это всё дсл с эффектами
AZ
там в главе прямо пишут "ИО Это слишком мощно, давайте ограничим эффектом ConsoleIO"
H
Потому что эффекты это не ТДД, все правильно
эффекты это тдд
p
эффекты это тдд
Нет
H
там в главе прямо пишут "ИО Это слишком мощно, давайте ограничим эффектом ConsoleIO"
говорят как реализовывать свои эффекты через
Effs тоже?AZ
эффекты это тдд
очевидно нет, эффекты про типы а тдд про то чтобы ебаться с setup-act-assert