What do you assume when you see fromListN in a library?

Carter Schonwald carter.schonwald at gmail.com
Fri May 15 19:37:00 UTC 2020


validating would *prevent inconsistent data*.

it is precisely the issue that current semantics are *not* consistent
across that needs to be addressed!

On Thu, May 14, 2020 at 6:38 PM Joseph C. Sible <josephcsible at gmail.com>
wrote:

> On Thu, May 14, 2020 at 10:41 AM Carter Schonwald
> <carter.schonwald at gmail.com> wrote:
> > My inclination is we change the semantics of fromListN to be strictly
> validating with an error when the length is wrong. This is the most
> consistent and humane of options.
>
> I disagree that validating would be consistent. Look how common the
> phrases "the precondition is not checked" and "violation of this
> condition is not detected" are in the containers library and so many
> others on Hackage.
>
> Joseph C. Sible
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200515/8a5520e6/attachment.html>


More information about the Libraries mailing list