seq as a class method
wolfgang at jeltsch.net
Wed Mar 29 11:34:18 EST 2006
Am Freitag, 24. März 2006 14:40 schrieb John Hughes:
> Thirdly, the laws one loses are "nearly true" anyway, and that's very often
> enough. See "Fast and loose reasoning is morally correct", POPL 2006. We
> don't need to give up anything to make reasoning *as though* such laws held
> sound, in most cases.
I will probably have a look at this paper. Nevertheless, I feel uncomfortable
with the fact that something that isn't a monad claims to be a monad, etc.
Maybe we should rename seq to unsafeSeq or something similar.
More information about the Haskell-prime