Haskell аппликативен функтор - сборник отказ

Question

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

import Control.Applicative 

buildMyList :: Float -> Float -> [Float] 
buildMyList ul tick = [p | p <- [0,tick..ul]] 

myFunctionChain :: [Float] 
myFunctionChain = reverse <$> buildMyList 100 1 

Когда я пытаюсь скомпилировать это я получаю следующая ошибка компиляции:

Couldn't match type 'Float' with '[a0]' 
Expected type: [[a0]] 
    Actual type: [Float] 
In the return type of call of 'buildMyList' 

Мне кажется, что мне не удалось сопоставить ожидаемый контекст возврата с фактическим контекстом. Не имея достаточного опыта в этой области, я не могу получить больше!

Answer 1

Applicative можно было бы лучше объяснить с помощью bulldMyList. Предположим, вы хотите построить массив квадратной матрицы: [(0,0), (0,1), (0,2), (1, 0) ...]. Использование списочные:

buildMyMatrix :: Int -> Int -> [(Int, Int)] 
buildMyMatrix maxX maxY = [(x, y) | x <- [0..maxX], y <- [0..maxY]] 

Использования аппликативных комбинаторов его можно переписать в виде:

buildMyMatrix maxX maxY = pure (\x y -> (x, y)) <*> [0..maxX] <*> [0..maxY] 

И согласно аппликативным законам мы можем переписать pure f <*> x = f <$> x, для всех f и x:

buildMyMatrix maxX maxY = (\x y -> (x, y)) <$> [0..maxX] <*> [0..maxY] 

---

Мне пришлось использовать немного больше icated buildMyMatrix, так как ваш buildMyList слишком тривиальным воспользоваться Applicative:

buildMyList :: Float -> Float -> [Float] 
buildMyList ul tick = [p | p <- [0,tick..ul]] 
buildMyList ul tick = id <$> [0,tick..ul] -- [by functor identity law]: 
buildMyList ul tick = [0,tick..ul]