N
а вы все высокомерные по отношению к нефп?
Size: a a a
2020 October 17
O
а то
KV
в хаскеле функции?
Да, для некоторого растяжения понятия "категория"
N
я тож так хочу
O
Да, для некоторого растяжения понятия "категория"
но хаскель не образует категорию
O
всм типы
KV
а вы все высокомерные по отношению к нефп?
А какое программирование бывает кроме функционального? Только дисфункциональное
O
значит там и некоторое растяжение понятия "функция"
N
А какое программирование бывает кроме функционального? Только дисфункциональное
Императивное
KV
но хаскель не образует категорию
Образует, в зависимости от того, что называть категорией
O
известно что
KV
Императивное
Императивное бывает как функциональным, так и дисфункциональным, но других вариантов нет
O
объекты + стрелки + композиция + id + ассоциативность + нейтральность id слева и справа
KV
известно что
Нет, не известно. Я вот не знаю, что именно я называю категорией в данном случае, но могу сказать, что хаскель её образует и что там функции самые настоящие
O
ладно, это троль
Y
Яжговорю!
KV
Ну можно попробовать построить минимальное обобщение категорий, чтобы хаскель туда впихнуть, но зачем
KV
Да вы меня просто прижали со своим "что такое функция", ну что я должен ответить? Ясно же, что не то же, что процедура, возвращающая значение
O
как зачем? чтобы функции были в хаскеле!