Ruby3で導入される静的型チェッカーのしくみ まつもとゆきひろ氏がRubyKaigi 2019で語ったこと - Part1

2019年4月18日から20日にかけて、福岡国際会議場にて「RubyKaigi 2019」が開催されました。2006年から毎年開催され、今回で13回目を迎えるRubyKaigi。世界中からRubyコミッターを始めとした第一人者が集い、最新の情報や知見を共有します。基調講演「The Year of Concurrency」に登場したのは、Rubyの生みの親であるまつもとゆきひろ氏。Rubyのこれまでとこれからについて語りました。動画はこちら The Year of Concurrency まつもとゆきひろ 氏（以下、まつもと）：おはようございます。私は九州の生まれではないんですが、福岡県がRubyのことをたくさん支援してくれているので、だいたい2ヵ月に1回くらいこっちに来ています。なので、だいぶ福岡は近いイメージがあるんですけど。 今日は、Ruby3の話をしようと思ってやってきました。Rub

[megumin1]

Matz氏の型に対する認識はほんとうに間違いだらけで聞くに耐えない。「型をつけるのはDRYじゃない」とか型を単なるlint代わりにしかみていない証拠。モダンな型システムにおける型の役割をまったく知らないんでしょうね

[kwhrtsk]

OCamlくらい型推論してくれれば楽なんだけどなぁ。

[roirrawedoc]

型を表現するための情報だけが入ったファイルを用意するってやり方、悪くない気がする。あったら使うし無ければ使わない、人間にとっても一覧性が高くてクラス概観を理解する助けになりそう。

[ka-ka_xyz]

"ドライじゃないから"が「どんとりぴーとゆあせるふ(DRY)じゃないから」に変換されるまで時間がかかったというか、略称をカタカナ表記にしないでお願い...と思った。

[issyurn]

“ただ、人類はまだプログラムを書くだけで、正しいプログラムを作る方法を知らないので、仕方がないのでテストを書いているのが現状だと思います。”

[shimarisugi]

うーん…機械が生成したものを上書きするのは不安かなー。あと型付けのメリットってメソッドの引数や返り値がひと目で分かることのほうが大きい。

[koyhoge]

RubyKaigi 2019のまつもとさんの講演録。

[jsstudy]

「ハッカーと画家」で動的型付言語のメリットは開発が速い＆柔軟と挙げられてた。→RubyもLispと同じスタンスでOK？今さらRubyに型宣言を導入するなら別言語として提供すればいいかも。（型だけに）硬いDiamondとか？ｗ

[unyaa]

“ただ、人類はまだプログラムを書くだけで、正しいプログラムを作る方法を知らないので、仕方がないのでテストを書いているのが現状だと思います。”

[hisasuerror]

本当はテストを書きたくないんですよ。というのもドライじゃないですよね。ただ、人類はまだプログラムを書くだけで、正しいプログラムを作る方法を知らないので、仕方がないのでテストを書いているのが現状だと思い