気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
55 usersがブックマーク
7
いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab
55 users
findy-code.io
記事へのコメント7件
- 注目コメント
- 新着コメント
gomer-pyle
sorbet入れて段階的に使ってるけど、やはり便利よ。バグの事前潰しには役に立ってる。一方、型付コンパイル言語出身者には当たり前のことでも、型のない言語しか知らない人にとっては面倒みたい。
gomer-pyle
sorbet入れて段階的に使ってるけど、やはり便利よ。バグの事前潰しには役に立ってる。一方、型付コンパイル言語出身者には当たり前のことでも、型のない言語しか知らない人にとっては面倒みたい。
YassLab
"動的型付けによって得られる柔軟性から高い生産性を確保し、テストを充実させる ... 型検査がないことによる問題を克服 / プログラム開発の一つの成功パターンであるというのは、現時点で我々が共有できる結論の一つ"
aroechan
"今後の静的解析器の発展によって、型を書かない時代がいずれまた到来するから、Rubyプログラムに型を書けるようにはしない"緩いDHHみたいな思想/「型とはドキュメントである」というのも同意。Docs as Codeの精神そのもの
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab
Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出て... Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
2024/06/18 リンク