Comment by 4ad

I would argue that languages are not ready for perfect information representation. Programs explode when presented with minor inconsistencies. And changing the representation in minor way requires rewriting the program.

With CUE, we are trying to solve this exact problem.