You are still writing code, you just made the compiler very expensive and non-deterministic.