[ruby-core:108904] [Ruby master Feature#18749] Strangeness of endless inclusive ranges

Issue #18749 has been updated by sawa (Tsuyoshi Sawada).


@mame san, thanks for letting me know about the discussion.

It looks to me that the discussion you quoted was directed toward letting `1..` be an alias of `1...`, just like https://bugs.ruby-lang.org/issues/18749#note-1 suggests, all the way up to shugo's comment "I agree with you". And then, it suddenly ended with your comment "Let [us] keep the current behavior as is until there is a use case," which is a different approach.

However, since you claim so, I do not oppose your decision to close this issue.

Regarding `(0...).include?(Float::INFINITY)`, from a mathematical standpoint, ∞ (counterpart to `Float::INFINITY`) is not a real number whereas [0, ∞) (counterpart to `0...`) is a subset of real numbers, so I think it should return `false`.

----------------------------------------
Feature #18749: Strangeness of endless inclusive ranges
https://bugs.ruby-lang.org/issues/18749#change-97988

* Author: sawa (Tsuyoshi Sawada)
* Status: Rejected
* Priority: Normal
----------------------------------------
I came to think about this while looking at the pull request linked in #18748.

Currently, an endless inclusive range covers the corresponding endless exclusive range, but not vice versa:

```ruby
("a"..nil).cover?("a"...nil) #=> true
("a"...nil).cover?("a"..nil) #=> false

(nil..nil).cover?(nil...nil) #=> true
(nil...nil).cover?(nil..nil) #=> false
```

This looks strange to me. There is not a single element covered by an endless inclusive range that is not covered by the corresponding endless exclusive range. This should mean that there is no difference in coverage between an endless inclusive range and the corresponding endless exclusive range.

However, actually, an interval in mathematics (which I think is the counterpart to Ruby's range) ending in ∞ (which I think is the counterpart to an endless range) is always an open interval (which I think is the counterpart to an exclusive range), and never a closed interval (which I think is the counterpart to an inclusive range).

[a, ∞) is correct.
[a, ∞] is wrong.

From analogy, ideally, endless inclusive ranges should be prohibited in the first place. But that would cause new issues: There is no inclusive-exclusive distinction on the begin side of a range, and that is actually always assumed to be inclusive. Since we have beginless (inclusive) ranges, prohibiting endless inclusive ranges would cause asymmetry.

So what I can think of are the following possibilities (ordered from conservative to radical):

A. Endless inclusive ranges are allowed as is. An endless inclusive range and the corresponding endless exclusive range cover each other.
B. Endless inclusive ranges are disallowed. Beginless (inclusive) ranges are allowed as is.
C. New syntax is introduced in order to describe ranges that are exclusive on the begin side. Inclusive-exclusive distinction can be described on both begin and end sides independently. Endless inclusive ranges and beginless inclusive ranges are disallowed.



-- 
https://bugs.ruby-lang.org/

Unsubscribe: <mailto:[e-mail]?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-core>