VS
как связаны неуправляемые эффекты с различием в обозначении операции присваивания и операции равенства?
Size: a a a
2020 October 18
АГ
и кстати, что так все скобки то не любят... норм же
JS
как связаны неуправляемые эффекты с различием в обозначении операции присваивания и операции равенства?
в чистых языках нет присваивания
m
в чистых языках нет присваивания
дай пример)
JS
дай пример)
Хаскель, Агда, Идрис
m
а как вообще без присваивания?
JS
как связаны неуправляемые эффекты с различием в обозначении операции присваивания и операции равенства?
есть ещё третье понятие — уравнение, то есть постулирование равенства
AM
а как вообще без присваивания?
Подозреваю, передача через стек
JS
а как вообще без присваивания?
да в общем-то так же, как и с присваиванием, только проще
JS
Подозреваю, передача через стек
нет, через аргументы функции, скорее
AM
нет, через аргументы функции, скорее
Так это и есть "через stack".
JS
Так это и есть "через stack".
не обязательно. TCO идёт мимо стэка. а лень вообще чудеса творит
VS
есть ещё третье понятие — уравнение, то есть постулирование равенства
А чем технически это отличается от присваивания, кроме формального описания? По сути же любое присваивание это уравнение двух «объектов»
JS
А чем технически это отличается от присваивания, кроме формального описания? По сути же любое присваивание это уравнение двух «объектов»
во-первых, это отличается логически. присваивание значения в ячейку памяти меняет состояние ячейки. уравнение значений не говорит ничего про ячейки памяти, а только про значения (или формулы значений).
если Хаскель тяжеловат, посмотрите как это работает в Прологе.
ну и чисто технически присваивать можно много раз в разные моменты времени, а равенство постулируется единожды и на всё время исполнения программы
если Хаскель тяжеловат, посмотрите как это работает в Прологе.
ну и чисто технически присваивать можно много раз в разные моменты времени, а равенство постулируется единожды и на всё время исполнения программы
JS
ну в sql кстати это будет левое сравнение, не имеющее смысла
в Прологе это валидно и даёт ответ false (только что проверил на https://swish.swi-prolog.org/). SQL тоже почти логический язык, так что и в нём можно такое валидным сделать, наверно
JS
задолго до этих ваших мемасиков был андекдот: Звонит в поддержку покупатель коммерческой версии Пролога: "Я пытаюсь инкрементировать переменную, ввожу
x = x + 1, а ваша программа отвечает НЕТ! Что значит НЕТ? Какого чёрта проиходит?"2020 October 19
АГ
природа работы компьютера императивна.
АГ
программа - это последовательность действий.
JS
природа работы компьютера императивна.
не любого компьютера
АГ
ну за квантовые что говорить - там другое. я про обычные.