Morte: an intermediate language for super-optimizing functional programs

Morte: an intermediate language for super-optimizing functional programs The Haskell language provides the following guarantee (with caveats): if two programs are equal according to equational reasoning then they will behave the same. On the other hand, Haskell does not guarantee that equal programs will generate identical performance. Consequently, Haskell library writers must employ rewrite rule

[ruicc]

うおー最適化層の中間言語か！rewrite ruleバリバリ使っている人なら自然な動機なのだろうな。Boehm-Berarducci encodingしてrecursionをnon-recursionな表現に変換(!!)して、beta-reduceとeta-reduceをしまくるだけで最適化されるという...?