Знаете ли вы Data.Traversable?
Apr. 5th, 2012 09:57 pmВ классе типов Traversable определена замечательная функция sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a). Знаете ли вы, как работают её представители для разных типов? Устно вычислите значения выражений и проверьте результат в GHCi:
sequenceA [Right 3,Right 4,Right 5] sequenceA [Right 3,Left 4,Right 5] sequenceA [Left 3,Left 4,Right 5] sequenceA [(+3),(+2),(+1)] 3 (getZipList . sequenceA . map ZipList) [[1,2,3],[4,5,6]]Для четвёртого задания укажите используемого представителя Applicative.