Ответсообщение недоступно
Мне кажется что в LLVM языках IR горадо ниже уровнем и меньше семантики знает, а потому должен гораздо больше работы выполнять в ходе кодогенерации и там это гораздо актуальнее. В Хаскеле же на моем опыте обычно раздувает стадию преобразования корки, а на ней очень много семантики остается и к этим стадиям преобразования легко подлезть через рулы, там много всего переписывается и стирается в первую очередь ради рантайм эврестик. Но я лишь догадки строю по тому как у меня несколько миллионов строк линзо-векторного кода компилируется под пол часа - явно там компилятор не о скорости своей работы думает. Рулы он вроде исполняет строго как ему сказали