It's not always possible, or at least trivial. For example how do you enforce "prefer to reuse existing code over making a copy"? Is there a static analysis tool that will detect two pieces of code that do the same thing?

Yes it’s possible:

https://github.com/elixir-vibe/ex_dna