冗長な ejje.weblio.jp stackoverflow.com ここだけでは理由がちょっとよくわからなかったけど、仕様書を読むと、 First, the value of such a parameter can be extracted as a field of a constructor pattern. Second, a val prefix is implicitly added …