ruby-core@ruby-lang.org archive (unofficial mirror)
 help / color / mirror / Atom feed
* [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments
@ 2021-04-01  0:10 mame
  2021-04-01  0:21 ` [ruby-core:103136] " ko1
                   ` (8 more replies)
  0 siblings, 9 replies; 10+ messages in thread
From: mame @ 2021-04-01  0:10 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been reported by mame (Yusuke Endoh).

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103136] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
@ 2021-04-01  0:21 ` ko1
  2021-04-01  0:53 ` [ruby-core:103137] " zn
                   ` (7 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: ko1 @ 2021-04-01  0:21 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by ko1 (Koichi Sasada).


super convenient!!1

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91208

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103137] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
  2021-04-01  0:21 ` [ruby-core:103136] " ko1
@ 2021-04-01  0:53 ` zn
  2021-04-01  1:11 ` [ruby-core:103138] " muraken
                   ` (6 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: zn @ 2021-04-01  0:53 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by znz (Kazuhiro NISHIYAMA).


I think this syntax is not `irb` friendly.

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91209

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103138] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
  2021-04-01  0:21 ` [ruby-core:103136] " ko1
  2021-04-01  0:53 ` [ruby-core:103137] " zn
@ 2021-04-01  1:11 ` muraken
  2021-04-01  1:13 ` [ruby-core:103139] " marcandre-ruby-core
                   ` (5 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: muraken @ 2021-04-01  1:11 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by mrkn (Kenta Murata).


Is this intentional?

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var1
       ^^^var2

p var1
p var2
$ ./miniruby test.rb
test.rb:3: syntax error, unexpected '^', expecting end-of-input
       ^^^var2
```

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91210

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103139] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
                   ` (2 preceding siblings ...)
  2021-04-01  1:11 ` [ruby-core:103138] " muraken
@ 2021-04-01  1:13 ` marcandre-ruby-core
  2021-04-01  1:23 ` [ruby-core:103141] " mame
                   ` (4 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: marcandre-ruby-core @ 2021-04-01  1:13 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by marcandre (Marc-Andre Lafortune).


I'd like a shorthand for cases where we don't really need a variable...

```ruby
while gets != nil
  p   ^^^^
end
```

(It took me a while to realize the date in Japan :-) )

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91211

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103141] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
                   ` (3 preceding siblings ...)
  2021-04-01  1:13 ` [ruby-core:103139] " marcandre-ruby-core
@ 2021-04-01  1:23 ` mame
  2021-04-01 12:55 ` [ruby-core:103149] " shevegen
                   ` (3 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: mame @ 2021-04-01  1:23 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by mame (Yusuke Endoh).


marcandre (Marc-Andre Lafortune) wrote in #note-4:
> (It took me a while to realize the date in Japan :-) )

I waited until 00:00 UTC 🕛👍

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91212

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103149] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
                   ` (4 preceding siblings ...)
  2021-04-01  1:23 ` [ruby-core:103141] " mame
@ 2021-04-01 12:55 ` shevegen
  2021-04-01 13:27 ` [ruby-core:103150] " daniel
                   ` (2 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: shevegen @ 2021-04-01 12:55 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by shevegen (Robert A. Heiler).


plot twist by **mame** similar to last year:

- It's actually not a joke. :)

plot twist by **matz** this year:

- He actually WILL approve joke suggestions this year.

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91222

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103150] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
                   ` (5 preceding siblings ...)
  2021-04-01 12:55 ` [ruby-core:103149] " shevegen
@ 2021-04-01 13:27 ` daniel
  2021-04-01 14:21 ` [ruby-core:103152] " nakilon
  2021-04-02 12:13 ` [ruby-core:103181] " mame
  8 siblings, 0 replies; 10+ messages in thread
From: daniel @ 2021-04-01 13:27 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by Dan0042 (Daniel DeLorme).


What an amazing, beautiful, and revolutionary idea!
But what about using an overbar (U+203E) instead of circumflex? It's not that hard to type and it brings extra clarity and visual pleasantness to the code, while eliminating any possibility of conflict with existing syntax.

```
p(2 * 3 * 7)  #=> 42
  ‾‾‾‾‾var

p var         #=> 6

puts("Hello" + "World")  #=> HelloWorld
     ‾‾‾‾‾‾‾x  ‾‾‾‾‾‾‾y
 
p x  #=> "Hello"
p y  #=> "World"
```


----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91223

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103152] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
                   ` (6 preceding siblings ...)
  2021-04-01 13:27 ` [ruby-core:103150] " daniel
@ 2021-04-01 14:21 ` nakilon
  2021-04-02 12:13 ` [ruby-core:103181] " mame
  8 siblings, 0 replies; 10+ messages in thread
From: nakilon @ 2021-04-01 14:21 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by Nakilon (Victor Maslov).


Bidirectional assignments should be implemented to make swapping values:

```
var1, var2 = var2, var1
```

much shorter:

```
var1
vv^^
var2
```

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91225

* Author: mame (Yusuke Endoh)
* Status: Open
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [ruby-core:103181] [Ruby master Feature#17768] Proposal: Downward assignments
  2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
                   ` (7 preceding siblings ...)
  2021-04-01 14:21 ` [ruby-core:103152] " nakilon
@ 2021-04-02 12:13 ` mame
  8 siblings, 0 replies; 10+ messages in thread
