I think the end game should be basically Star Trek. You just declare to the computer what you want, and then it just generates correct code for you.
Declarative programming by itself is fairly powerful. I think In future this is actually how you want the system to work. Just saying what you want rather than how you manipulate the state to get it. The computer can generate provable correct code which does that for you.
Declarative programming by itself is fairly powerful. I think In future this is actually how you want the system to work. Just saying what you want rather than how you manipulate the state to get it. The computer can generate provable correct code which does that for you.