いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab
Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu
脳に収まるコードの書き方を読んだ。面白かった。 - Mitsuyuki.Shiiba
いただきましたー！わーい。脳に収めるぞー！ @haradakiro @ryuzee pic.twitter.com/3Qd6EvPioU— SHIIBA Mitsuyuki (@bufferings) June 13, 2024 明日（2024年6月18日）発売！ www.oreilly.co.jp どう書くのがいいんだろうなぁ？ 複雑なコードと向き合うときは「あー、これはメモを取りながら読まないと迷子になるやつだ」ってなる。最初はわりとキレイに作られていたとしても、機能追加を重ねていくとだんだん読めなくなっていく。 だから「時間が経っても読みやすいコードってどう書くのがいいんだろうなぁ？何かヒントがあるかなぁ？」って思いながらこの本を開いた。先に書いておくと、ヒントはあった。 アウトサイドインのTDD 全然予想してなかったから、おー！と思ったのが、説明をTDDで進めていくってところ。好き
おいしいワインをただ飲む日 | オモコロブロス！
4本もある！ 買ったね〜！！ やったー！！ イオンリカーとカルディで買えるワインから選んできました！ 4本買って税込5,600円くらいです それは……安いの……！？ ワインの値段って全然わからんかも！！ ワインとしてはかなりお手頃かも！？ 左から ・マラベル スプマンテ マルヴァジア オレンジ ペットナット （イオンリカー） ・アンリ・エーラール エデルツヴィッカー（カルディ） ・クラウス・カイザー ピノ・ノワール ナーエ（カルディ） ・レッドウッド シャルドネ（カルディ） 適当につまめるものも買ってきたので、今日はそれを食べながらワイン4種を飲み比べていただくだけの記事ですね やばくない！？ めっちゃいい日じゃん！！！！ でもこの量を2人で飲むのは大変かも……？ 確かに。ちょっと社内のお酒好きそうな人に声かけてみますね ～1分後～ ワイン飲めるって本当ですか？！ ARuFaさんに来てもら
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
