deniok: (ухмыляюсь)
[personal profile] deniok
... и педантично выровнял:
($)    ::                      (a -> b) ->   a ->   b
(<$>)  :: Functor     f  =>    (a -> b) -> f a -> f b
(<*>)  :: Applicative f  =>  f (a -> b) -> f a -> f b
(=<<)  :: Monad       m  =>  (a -> m b) -> m a -> m b

(&)    ::                      a ->   (a -> b) ->   b  -- Data.Function
(<&>)  :: Functor     f  =>  f a ->   (a -> b) -> f b  -- Control.Lens.Operators
(<**>) :: Applicative f  =>  f a -> f (a -> b) -> f b  -- Control.Applicative
(>>=)  :: Monad       m  =>  m a -> (a -> m b) -> m b

Date: 2016-07-23 03:05 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Распечатаю. Повешу на стенку. Это прекрасно.

Date: 2016-07-23 03:46 pm (UTC)
From: [identity profile] nivanych.livejournal.com
На футболку надо.

Date: 2016-07-24 12:30 pm (UTC)
From: [identity profile] lispnik.livejournal.com
Только тату!

Date: 2016-07-24 12:37 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Ну что ж мы тут, подростки какие неуёмные? ;-)

Date: 2016-07-24 03:57 pm (UTC)
From: [identity profile] lispnik.livejournal.com
Конечно нет, поэтому никаких футболок.

Date: 2016-07-24 04:59 pm (UTC)
From: [identity profile] nivanych.livejournal.com
С другой стороны, относительно изучения функциональщины, наверное, я таки 'подросток' ;-)
Дадад. Классика — накалывают всякую херню, о которой потом жалеют, когда вырастут! ;-)

Date: 2016-07-23 07:48 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Причем три из второй четверки могут быть определены как flip соответствующей функции из первой. Но есть одна с другой семантикой (и, естественно, реализацией).

всё уже придумано до нас

Date: 2016-07-25 08:43 am (UTC)
From: (Anonymous)
Симпатично (https://chris-martin.github.io/haskell-aligned/).
Ну и вообще рекомендуютвиттер (https://twitter.com/chris__martin/status/719124792603910144) автора.

Date: 2016-07-27 06:31 pm (UTC)
From: [identity profile] romanovsky.livejournal.com
Спасибо, тоже распечатал, вот картинка с юникодными стрелочками:
Image

Profile

deniok: (Default)
deniok

February 2022

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

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 11th, 2025 09:33 am
Powered by Dreamwidth Studios