RBS / steep の型検査が弱くて辛い - Githubissues

buyoh / applauncher

launch executable in sandbox environment

MIT License

0 stars 0 forks source link

RBS / steep の型検査が弱くて辛い #7

Open buyoh opened 3 years ago

buyoh commented 3 years ago

ライブラリがいまいち使いづらく実用的なところまで持っていけないので、アップデートを待つ。

標準定義の不備。 Thread.start にブロックを渡せないなど。
ArrayやHashに含まれるnilを容易に除去出来ない。compactが使えない。
インライン型アノテーション@type var klass: Class等があるが、flowやtypescriptほど強力では無いので強制的に抑え込めない
struct のブロック渡し等クラス内スコープになったり自動定義されたりするメタプログラミングに対応出来ない

参考文献: https://narazaka.hatenablog.jp/entry/2020/12/26/Ruby_3.0%E3%81%AE%E9%9D%99%E7%9A%84%E5%9E%8B%E5%AE%9A%E7%BE%A9%E3%82%92TypeScript%E3%81%BF%E3%81%9F%E3%81%84%E3%81%AB%E3%83%A9%E3%82%A4%E3%83%96%E3%83%A9%E3%83%AA%E3%81%AB%E6%9B%B8%E3%81%84%E3%81%A6#%E6%A4%9C%E6%9F%BB%E6%99%82%E3%81%AE%E5%9E%8B%E3%82%A2%E3%83%8E%E3%83%86%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%81%8C%E8%B2%A7%E5%BC%B1%E3%81%A7%E3%81%A4%E3%82%89%E3%81%84%E3%81%9E

buyoh commented 3 years ago

RBSで使えるメタ関数があると良いかも。nilを外すメタ関数とか、関数の返り値を返すメタ関数とか。