Dv
они не вычисляются вообщ
А как из 2 + 2 получилось 4?
Size: a a a
2020 June 20
IJ
потому что print заставил вычислить
IJ
а без print не вычислялись бы
Dv
Ок, а если потом сделать
a := 3; Print[sum]?Dv
а без print не вычислялись бы
На самом деле, у нас тут та же проблема, что и у линейных типов.
Dv
Мы ни хера не можем понять, что такое «использование переменной».
IJ
Ок, а если потом сделать
a := 3; Print[sum]?
Dv
Или на самом деле всё тупо и прозаично, и каждое повторное использование переменной просто перевычисляет вообще все термы?
Получается, что вот тут я прав, но «использование» в данном контексте делает только
Print.Dv
А
free[a] просто бы распечатал free[4] и не освободил бы ни хера никаких указателей!Dv
Кажется, что линейные типы и математика — несовместны.
g
Окей. А вот эта вот фигня с двойным присваиванием
a как-то объясняется местной семантикой?Конечно.
:= — это особая операция, SetDelayed.Dv
g
Такое значение вычисляется каждый раз заново.
Dv
А можно не delayed?
g
Через обычное присваивание.
IJ
можно, но тогда меняться не будет
Dv
То есть уггурец с самого начала нас водил за нос?
g
Как обычно.
IJ
вовсе нет
Dv
А вот и да!