не ошибаюсь, то использование только чистых функций позволяет делать параллелизм без особых проблем для программиста.
А что будет если использовать не просто чистые функции, а те, которые могут принимать аргументы в любом порядке?
Конкретно интересует:
1. Как изменится система типов
2. Даст ли это какой-нибудь выигрыш
3. Любую ли чистую функцию можно свести к чистой коммутативной или для этого нужны какие-то ограничения на чистые функции
4. Есть ли материалы по этой теме, если она не является совершенно абсурдной, разумеется
В хаскеле у любой функции один аргумент. Если ты говоришь о каком-нибудь гипотетическом ML'е с типами функций AxB -> T, то между таким типом и BxA -> T есть изоморфизм, т.е в определённом смысле порядок аргументов в принципе не важен. А что тебя сподвигло на мысли о порядке аргументов?
Обсуждают сегодня