[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Check for redundancy
From: |
Óscar Fuentes |
Subject: |
Re: Check for redundancy |
Date: |
Thu, 25 Jun 2015 04:53:28 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
Emanuel Berg <embe8573@student.uu.se> writes:
> Óscar Fuentes <ofv@wanadoo.es> writes:
>
>> A pretty easy (and safe) way is to define redundancy
>> as "functional equivalence" (which is what the OP
>> mean, I think) and then compare the
>> generated bytecode.
>
> Have ten programmers solve the same problem, then
> compile - do you now have ten instances of identical
> bytecode? I don't think so.
See all those tiny helper functions defined in every package. They do
the same and I guess that they are implemented the same way. An
informative note from the byte compiler saying that
foo-remove-string-prefix has an equivalent available on the current
version of Emacs would be appreaciated.
Solving the general problem is much harder, obviously, but I think that
the OP knows that.
- Re: Check for redundancy, (continued)
- Re: Check for redundancy, Emanuel Berg, 2015/06/27
- Re: Check for redundancy, tomas, 2015/06/28
- Re: Check for redundancy, Emanuel Berg, 2015/06/28
- Re: Check for redundancy, Yuri Khan, 2015/06/28
- Re: Check for redundancy, Emanuel Berg, 2015/06/28
- Re: Check for redundancy, Robert Thorpe, 2015/06/28
- Re: Check for redundancy, Emanuel Berg, 2015/06/28
- Re: Check for redundancy, Emanuel Berg, 2015/06/24
- Re: Check for redundancy, Óscar Fuentes, 2015/06/24
- Re: Check for redundancy, Emanuel Berg, 2015/06/24
- Re: Check for redundancy,
Óscar Fuentes <=
- Re: Check for redundancy, Emanuel Berg, 2015/06/24
- Message not available
- Re: Check for redundancy, Stefan Nobis, 2015/06/25
- Re: Check for redundancy, Andreas Röhler, 2015/06/25
- Re: Check for redundancy, Emanuel Berg, 2015/06/26
- Re: Check for redundancy, Emanuel Berg, 2015/06/26
- Message not available
- Re: Check for redundancy, Stefan Nobis, 2015/06/27
- Re: Check for redundancy, Emanuel Berg, 2015/06/27
- Re: Check for redundancy, Emanuel Berg, 2015/06/27