It’s well known that there is a trade-off in language and systems design between expressiveness and analyzability. That is, the more expressive a language or system is, the less we can reason about it, and vice versa. The more capable the system, the less comprehensible it is.<p><a href="http:&#x2F;&#x2F;blog.higher-order.com&#x2F;blog&#x2F;2014&#x2F;12&#x2F;21&#x2F;maximally-powerful&#x2F;" rel="nofollow">http:&#x2F;&#x2F;blog.higher-order.com&#x2F;blog&#x2F;2014&#x2F;12&#x2F;21&#x2F;maximally-power...</a>