https://softwaremill.com/beautiful-folds-in-scala/

https://www.schoolofhaskell.com/user/edwardk/cellular-automata/part-2 http://squing.blogspot.com/2008/11/beautiful-folding.html http://conal.net/blog/posts/another-lovely-example-of-type-class-morphisms http://conal.net/blog/posts/more-beautiful-fold-zipping http://www.haskellforall.com/2013/08/composable-streaming-folds.html https://www.tweag.io/posts/2017-11-01-streaming-and-foldl.html https://gist.github.com/michaelt/ac5dc5a08f7631639537d5bcf379f225

я про то что хаскелл в 2010 меняли)

(+) <$> (+3) <*> (*100) $ 5

ap :: Functor f => f (a -> b) -> f a -> f b У нас функциональная стрелка r -> e Так как нам нужен kind * -> * а у стрелки * -> * -> * то мы частично применим ее и наш f будет ((->)r) тогда ap :: ((->)r) (a -> b) -> ((->)r) a -> ((->)r) b ap :: (r -> (a -> b)) -> (r -> a) -> (r -> b) ap :: (r -> a -> b) -> (r -> a) -> r -> b что есть в теории комбинаторов аксиоматический базисный комбинатор S и как можно заметить процесс инхабитации можно сделать по типу f :: (r -> a) g :: (r -> a -> b) x :: r теперь попробуем решить это нам нужно прийти к b как конечному типу, а для этого у нас есть такой путь f(x) :: a g(x)(f(x)) :: b и того имеем что наш ap для функциональной стрелки ap g f x = g x $ f x

Из книги изучай хаскель во имя добра

и теперь понимаю, почему лучше менять mtl на фримонады

ну вот была функция data Env = Env { _options :: Options , _config :: Config , _handle :: SlackHandle } makeLenses ''Env type Bot = ReaderT Env IO putMessage :: Text -> Bot () putMessage t = do handle' <- view $ handle channelId' <- view $ options.channelId handleEither () $ liftIO $ S.sendRichMessage handle' channelId' t []

ну вот была функция data Env = Env { _options :: Options , _config :: Config , _handle :: SlackHandle } makeLenses ''Env type Bot = ReaderT Env IO putMessage :: Text -> Bot () putMessage t = do handle' <- view $ handle channelId' <- view $ options.channelId handleEither () $ liftIO $ S.sendRichMessage handle' channelId' t []

ну пока что не показательно. вся функция просто читает и посылает аргументы. ну она могла бы принимать ридер и возвращать чистую функцию от 2х аргументов например

чтобы первая стала тестируемой

почему Task (Future) считается чистым в отличии от промисов. Что Task, что промис не могут быть чистыми, потому что идет http запрос, в чем подвох?

потому что таски ленивые

они и не считаются чистыми, с чего ты взял-то?

мы не будем использовать промизы тк они не являются чистыми в то время как таски ленивые

мне кажется он хотел сказать что они не функциональные

а таск только с помощью fork