deniok: (ухмыляюсь)
[personal profile] deniok
В выражении
GHCi> succ <$> "abc"
"bcd"
оператор <$> имеет тип (Char -> Char) -> [Char] -> [Char]. Верно ли это утверждение для обоих вхождений <$> в следующем выражении
GHCi> succ <$> succ <$> "abc"
"cde"

Date: 2016-06-12 04:58 pm (UTC)
From: [identity profile] sassa-nf.livejournal.com
нет, т.к. <$> левоассоциативный. Соответственно, тип (<$>) соответствует функтору ((->) r), и равен (.).

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 02:52 pm
Powered by Dreamwidth Studios