Игаль *    (yigal_s) wrote,
Игаль *   
yigal_s

тупизм

(>>=) :: Monad m => m a -> (a -> m b) -> m b
join :: Monad m => m (m a) -> m a

join x = x >>= id

два часа мучился, пока вроде б начало доходить, как именно работает эта связь между join и bind.

Просто никак не мог понять, как у id=\x->x может быть тип a->m b
С горя уже почти было решил, что там неявное преобазование типа )))
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 2 comments