Re: Constraints on definition of `length` should be strengthened

[ Hit the wrong button... :-P ] 2017-04-03 22:48 GMT+02:00 Sven Panne :

[...] Again, this mathematically correct, but more often than not the main intent of using a tuple- [...]

Again, this is mathematically correct, but more often than not, the main intent of using a tuple is not a curried function but a heterogeneous container with no special bias at all.