市場で入手可能なほとんどのWebフレームワークでは、多くの動的機能が可能です。
- セッション要素にアクセスし、型指定されていない、通常は文字列キーを使用してパラメータを要求します
- 文字列リテラル、つまり「post.html？id =％s」で他のページを参照します
- 文字列リテラル内にデータベースクエリを作成します
- ほとんどのWebフレームワークは、コントローラーアクションなどを見つけるためにリフレクションに大きく依存しています
このことの静的チェックをサポートするWebフレームワークはありますか？そして、なぜこれがまだどのフレームワークにも実装されていないのですか？
PS IMO、これは可能であるはずです。静的にチェック可能な（言語タイプシステムによる）方法でデスクトップGUIアプリケーションを作成しますが、Webアプリケーションで同じことができないのはなぜですか？