10 Jan
2007
10 Jan
'07
7:18 a.m.
Hello Yitzchak, Wednesday, January 10, 2007, 12:02:25 PM, you wrote:
Unfortunately, the current situation is that State is only available as a lazy monad, and StateT is only available as a strict monad.
At the very least, the two should be consistent. I would much prefer for them both to be lazy.
imho, lazy monads (as any other lazy things) is a source of beginner's confusion. therefore it may be better to provide "default" monads as strict and lazy ones - for one who knows what he wants - with a Lazy prefix, e.g. LazyST, LazyState... -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com