Hacker News Reader

How does one assert bar() or better yet, an arbitrary expression you place there, is pure?

Well, the compiler attempts to evaluate bar(), and if it cannot, you get a compile error