Steep、RBSはいかにしてRubyに静的な型検査を持ち込むか(松本宗太郎さん寄稿文) - Findy Engineer Lab https://findy-code.io/engineer-lab/soutaro
"...上のRubyプログラムを実行しても型エラーは発生しませんが、これを正しく型検査できるツールは(ほとんど)ありません。..."
??????><実行される可能性がない行であろうが、型が正しくないコードは型が正しくないコードじゃん?><
思考の /dev/null