5 Jun
2008
5 Jun
'08
4:18 a.m.
On Wed, Jun 4, 2008 at 10:21 PM, Ian Lynagh
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