しまもん 

モンスター・ラボ島根開発拠点のブログ

RBSとSteepとPicoRubyのちょっといい話

はすみきん ・2021-05-27

弊グループのエンジニアリングブログに記事を書きました。

 

Static type checking in PicoRuby / Monstarlab's Engineering Blog

 

ここには結論だけ書いておきますので、気になる方は本文をお読みください。

結論ッ!!

  • RBSは、Rubyプログラムの型に関する情報を記述するための独立した言語です
  • Steepは、RBS形式で書かれた情報を元に、Rubyプログラムを静的に型チェックします
  • CRubyの文法自体が、静的型チェックをサポートしているわけではありません
  • それ故、他のRuby言語実装もRBSとSteepをそのまま利用できます。そう、PicoRubyもね!
  • 静的型チェックの便利さは、ファームウェアプログラミングで際立つのであります。デバイスに書き込む前につまらないミスを見つけたいから!

helix

| 採用情報

城下町・松江で一旗揚げたいRailsエンジニア絶賛募集中!

Blue