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 sy

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. http://blog.higher-order.com/blog/2014/12/21/maximally-powerful/ http://blog.higher-order.com/blog/2014/12/21/maximally-power...