169 похожих чатов

Добрый вечер. У меня возник чисто теоретический вопрос. Если я

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

1 ответов

7 просмотров

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

Похожие вопросы

Обсуждают сегодня

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
Ну вот просто даже давайте вот как. Какой нибудь конкретный кейс, можете в пример привести, где бч работает и приносит прикладную пользу, а не просто что бы было? Не крипту.
Alexander Andreev
22
объясните пожалуйста, почему функция не работает должным образом? вроде должно брать активное окно сравнивать его размер с размером экрана, и если есть совпадение = true прове...
JF
12
лучше скажите, причём тут паскаль?
Alexey Kulakov
36
> Копаем глубже > Следующий момент был, когда я спросил его, знает ли он JavaScript. Он ответил, что его учили работать с C#. Я тоже в университете писал на C#, но даже там мн...
Oleg Volkov
4
Гляньте, че бывает: Сегодня по одному проекту одной вебстудии делал проект небольшой, на их хостинге. На Modx revo. В определенный момент , работая в админке, вдруг перестал р...
Artem
7
И никого не интересует какие пакеты кто использует. ((% Заходишь на сайт симфони и видишь поддержку Украины - по законам РФ это ж экстремизм. Только никто не отказывается от с...
Am Ambrion
11
Чтобы перехватить все нажимания буков на форме, надо хук ставить? Пробовал на форме ОнКейДаун, оно ловит клаву если фокус не на компоненте с вводом текста
Serjone
15
Но, может, есть уже проверенная? Наши требования такие: 1. Сообщения должны приходить из Инста в CRM оду 2. Должна быть возможность подключить несколько экаунтов Инстаграм. Р...
Alexander Sharoiko MSE / Александр Шаройко
12
Народ! Впервые клиенту пришло письмо от РКН, у вас, дескать, есть яндекс метрика, а нигде не написано, что вы ее юзаете. Никто не сталкивался?
Sasha Beep
14
Карта сайта