Tony Morris

@djspiewak @tpolecat I would absolutely argue against that, because then people would do what you're trying to do.

@puffnfresh @tpolecat People *should* do what I’m trying to do, because what I’m trying to do is provably sound.

@djspiewak @tpolecat no, it's totally unsound. You can not use point to make side-effects pure. It's never been sound.

@puffnfresh @tpolecat Point *claims* to be lazy. It’s in the type. Right now, Task’s point is lying.

@djspiewak @puffnfresh @tpolecat Heh? How is Monad[List].point ever going to be lazy?

@clhodapp @puffnfresh @tpolecat It can’t, of course, because the underlying data is eager.

@djspiewak @puffnfresh @tpolecat Right, but is the type signature different? Is it lying?

@clhodapp @puffnfresh @tpolecat It’s sort of dumb that we have a language which makes us draw these distinctions, but it is what it is.