結果 : optimal implementation of functional programming languages