авторы обычно говорят, что куча тормозит

Ну SML/NJ и не летает, мягко говоря. Собственно одно из реальных достижений OCaml - демонстрация того, что ML может быть реализовано эффективно и без извратов в виде замкнутой системы.

Clean тем же ценен - был намного легче Haskell при том, что относится с ним примерно как OCaml с SML

мда. количество извращений, поддерживаемых gcc, не перестаёт умилять

Почему изврат? - они реализовали стандартную для этой конструкции функциональность. Причем полезную - longjmp "с человеческим лицом"