Реализация фильтра, функция которого принимает аргумент

Question

Я пишу Haskell, целью которого является получение списка чисел и фильтрация любого числа, которое не является треугольным.

main :: IO() 
main = do 
    interact tri 

tri :: String -> String 
tri = unwords . 
     map show . 
     filter (isSquare (\n -> (8*n+1))) . 
     map (read :: String -> Int) . 
     words 

isSquare :: (Integral a) => a -> Bool 
isSquare n = (round . sqrt $ fromIntegral n)^2 == n 

Это то, что у меня есть до сих пор. Там, где у меня возникают проблемы, это фильтр.

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

Answer 1

1. Имеет ли выражение (isSquare (\n -> (8*n+1))) тип-проверка? Почему нет?

2. filter имеет тип (a -> Bool) -> [a] -> [a]. Поэтому его первый аргумент должен быть функцией типа (a -> Bool). Вы почти там с этим; какую функцию вы хотите здесь, и как вы можете построить ее с тем, что у вас есть? Подсказка: это односимвольное изменение.