Использование переменных в параллельных списках в Haskell

Question

В parallel list comprehension в Haskell я столкнулся с проблемой при попытке использовать охрану.

largestPalindrome :: Int -> Int 
largestPalindrome x = maximum [ a*b 
           | a <- [x,x-1..1] 
           | b <- [x,x-1..1] 
           , isPalindrome (a*b) ] 

Ошибка, которая отображается в

Variable not in scope: a :: Int 

Answer 1

Цитируется Haskell Prime:

Параллельные постижения расширить списковые с обозначениями для молний. Понимание

[ e | quals1 | ... | qualsN ] 

может быть обессахаренная к

zipWithN (\ p1 ... pN -> e) [p1 | quals1] ... [pN | qualsN] 

где pi является кортеж переменных, определенных qualsi и используемых e.

Таким образом, из вашего примера, [a*b |a<- [x,x-1..1] | b <- [x,x-1..1] , isPalindrome (a*b)] примерно эквивалентно

zipWith (\a b -> a*b) 
     [ a | a<-[x,x-1..1] ] 
     [ b | b <- [x,x-1..1], isPalindrome (a*b) ] 

где достаточно понятно, почему a не в области видимости последнего списка понимания. Интуитивно, вы должны думать о том, что каждая ограниченная часть | является полностью независимой от других. Любая операция фильтрации будет связана только с одной из этих частей.