Once you understand how to write a program get someone else to write it.

Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.

Is it possible that software is not like anything else, that it is meant to be discarded: that the whole point is to see it as a soap bubble?

– Alan Pervis

https://petevilter.me/post/datalog-typechecking/