Ви не увійшли. Будь ласка, увійдіть або зареєструйтесь.
Ласкаво просимо вас на україномовний форум з програмування, веб-дизайну, SEO та всього пов'язаного з інтернетом та комп'ютерами.
Будемо вдячні, якщо ви поділитись посиланням на Replace.org.ua на інших ресурсах.
Для того щоб створювати теми та надсилати повідомлення вам потрібно Зареєструватись.
Український форум програмістів → Інші мови програмування → Haskell: Аплікативний фанктор і списки
Сторінки 1
Для відправлення відповіді ви повинні увійти або зареєструватися
Я можу зробити так:
Prelude> let a = (fmap (*)) <$> [Just 10, Just 20]
Prelude> let x:xs = a
Prelude> x <*> Just 2
Just 20Але що я хтів би. то це зі списку [Just (*10), Just (*20)] і ще якогось, наприклад, [Just 5] отримати [Just 50, Just 100]. Я якось це зробив вранці, але вже забув, і я не використовував ані рекурсії, ані спискових виразів.
Прикол, а так вийшло 
Трясця!
Prelude> let a = fmap (<*>) (fmap (*) <$> [Just 2, Just 4])
Prelude> a <*> [Just 3]
[Just 6,Just 12]Виходить все діло було в тих дужках! Чого б це?
-------------
Загалом. не забувати треба про дужки, і так красивше:
Prelude> let a = fmap (<*>) $ fmap (*) <$> [Just 10, Just 20]
Prelude> a <*> [Just 3]
[Just 30,Just 60]
Бавитесь чи діло робите?
Бавитесь чи діло робите?
Цікаво стало, що таке монади, от і вчу тепер Хаскель:)
Оце зараз не можу добрати як оця штука працює:
sequenceA [(+3),(+2),(+1)] 3Ну що ж, почнемо з цього визначення:
sequenceA :: (Applicative f) => [f a] -> f [a]
sequenceA [] = pure []
sequenceA (x:xs) = (:) <$> x <*> sequenceA xsРозпишемо:
(:) <$> (+3) <*> $ (:) <$> (+2) <*> $ (:) <$> (+1) <*> pure [] (:) <$> (+3) <*> $ (:) <$> (+2) <*> $ (:) <$> (+1) <*> [] і тут я застряг, для якого аплікативного функтора викличеться <*> тут, для цього ((->) r) чи для цього []
(:) <$> (+1) <*> []Ага, зрозуміло. Я застосував не те pure, тобто потрібно pure не від Applicative [] , а від Applicative ((->) r)
тоді маємо:
(:) <$> (+1) <*> (\_ -> x)і тут вже зрозуміло, що використовується <*> від Applicative ((->) r).
А якщо глобально, то
Prelude> :t [(+3),(+2),(+1)] [(+3),(+2),(+1)] :: Num a => [a -> a] Prelude> :t sequenceA sequenceA :: (Applicative f, Traversable t) => t (f a) -> f (t a)
і зіставляння із взірцем дає: t = [], f = (->) a.
Сторінки 1
Для відправлення відповіді ви повинні увійти або зареєструватися