Я дважды дважды обновлял код, чтобы изменить порядок параметров, потому что было слишком много кода, где происходили хаки типа flip или \x -> foo bar x 42.
При разработке сигнатуры функции какие принципы помогут мне наилучшим образом использовать карри?
Для языков, поддерживающих currying и частичное приложение легко, есть одна убедительная серия аргументов, первоначально из Криса Окасаки:
Почему? Вы можете скомпоновать операции с данными. Например. insert 1 $ insert 2 $ insert 3 $ s. Это также помогает функциям в состоянии.
Стандартные библиотеки, такие как "контейнеры" следуют этому соглашению.
Иногда вводятся альтернативные аргументы, чтобы сначала помещать структуру данных, поэтому она может быть закрыта, что дает функции в статической структуре (например, поиске), которые немного более кратки. Тем не менее, общий консенсус, по-видимому, заключается в том, что это меньше выигрыш, тем более, что он подталкивает вас к сильно скопированному коду.
Для рекурсивных функций обычно ставится аргумент, который больше всего изменяется (например, аккумулятор) в качестве последнего аргумента, тогда как аргумент, который изменяется наименее (например, аргумент функции) в начале. Это хорошо сочетается с последним стилем структуры данных.
Сводка обзора Okasaki приведена в его библиотеке Edison (опять же, другая библиотека структуры данных):
Поместите аргументы, которые вы, скорее всего, будете использовать повторно. Хорошим примером этого являются аргументы функции. Вы гораздо более склонны к map f в двух разных списках, чем хотите отображать множество разных функций в одном списке.
Я стараюсь делать то, что вы делали, выбираете какой-то порядок, который кажется хорошим, а затем рефакторинг, если окажется, что другой порядок лучше. Порядок зависит от того, как вы собираетесь использовать эту функцию (естественно).