Встраивание Haskell: компиляторы и компиляция компиляторов

1) Потому и решил опубликовать этот перевод, что тема интересная. 2) Что касается качества перевода, то, конечно, не мне судить. Скажу только, что часть выражений автора мне самому остались не понятны. Например: "Игнорирование расплывчатой природы термина «декларативный» довольно напрямую связано с декларативным характером программ на Haskell." Но в 99% объёма текста лично мне всё понятно. Возможно причина непонятности текста ещё и в том, что тема широкому кругу читателя не знакома, а пост вырван из контекста блога.