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

Question

У меня есть эта функция, которая извлекает четвертый элемент, который бывает целое число, из кортежа:

fourth :: (a, b, c, Int) -> Int 
fourth (a, b, c, d) = d 

Я хочу суммировать все четвертые целые числа в список кортежи. Я могу использовать fourth внутри сгиба правой операции, сочиняя его (+) в подходящую foldr оператора:

summerRight :: (a, b, c, Int) -> Int -> Int 
summerRight tuple n = fourth tuple + n 

все это можно записать pointfree:

summerRight = (+) . fourth 

Теперь, если я хочу, чтобы выразить сумма как складной склад, мне нужен оператор:

summerLeft :: Int -> (a, b, c, Int) -> Int 
summerLeft n tuple = n + fourth tuple 

Мне не удается написать эту последнюю функцию.

Можно ли написать summerLeft pointfree?

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

Answer 1

Вы можете использовать flip :: (a -> b -> c) -> b -> a -> c для этого:

fourth :: (a, b, c, Int) -> Int 
fourth (a, b, c, d) = d 

summerLeft :: Int -> (a, b, c, Int) -> Int 
summerLeft = flip ((+) . fourth) 

main :: IO() 
main = print $ summerLeft 1 (2, 3, 4, 5) 

печатает

6 

Answer 2

Вот еще одно решение:

summerLeft n tuple = n + fourth tuple 
summerLeft n = (n +) . fourth 
summerLeft = (. fourth) . (+)