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

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 wrote:

On Thu, May 14, 2020 at 10:41 AM Carter Schonwald 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