Apr. 5th, 2012

deniok: (Default)
В классе типов 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.

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 6th, 2025 09:45 pm
Powered by Dreamwidth Studios