自分で検証したわけでもなくLLMに検証させたわけでもない主張を投げるのは、是非は別として、静的型つけ言語を使っているのにコンパイルが通るかも試してないコードをぶん投げることと同じです＞＜
静的型検査は、すべてのエラーを見つけられるわけではなく、それ自体にバグがないことは保証せず、そして人間でも無いですが、型検査しないよりは大幅にマシです＞＜