Sure you want logging and tracing (in the RPC sense not Debug.Trace.trace).
replyMost of this can still be done from IO places where the pure functions collect enough error information bubbling up (e.g. content and line/col of parser errors etc.) to not need ad hoc print statements for debugging.
In practice this just doesn't happen because you've composed a bunch of pure functions with various branches within them.
replyYou lose the ability to log "why" some effect is happening.
Eh sure. But you can always collect/carry decisions in something like an Either. When using arrows or your own monadic bindings it is even possible to abstract this away from view.
reply