啲方法傾向於允許良好嘅編譯器優化同埋比較容易噉擴展去大型系統，但係佢哋嘅靜態性質限制唨交互能力同埋輕鬆創建得嘅程序類型（譬如啲涉及循環或遞歸嘅）而且令到啲用戶好難去推敲（reason about）佢哋寫嘅程序。