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<bulat.ziganshin@gmail.com> wrote:
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