> … [T]he author clearly acknowledges the tradeoff between pragmatism and safety, but it's unclear why it's better to draw the line at monads rather than separa

> … [T]he author clearly acknowledges the tradeoff between pragmatism and safety, but it's unclear why it's better to draw the line at monads rather than separation logic. Probably because programmers are already writing functional code in “mostly functional” languages, and they’re not writing separation logic.