🦞🌯 Lobster Roll

I'm the author of this work in progress. It can be scary to give advice to other programmers. I thought folks here would have some perspective to share on that. [Email me here](http://a.quil.la/5SAPC) if there's anything you'd like to see in the book! Thanks. _PS: First submission -- happy to be ...

Abstract: "One often cited benefit of pure functional programming is that pure code is easier to test and reason about, both formally and infor- mally. However, real programs have side-effects including state management, exceptions and interactions with the outside world. Haske...

Abstract: "Reasoning about programs that use effects can be much harder than reasoning about their pure counterparts. This paper presents a predicate transformer semantics for a variety of effects, including exceptions, state, non-determinism, and general recursion. The predicate transformer seman...

Given that "Out of the Tarpit" says side-effects begat complexity, it doesn't seem like most people outside of functional programming are concerned with it as a problem. I'm wondering if it's because it's actually not a problem, and "Tarpit" is wrong, or if it is right, but it's too hard to think...