B
И этот человек что-то пытался писать на хабр про логику
Size: a a a
2021 April 28
EL
Бля, а можно тому чуваку с Киану на авке добавить подпись какую-нибудь, чтобы всем было понятно, с кем они говорят?
EL
Типа "entirely denies all the foundations of modern math, logic and computer science"
B
следствия... причины...
B
Для этого нужно сделать его админом, да и надпись не уместится (
IJ
коллеги, не переходите на личности, пожалуйста ( и чат про компиляторы )
s
Хаскель это ССЗБ язык за счёт ленивости.
s
Но это далеко не единственный из функциональных языков.
B
Релевантная импликация действительно есть, но в правилах материальной импликации нет ничего сомнительного. Каждый может проверить, что материальная импликация так и работает.
B
И неверно говорить, что истинность p подразумевает, что q следует из p
EL
Я делал разбор его статьи, которую можно озаглавить в стиле Медузы "Гёдель, Кантор и Тьюринг во всём неправы. Объясняем на стрелочках". Правда никому, кроме него не присылал. Если интересно
B
если p выполняется, то оно выполняется также при выполнении или невыполнении q
Это если уж вводить семантический комментарий, только не "истинно", а "выполняется"
Это если уж вводить семантический комментарий, только не "истинно", а "выполняется"
AT
А! Тоже была такая мысль! Но времени пожалел. 😃
s
Скажем, в том же окамле нет проблем вроде space leaks.
EL
Пока делал, заботал много из логики, за что ему спасибо :3
B
А что, присылай
B
Ленивость — нейтральное к оптимизации понятие. Наличие ленивости может как оптимизировать программу, так и наоборот.
s
Но в реальности она делает скорее наоборот. Потому, что в реальных машинах доступ к памяти не бесплатен.
B
Никто и не отрицал
s
Если так, что это опровергает излишне общие высказывания о функциональном программировании.