[#100309] How to use backport custom field — Jun Aruga <jaruga@...>
Please allow my ignorance.
9 messages
2020/10/06
[#100310] Re: How to use backport custom field
— "NARUSE, Yui" <naruse@...>
2020/10/06
IkJhY2twb3J0IGN1c3RvbSBmaWVsZCIgaXMgb25seSBhdmFpbGFibGUgZm9yIHRpY2tldHMgd2hv
[#100311] Re: How to use backport custom field
— Jun Aruga <jaruga@...>
2020/10/06
On Tue, Oct 6, 2020 at 4:44 PM NARUSE, Yui <[email protected]> wrote:
[#100314] Re: How to use backport custom field
— "NARUSE, Yui" <naruse@...>
2020/10/06
VGhhbmsgeW91IGZvciBjb25maXJtYXRpb24uCkkgY2hlY2tlZCBhZ2FpbiBhbmQgdG8gZWRpdCBi
[#100322] Re: How to use backport custom field
— Jun Aruga <jaruga@...>
2020/10/07
On Tue, Oct 6, 2020 at 7:25 PM NARUSE, Yui <[email protected]> wrote:
[#100326] Re: How to use backport custom field
— "NARUSE, Yui" <naruse@...>
2020/10/07
SSBhZGRlZCB5b3UgdG8gIlJlcG9ydGVyIiByb2xlIGluIHRoZSBwcm9qZWN0CgoyMDIw5bm0MTDm
[#100327] Re: How to use backport custom field
— Jun Aruga <jaruga@...>
2020/10/07
On Wed, Oct 7, 2020 at 1:42 PM NARUSE, Yui <[email protected]> wrote:
[ruby-core:100562] [Ruby master Feature#17265] Add `Bool` module
From:
matz@...
Date:
2020-10-26 07:55:15 UTC
List:
ruby-core #100562
Issue #17265 has been updated by matz (Yukihiro Matsumoto).
Status changed from Open to Feedback
RBS side is up to @soutaro etc. I am still against Ruby side. @marcandre st=
ated about communication with other typed systems / data interchange as a b=
enefit, but we are not going to make Ruby (type-wise) compatible with stati=
cally typed languages. So its benefit is still unclear.
Matz.
----------------------------------------
Feature #17265: Add `Bool` module
https://bugs.ruby-lang.org/issues/17265#change-88192
* Author: marcandre (Marc-Andre Lafortune)
* Status: Feedback
* Priority: Normal
* Assignee: matz (Yukihiro Matsumoto)
----------------------------------------
1-line Summary: `rbs` would benefit from the existence of common ancestor `=
Bool` for `TrueClass` and `FalseClass`.
Detail:
Matz: I am aware you rejected a similar request, but could we revisit this =
in light of RBS?
One use case was for an easy way to check for `true` or `false` values, ins=
tead of simply for truthiness (e.g. for data transfer, strict argument chec=
king, testing, etc.)
I believe there's a new use case: `RBS`
In `RBS`, the most used types like `String` and `Integer` have types for "s=
tring-like" and "integer-like" objects: `string` and `integer` (all lowerca=
se).
For example the signature for `Integer#>>` is:
```
def >>: (int) -> Integer
```
It accepts an `Integer` *or an object responding to `to_int`* (summarized b=
y `int`) and returns an `Integer` (and never another class of object respon=
ding to `to_int` or not).
There is a similar idea with boolean values, where a method may accept any =
object and will use it's truthiness, while returning `true | false`. For ex=
ample one of the interface for `Enumerable#all?` should look like:
```
def all?: () { (Elem) -> bool } -> true | false
```
The user supplied block can return any value, and its truthiness (anything =
else than `nil` or `false`) will be used to determine the result of `all?`.=
That result will be `true | false`, and no other value.
If RBS is to be popular, there will be *many* signatures for such predicate=
s (in builtin Ruby, stdlib, any gems, applications, etc.). I feel the best =
option would be `Bool`, if this would be reflected in Ruby itself.
Proposal: a new global module called `Bool`, without any method of constant=
, included in `TrueClass` and `FalseClass`.
Following reasons for rejection were given at the time:
> many gems and libraries had already introduced Boolean class. I don't wan=
t to break them.
I looked and found the [`bool` gem](https://rubygems.org/gems/bool) that de=
fines a `Bool` module. My proposal is compatible. In any case, this gem loo=
ks abandoned, the author Aslak Helles=F8y doesn't have the code on github, =
the gem has had 7000 downloads in the past 6 years and [has no public rever=
se dependency](https://rubygems.org/gems/bool/reverse_dependencies). It als=
o fails to install on my machine.
I am not aware of incompatibilities.
> `true` and `false` are the only representative of true-false values. In =
Ruby. `nil` and `false` are falsy values, and everything else is a true val=
ue. There's no meaning for having a superclass of `TrueClass` and `FalseCla=
ss` as `Boolean`.
The proposal is exactly to be able to easily write about this duality of `B=
ool` as having only `true` and `false` as members, and every Ruby object as=
being implicitly convertible as being truthy or falsy (`bool` in RBS).
Discussion in RBS:
* https://github.com/ruby/rbs/issues/133
Previous feature requests for `Boolean`:
* https://bugs.ruby-lang.org/issues/14224
* https://bugs.ruby-lang.org/issues/12515
-- =
https://bugs.ruby-lang.org/
Unsubscribe: <mailto:[email protected]?subject=3Dunsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-core>