Browse thread
Map.fold behavior changed
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2006-02-24 (16:01) |
From: | Joaquin Cuenca Abela <e98cuenc@y...> |
Subject: | Re: [Caml-list] Map.fold behavior changed |
--- Damien Doligez <damien.doligez@inria.fr> wrote: > On Feb 24, 2006, at 14:29, EEK Cooper wrote: > > > Since the behavior was NOT unspecified, it was > reasonable to assume > > that the > > documentation suffered from a simple typo, and to > expect the > > behavior not to > > change. > > "It is documented to do something else, so we will > assume that it's > intended > to do what it does, instead of what the > documentation says." > > I don't think this is very reasonable. Expecting the documentation to be beyond flaws or making it right "by definition" also exposes you to problems when it just doesn't follow the intent of the writers. The fact that the documentation is written in english and not in a computer language doesn't make it any less vulnerable to bugs. If the implementation and documentation diverge, and both behaviours are equally logic, sound, consistent, etc. the fact that changing the documentation doesn't create any regression problems should easily tip the balance against any change in the implementation. Regards, Joaquin Cuenca Abela e98cuenc at yahoo dot com __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com