Я начал с haskell вчера и до сих пор полностью потерялся на берегу этого смелого нового мира. Теперь я столкнулся с следующей проблемой:
Предположим, что у меня есть некоторая функция, которая делает магию целой и другой переменной:
makeTuple :: Int -> a -> (Int, a)
makeTuple n x = (n, x)
Теперь я хочу применить эту функцию ко всем элементам списка. Пока нет проблем, поскольку отображение - это ваш хлеб и масло на питоне (откуда я тоже).
makeTupleList :: Int -> [a] -> [ (Int, a) ]
makeTupleList n x = map (makeTuple n) x
Насколько я понимаю, двоичная функция makeTuple применяется частично с целым числом n и, следовательно, становится унарной функцией, которая может быть сопоставлена каждому элементу x. Пока все хорошо.
Но что мне делать, когда функция makeTuple имеет другую подпись, например:
makeTuple2 :: a -> Int -> (Int, a)
makeTuple2 x n = (n, x)
Многие пути приводят к Риму: эффект тот же, но путь другой. Теперь очевидно, что отображение больше не работает: функция ожидает Int и получает a.
makeTupleList2 :: Int -> [a] -> [ (Int, a) ]
makeTupleList2 n x = map (makeTuple2 n) x -- boolshit
Этого следовало ожидать. My -maybe слишком pythonic-обходной путь использует другую функцию для передачи параметров, куда они должны идти:
makeTupleList2 :: Int -> [a] -> [ (Int, a) ]
makeTupleList2 n x = map (\x -> makeTuple2 x n) x
Вопрос: Каков предпочтительный функционал, стиль стиля в стиле haskell для частичного применения функций, когда парионно применяемые параметры не являются самыми левыми?