Написание компилятора на Haskell + LLVM

[Panzerschrek]

Не увидел в описании ничего про выделение памяти, сборку мусора. Про ленивые списки тоже ничего не сказано. Это всё реализовано, или ещё нет?

[VoidDruid]

Не реализовано. Статья ведь не про реализацию конкретного языка, а туториал по написанию крохотного компилятора для обучения. Сборка мусора, ленивость и т.д. это весьма продвинутые темы. Выделение памяти тут просто силами llvm "alloca".