Re: Check for redundancy

[Stefan Monnier <monnier@iro.umontreal.ca>]

> The term is not specific to programming: expressing things which have been
> expressed already.

Obviously, Drew knows that.  The issue is that if you want to check for
redundancy in code, it's presumably by doing it with another piece of
code.  That other piece of code will have to encode formally what you
mean by redundancy, so to be able to write it, you'll need to describe
formally what you mean by redundancy.  And that's pretty damn hard for
the usual interesting cases of redundancy.

Of course, you could also use machine-learning to define "redundancy" by
way of a set of examples used to train your machine-learning code.
Not sure how well it would work, nor how to make it work well.




        Stefan