M
Где ты тут вообще эффекты увидел
Size: a a a
2020 July 28
M
Я про конст
H
конст это эффект
M
Статья может есть какая?
H
Статья может есть какая?
M
Ну сайд эффекты
M
А с чего ты взял что конст это эффект
M
По мне это не эффект а указания компилятору
M
Если хочешь требования к функции и ее вызову
H
А с чего ты взял что конст это эффект
потому что это предоставляет способ строить иерархию эффектов
M
M
Ну ок представим что это эффект хотя по мне не эффект дальше что
M
Какие иерархии эффектов ты хочешь?
H
Если хочешь требования к функции и ее вызову
требования кодируем в системе типов, система эффектов ещё и на системе типов выражается, поэтому const — вполне указание компилятору И одновременно эффект
H
Какие иерархии эффектов ты хочешь?
ну я написал про Default
H
по умолчанию дефолт конст
H
если вдруг хотим I/O — понижается до I/O по иерархии вниз
M
Не логично
M
Не для системного языка
M
Я хочу в компаил тайме конфиг читать