From: "sawa (Tsuyoshi Sawada)" <noreply@...>
Date: 2022-03-12T07:59:25+00:00
Subject: [ruby-dev:51171] [Ruby master Feature#18626] 注釈付き代入演算子 ()= の提案

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


Related to #18603

----------------------------------------
Feature #18626: 注釈付き代入演算子 ()= の提案
https://bugs.ruby-lang.org/issues/18626#change-96802

* Author: takiuchi (Genki Takiuchi)
* Status: Open
* Priority: Normal
----------------------------------------
型制約を実現するために以下のような注釈付き代入演算子を提案します。

```
class Object
  def self.()= (what)
    what.is_a? self or raise TypeRestrictionError
  end
end

age (Fixnum) = 30

def add(a(Numeric), b(Numeric))
  a + b
end
add 1, "2" # raises TypeRestrictionError
```

左辺値の後に`(...)` が続いた場合に`()`内の値に対して`()=`演算子を呼び出します。
Rubyはメソッドの返り値が左辺値になることは無いので既存の文法とは衝突しないかなと。

以下のようなenum的な制約も便利だと思います。

```
class Array
  def ()= (what)
    self.include? what
  end
end

flag([1,2,3]) = 3
```

いかがでしょうか。



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