# Monadic Code In Haskell

**URL:** <https://discourse.haskell.org/t/monadic-code-in-haskell/7872>\
**Category:** Learn\
**Created:** [October 13, 2023, 9:54am UTC](https://discourse.haskell.org/t/monadic-code-in-haskell/7872 "2023-10-13T09:54:24Z")\
**Posts on this page:** 1\
**Showing post:** 20

<div class="post-metadata">

**Author:** ![atravers](https://avatars.discourse-cdn.com/v4/letter/a/45deac/32.png) [@atravers](https://discourse.haskell.org/u/atravers)\
**Post date:** [October 14, 2023, 9:28pm UTC](https://discourse.haskell.org/t/monadic-code-in-haskell/7872/20 "2023-10-14T21:28:12Z")

</div>

> That’s where it shines […]

…like the proverbial _“gilded cage”_ where I/O is concerned:

> [@Using unsafePerformIO safely?](http://discourse.haskell.org/t/using-unsafeperformio-safely/4146):
>
> A colleague of mine Victor Miraldo asked me today whether I know how to use unsafePerformIO safely. And I realized I have no idea. Do you? Or do you know of an existing blog post / other resource that addresses this? Context: Victor is writing a program that needs to call out to an SMT solver. An SMT solver acts like a pure function: it gets information in and then deterministically produces a result based (only) on its input. But because the SMT solver is invoked via a separate process, the in…

---

_[View the full topic](https://discourse.haskell.org/t/monadic-code-in-haskell/7872)._