λ
я, конечно, понимаю, что в хаскеле не в курсе про тулинг и всё делают руками...
Да ти шо
Size: a a a
2020 February 22
λ
Расскажи, что вы там такое не желаете руками, что мы делаем?
а
Dollar Føølish
Потому что побочные эффекты часть поведения программы
Да, побочные эффекты это часть поведения программы, и что?
DF
Часть рантайм поведения
DF
А конст фн вычисляется при компиляции
а
Dollar Føølish
Часть рантайм поведения
Почему в компайлтайм не может быть побочных эффектов?
DF
Ну они не нужны там обычно
DF
Ты хочешь чтобы компиляция триггерила уб?
λ
чисто берёшь эту хуйню и выходишь на апворк пилить шоппингкарты по 3 штуки в день
а
Dollar Føølish
Ну они не нужны там обычно
Мне нужны. Я хочу вектор аллоцировать в куче.
Ещё раз спрошу: почему это нельзя делать в компайлтайме?
Ещё раз спрошу: почему это нельзя делать в компайлтайме?
DF
Потому что куча будет в процессе компилятора
DF
Для нее нет сегмента в бинарнике твоей программы
а
Dollar Føølish
Ты хочешь чтобы компиляция триггерила уб?
В Rust рантайме ведь от эффектов уб не происходит, значит и в компайлтайме не будет
DF
Происходит
DF
При вызове библиотеки например
DF
Если она ансаунд
GG
Yunos-obod?
DF
Вот выделишь ты вектор в конст фн , а куда его класть потом?
DF
В бинарник?
а
Dollar Føølish
Если она ансаунд
Значит будет уб в компайлтайме :-)