Кстати, чат. А вот реально нам пораскинуть мозгами и написать какую-нибудь менее занудную и более практичную спецификацию IR, чем LLVM. Организовать какой-нибудь pep-процесс? Может быть 2 или 3 IR таргета? Чтобы не было так мучительно больно из-за LLVM? Имею в виду, что раз нет универсального IR записать спеки двух-трёх видов с максимальным перекрытием, чтобы авторы бэкендов выбирали наиболее удобный себе.