K
А я о бесполезности и не говорил
"проще рассуждать" — это довольно далеко от определения декларативности
"отсортируй массив" — декларативно. Будет ли это создавать новый — не важно
Size: a a a
2021 April 28
EL
Классическая логика не рассматривает такой концепт как причинно-следственная связь. Физика — да. Классическая логика — нет.
B
Импликация не о причинно-следственной связи
Вообще
Вообще
AG
поляризация нужна :)
B
Темпоральная логика не рассматривает
s
AG
вот эти их U/L это полярности
B
Пример. Если здесь молния, то здесь электризация туч.
ДК
Ну да, классическая логика довольно ущербна, и не подходит на роль мета-языка.
B
Является ли нахождение здесь молнии причиной электризации туч?
EL
А, действительно. Это как "после не значит вследствие" :)
ДК
Только материальная.
B
Когда не понимаешь X и говоришь о его бесполезности
B
Любая.
EL
А теперь спор переходит в спор о терминах. На этом можно остановиться, смысла за этой гранью уже нет
B
Я бы мог назвать логики, где по-разному кодируются (при этом разные) актуальные причинно-следственные отношения, но здесь это не релевантно.
B
Хорошо. Тогда, пожалуйста, назовите чисто функциональный ЯП (условимся, что Haskell является таковым, хотя у него есть мутабельность), который удовлетворяет всем вашим же условиям и не препятствует оптимизации кода.