From: mame @ 2021-04-02 12:13 UTC (permalink / raw)
  To: ruby-core

Issue #17768 has been updated by mame (Yusuke Endoh).

Status changed from Open to Rejected

I think April 1st ended in the world. I hope you enjoyed it!

----------------------------------------
Feature #17768: Proposal: Downward assignments
https://bugs.ruby-lang.org/issues/17768#change-91256

* Author: mame (Yusuke Endoh)
* Status: Rejected
* Priority: Normal
----------------------------------------
Rightward assignments have been introduced since 3.0.
To be honest, I'm not a big fan of the syntax because it does not add a new dimension to Ruby.
Why don't we bring Ruby to the next dimension?


## Proposal

I propose "downward assignments".

```
p(2 * 3 * 7)  #=> 42
  ^^^^^var

p var         #=> 6
```

This new syntax intercepts the intermediate value of a subexpression.
In the above example, the subexpression `2 * 3` is captured to `var`.

You can capture multiple subexpressions in one line.

```
puts("Hello" + "World")  #=> HelloWorld
     ^^^^^^^x  ^^^^^^^y

p x  #=> "Hello"
p y  #=> "World"
```

This proposal solves some long-standing issues in Ruby.


## Use case 1

Everyone has written the following code.

```
while (line = gets) != nil
  p line
end
```

This code is not so bad, but there's something that has been on my mind: is it really good to put an assignment into a condition expression?
I'm afraid that it makes the loop condition unclear.

Unfortunately, it is difficult to keep the condition clear in Ruby.
If the assignment is removed from the condition, the code becomes even more unclear as follows.

```
while true
  line = gets
  break if line == nil
  p line
end
```



By using my proposal, you can make the condition crystal-clear.

```
while gets != nil
      ^^^^line
  p line
end
```


## Use case 2

Consider that we want to get from an array the last element that meets a condition.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| found = elem if elem.even? }

p found  #=> 4
```

As you know, this code does not work.
We need to add `found = nil` to declare the variable "found" in the outer scope.
But this is unarguably dirty.

My proposal allows to make the code very straightforward.

```
ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4
```


## Use case 3

When writing a constructor, we need to write each field name whopping three times.

```
class C
  def initialize(foo, bar)
    @foo = foo
    @bar = bar
  end
end
```

My proposal mitigates the problem to two times.

```
class C
  def initialize(foo,    bar)
                 ^^^@foo ^^^@bar
end
```


## Patch

A proof-of-concept is attached.

```
$ cat test.rb
p(2 * 3 * 7)
  ^^^^^var

p var


while gets != nil
      ^^^^line
  p line
end


ary = [1, 2, 3, 4, 5]

ary.each {|elem| elem if elem.even? }
                 ^^^^found

p found  #=> 4

$ echo -e "foo\nbar" | ./miniruby test.rb
42
6
"foo\n"
"bar\n"
4
```

Notes:

* The syntax allows only ASCII characters because ["East Asian width"](http://www.unicode.org/reports/tr11/) is a hell.
* My patch does not implement binding a method parameter (Use case 3).
* There are some known bugs. Look for them.


## Compatibility

A line that suddenly starts with `^` is invalid currently.
This is why I chose "downward" since upward assignments are incompatible.

```
      vvvv line
while gets
```

When the previous line continues, `^` is appropriately handled as an XOR binary operator.

```
x = 1

# The following is considered as: y = 2^x
y = 2\
    ^x

p x  #=> 1
p y  #=> 3
```

So, I think this proposal is 100% compatible.


## Discussion

I'm unsure how should we handle this.

```
p(2 * 3 * 7)
      ^^^^^var
```

---Files--------------------------------
2021-aprilfool.patch (9.07 KB)


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

^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2021-04-02 12:13 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-01  0:10 [ruby-core:103135] [Ruby master Feature#17768] Proposal: Downward assignments mame
2021-04-01  0:21 ` [ruby-core:103136] " ko1
2021-04-01  0:53 ` [ruby-core:103137] " zn
2021-04-01  1:11 ` [ruby-core:103138] " muraken
2021-04-01  1:13 ` [ruby-core:103139] " marcandre-ruby-core
2021-04-01  1:23 ` [ruby-core:103141] " mame
2021-04-01 12:55 ` [ruby-core:103149] " shevegen
2021-04-01 13:27 ` [ruby-core:103150] " daniel
2021-04-01 14:21 ` [ruby-core:103152] " nakilon
2021-04-02 12:13 ` [ruby-core:103181] " mame

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).