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

johan.tibell:

On Wed, Jun 4, 2008 at 10:21 PM, Ian Lynagh 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.

I'd be happy to have anything that helps the process run smoothly. The current approach of mail conversations makes it difficult to determine the result, if there are any objections, I've noticed. -- Don