now I'm totally confused

[juan_gandhi]

People started assuring me that Haskell streams may be empty. Meaning, not a comonad at all.
So, wtf, are they even monads? They also say a list can be infinite; well, any proof that it's still a monad? Not what you get if you build a free monoid (that's what a list is).

Or? Do they mean we actually need σ-algebras?!

Comments

[nivanych.livejournal.com]

Практика показала, что ресурсы тоже очень важны.
Нельзя просто наплевать "а что-то там посчитается", ибо нередко, получаем фигню уже качественного масштаба.
И сложности с хаскелем с начинающих, в том числе, и в этом.
Но про ресурсы почти никто не задумывается.
Не то, чтоб про reasoning, но и просто интуитивную понятность не очень-то.