j
<ForNeVeR> jt3k: там много, почитай вечером :)
Size: a a a
2016 November 14
j
<ForNeVeR> Уверяю, ты будешь удивлён.
j
<Mr.Purple> такк
j
<Hugo> jt3k: к чему вопрос?
j
<ibxth> ForNeVeR: а ты ведь хаскель знаешь?
j
<ForNeVeR> ibxth: а вы с какой целью интересуетесь?
j
<jt3k> 16:28 +Hugo jt3k: к чему вопрос?
к декораторам
к декораторам
j
<ibxth> ForNeVeR: а ты понимаешь, почему [1,2,3] >>= return [4,5] вообще работает и как это вообще работает?
j
<ForNeVeR> ibxth: насколько я помню, return имеет тип a -> m a
j
<ForNeVeR> То есть, ну, чото тут не так!
j
<ForNeVeR> Или так?
j
<jt3k> ForNeVeR: ыы 40 страниц! %) спека ес6 там 600 , но и писана она не таким языком конечно
j
<ForNeVeR> jt3k: это overview, ну.
j
<Hugo> ну мож и не декоратор, я хз, вот по этому и форневера или _вт хотел привлечь, мож они знают, просто видел такой пример, там называли декоратором
j
<ibxth> ForNeVeR: меня тоже в ступор поставило, но оно работает. На выходе получается [4,5,4,5,4,5]
j
<Hugo> chalker: а ты что скажешь?
j
<ForNeVeR> ibxth: короче, надо вспоминать, что в данной комбинации делает >>=, я сходу не смогу вкурить. Хаскель знаю, но такие загадочки не уважаю.
j
<jt3k> Hugo: я знаю что такое декораторы.
и пытаюсь тебе объяснить, чтоб попроще
и пытаюсь тебе объяснить, чтоб попроще
j
<Hugo> jt3k: повтори :)
j
<ibxth> >>= это бинд. ma -> (a -> mb) -> mb