靜態檢查

Question

Web框架大多數市場上可用的Web框架允許大量的動態功能：

• 您訪問會話內容，並要求PARAMATERS與非類型化的，通常情況下，字符串鍵
• 您參考其他與字符串文字，即「post.html？ID =％的」
• 您創建的字符串文字
• 大多數Web框架在很大程度上依賴於反射來找到這樣的東西控制器操作的內部數據庫查詢等
頁

是否有任何Web框架支持靜態檢查這些東西？爲什麼這還沒有在任何框架中實現？

P.S.海事組織，這應該是可能的。我們以靜態檢查（通過語言類型系統）的方式創建桌面GUI應用程序，爲什麼我們不能在Web應用程序上做同樣的事情？

Answer 1

唯一現有的這種功能的框架是Yesod：http://www.yesodweb.com/ 它靜態地檢查幾乎所有東西。