From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.help Subject: Re: Check for redundancy Date: Wed, 24 Jun 2015 14:21:03 -0400 Organization: A noiseless patient Spider Message-ID: References: <558A7875.4050905@easy-emacs.de> <24a1b328-82a8-44ff-8f8d-1425ab89ab67@default> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1435170326 19304 80.91.229.3 (24 Jun 2015 18:25:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 24 Jun 2015 18:25:26 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Jun 24 20:25:25 2015 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Z7pMS-0007fi-0O for geh-help-gnu-emacs@m.gmane.org; Wed, 24 Jun 2015 20:25:24 +0200 Original-Received: from localhost ([::1]:52374 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z7pMR-0002jz-7a for geh-help-gnu-emacs@m.gmane.org; Wed, 24 Jun 2015 14:25:23 -0400 Original-Path: usenet.stanford.edu!news.kjsl.com!us.feeder.erje.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail Original-Newsgroups: gnu.emacs.help Original-Lines: 18 Injection-Info: mx02.eternal-september.org; posting-host="dcedd9c6966f9f4f1f31ce18e50f42c3"; logging-data="7837"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19N5FDaWc3DY7EcsCGtzJEA" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) Cancel-Lock: sha1:LhYJOdtI6/qzCWGbqG+bOj8bb9E= sha1:SxG8uBQDI3R2tzUa9dFd9efCJbU= Original-Xref: usenet.stanford.edu gnu.emacs.help:212843 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:105128 Archived-At: > 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