NI
а можно таки то сообщение, которое вызвало обсуждение?
Там их несколько было, но я уже совсем сонный, чтоб говорить конкретнее.
Size: a a a
2020 October 18
NI
А, да. Кто-то дальше жаловался на отсутствие определений.
к
да ну кек, я не согласен, возможно там нет каких-то особенных функций, и эта особенность как-то имплиситно прикреплена
к
но тогда и растовец может сказать, что в хаскеле нет функций, подразумевая какие-то свои функции
KV
но тогда и растовец может сказать, что в хаскеле нет функций, подразумевая какие-то свои функции
В данном контексте функции — это то, что в функциональном программировании
NI
Ну вот я сказал - функция, это что-то, изоморфное (тут надо конкретнее, ноо это многабукав будет) конкретной части того или иного лямбда-исчисления.
к
а что за функции в функциональном программировании? Код + замыкание?
к
так такое в расте вроде бы есть
к
или чистые?
NI
Можно подняться и на категорный уровень.
Тут можно уточнить поболее.
Тут можно уточнить поболее.
Y
Вы это шутите или серьёзно?
Наполовину. Я серьёзно считаю, что режим воробушка-доёбушка и definition nazi — он в первую очередь для поднятия (само)оценки, а «помощь в установлении истины» — прикрытие и дополнительный способ поднятия (само)оценки.
к
так такого и в хаскеле нет
NI
Наполовину. Я серьёзно считаю, что режим воробушка-доёбушка и definition nazi — он в первую очередь для поднятия (само)оценки, а «помощь в установлении истины» — прикрытие и дополнительный способ поднятия (само)оценки.
Поверьте мне на слово - Кирилл мож и захотел поприкалываться, но в целом, такой хуйнёй он не страдает.
И приницпиально хуйни он не сообщил.
Разве, не успел уточнить всё, что нужно.
И приницпиально хуйни он не сообщил.
Разве, не успел уточнить всё, что нужно.
KV
а что за функции в функциональном программировании? Код + замыкание?
Ну замыкание это вроде как деталь реализации. Но да, в расте они есть
к
кстати, все давно хотел спросить
KV
Но надо ещё понимать, какое именно функциональное программирование на них возможно
к
а есть какие-то РАБОТАЮЩИЕ на нашем железе модели лямбда-калькулуса без замыканий?
к
там какой-нибудь мегадвижок подстановок
к
с подстановками кажется нельзя IO делать будет
NI
Какая была практическая польза заявлять, что «в Rust не функции, а процедуры»? Кому это что должно было напомнить? Кому-то от этого что-то стало понятнее?
Да, выразился кратко, но суть правильная.
Практическая польза от недосказанных истин бывает, но не всегда реализуется, это правда.
Практическая польза от недосказанных истин бывает, но не всегда реализуется, это правда.