deniok: (Рыжий)
[personal profile] deniok
GHC 7.10.1 :
class Applicative m => Monad m where
...
    return      :: a -> m a
    return      = pure
...
-- оставили как было (по социальным причинам :)
--  (>>) :: forall a b. m a -> m b -> m b
--  (>>) = (*>)
...
https://hackage.haskell.org/package/base-4.8.0.0/candidate/docs/src/GHC-Base.html#Monad

Date: 2015-03-27 09:46 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
"-- оставили как было (по социальным причинам :)
-- (>>) :: forall a b. m a -> m b -> m b
-- (>>) = (*>)"

а здесь нужно было что-то исправить?

Date: 2015-03-27 10:40 am (UTC)
From: [identity profile] voidex.livejournal.com
Там ж на деле m >> k = m >>= \_ -> k

Date: 2015-03-27 11:17 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
(*>) и (>>) равны, вообще-то. Но deni_ok объяснил. Минимальное объявление монады - return и (>>=), а апликатива - pure и (<*>). Тогда поскольку народ не определяет (>>) для монад и исторически определяют (*>) для монад как (>>), получится бесконечная рекурсия.

Date: 2015-03-27 12:19 pm (UTC)
From: [identity profile] voidex.livejournal.com
Так а мой комментарий не о том, что не равны, а о том, что в посте - одно, а в base - другое.

Date: 2015-03-27 02:11 pm (UTC)
From: [identity profile] sassa-nf.livejournal.com
да не, в посте это дело тоже в комменте "--". в base оно определено так, как вы и сказали.

Date: 2015-03-27 10:53 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Там по второй ссылке замечание есть: Note [Recursive bindings for Applicative/Monad].

Date: 2015-03-27 11:55 am (UTC)
From: [identity profile] nivanych.livejournal.com
Давно такого не было, чтоб после .1-версии оставалось всего 10 багов.
https://ghc.haskell.org/trac/ghc/milestone/7.10.2?by=type
Постарались, молодцы!
Это вовсе не плохо, что затянули релиз.

Date: 2015-03-27 12:24 pm (UTC)
From: [identity profile] jakobz.livejournal.com
А в do-нотацию добавили разворачивание в Applicative?

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. 27th, 2017 02:30 am
Powered by Dreamwidth Studios