>> У перла синтаксис Си-подобный, как известно.
>> Может быть у вас какие-то нестандартные понимания страшности?

Вы случаем не забыли, как вообще выглядит синтаксис Си, может всё-таки посмотрите пример helloword на си и на перле, чтобы начать различать эти два языка ?
У меня, впрочем как и у всех людей вполне стандартные понимания того, как должен выглядеть синтаксис языка, на котором в последующем кто-то должен будет писать и судя по целевой аудитории OCaml, нестандартными взглядами обладают как раз те, кто на нем пишут свои программы. Лично мне было бы затруднительно на нем что-либо писать и тем более читать
>> А вы посмотрите на досуге что там получается у того же банального gcc с -O3 и прочими -msse3 на выходе.

Я стараюсь не использовать флаг -O3, так как он напрочь вычеркивает некоторые внутренние оптимизации в самой программе, считая их лишними
>> Результат - он и в декларативных языках останется тем же, хотя порядок вычислений там вообще не определяется явно.

Всё верно, каждый компилятор по-своему вычисляет порядок действий инструкций и по-своему описывает алгоритм их использования