Yes, sorry.
But I think I already found the answer to my own question.
DDC functions that are lazy don't allow side effects:
http://www.haskell.org/haskellwiki/DDC/EvaluationOrder
Anyway it would be cool if the DDC EffectSystem would also work on
lazy functions :)
On Wed, Aug 12, 2009 at 11:28 AM, Bulat
Ziganshin
Hello Pavel,
Wednesday, August 12, 2009, 1:13:31 PM, you wrote:
Have monadic function but needs to call it from pure code? use Control.Monad.Identity.
by monadic function he probably meant ST or IO one, not polymorphic by any monad
-- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe