https://grin-compiler.github.io — бекэнд для компиляторов ленывых и энергичных функциональных языков программирования. Благодаря тому, что понимает семантику компилируемого языка, он может делать микрооптимизации, специфичные для этого конкретного языка (см. примеры: https://github.com/grin-compiler/grin#optimising-transformations). По-моему, выглядит достаточно многообещающе.