Fwd: [Haskell-cafe] Data.Tree.Zipper in the standard libraries
dons at galois.com
Thu Jun 5 16:08:09 EDT 2008
> 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)  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.
More information about the Libraries