Fwd: [Haskell-cafe] Data.Tree.Zipper in the standard libraries

[Johan Tibell]

On Wed, Jun 4, 2008 at 10:21 PM, Ian Lynagh <igloo at earth.li> wrote:
> On Wed, Jun 04, 2008 at 10:14:59AM -0700, Iavor Diatchki wrote:
>> - what makes code "proven"
>>   Again, not sure how to define this.  The code for Zipper has QC
>> tests that cover it 100%, according to HPC.
>
> The question is more "is it the best interface" than "is the code
> correct".

We really need something like the Python community's Python
Enhancement Proposals (PEPs) [1] where different design trade-offs,
corner cases, performance, etc. can be discussed before something is
accepted into core libraries. It think that process has work very well
and is probably one of the reasons why Python have such nice (and
consistent!) standard libraries.

1. http://www.python.org/dev/peps/

-- Johan