yusukeisizaki https://blog.hatena.ne.jp/yusukeisizaki/ yusukeisizaki’s diary https://yusukeisizaki.hatenablog.com/ Sorbetとは決済サービスで有名なStripeがRuby用C++製の型チェッカーである そもそもなぜRubyに型チェッカーが必要かというとRubyは動的型付け言語であるので実行前に型のチェックが出来ると便利である 動的静的型付けについて詳しく説明するとプログラムを実行前に型検査を行うのが静的な型付け、静的型付けであり、プログラムを実行しながら型検査を行うのが動的な型付け、動的型付けである、なので動的型付け言語に型チェッカーを使うと静的型付け言語のように実行前に型検査することが出来る 例えばRubyで puts "hello"+1 とすると文字列型と整数型で合体できないと怒られる なので pu… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyusukeisizaki.hatenablog.com%2Fentry%2F2019%2F07%2F24%2F205118" title="Ruby型チェッカーSorbetの話 - yusukeisizaki’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-07-24 20:51:18 rich https://yusukeisizaki.hatenablog.com/entry/2019/07/24/205118 1.0 100%