А ведь противники теории заговоров просто пользуются своей логикой, из-за чего считают теории заговоров бредом. У этих людей просто разная аксиоматика, а одних считают сумасшедшими.

именно так)

на темноту, на молоточек который бьет по ноге, на свет, на кучу вещей

нет просто я говорю о том что вы сначала заявляете что есть функция как черный ящик, что есть строго один момент когда в нее входят аргументы и выходит значение. на этом моменте можно поверить в ее чистоту

но потом оказывается что мы можем взять функцию как обьект, каррировать его(что подобно изменению стейта, потому что новая функция при этом не создается) не говоря уже о том что мы просто уже биндим в нее стейт из другого места, т.е. тут кто ее потом докаррирует уже не может говорить что в ней действительно чтото передали и чтото получили потому что само получение этой функции в той точке где она вызывается - это продукт десятков "докаррирований".

тоесть тебе понянет ход мыслей? мы говорим чистота есть один вход и один выход, и поэтому это упрощает отладку, упрощает тесты - это обьективная оценка.

потом мы делаем функцию такой что она принимает десятки аргументов раскиданных по всей программе и сама функция отдает уже не результат а еще одну функцию. где тут чистота где польза от чистоты где тестируемость отлаживаемость?

ну а монады это апофеоз - мы делаем функцию которая отдает функцию которая ожидает что ее вызовут особым образом и будут вызывать по кругу на каждый чих буквально. что на этом этапе у нас остается от тестируемости или отлаживаемости?

Новорожденный плохо себя ведёт в любой ситуации когда рядом нет матери.

надеюсь ход моих мыслей понятен. можете постить в ебанатику

нет, функция остается "просто функций" что с ней ни делай

никаких "взять функцию как объект" нет

есть немного сахара чтобы удобнее писать and_then, но это ничего не меняет

это булшит и ты это знаешь. функция из многих аргументов это просто много функций из одного аргумента которые каррируются и отдают другое. так оно работает и я ничего не путаю

функцию от многих аргументов можно рассматривать как функцию от хвоста, да, но это ничего не меняет

ты можешь руками писать foo a b c d = bar 10 a b c d

это меняет то что если ты захочешь эту функцию "воспроизвести" тебе придется шариться по всему коду чтобы эти аргументы найти и аплайнуть

Каррирование это:
foo x y z = ...

foo 1
Идентично
\y => \z => foo 1 y z

и так же тебе придется провернуть стейт тридцать раз чтобы найти тот набор аргументов на котором бы проявлялась ссылочная прозрачность

не придется

я знаю что оно идентично, я говорю что оно просто прячет стейт

функция она сигнатурой определяется