Is production code always written monadically?

[atravers]

Did you use the Applicative methods directly, or use do-notation? If the latter, then:

@harris-chris

This means that almost every function starts with a do, and is then written in do-syntax rather than conventional Haskell syntax.

Is it any wonder as to why this thread was so “popular” :

Using unsafePerformIO safely?

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…