Здравствуйте, Кодт, Вы писали:

К>Ну вот хорошие макропроцессоры и развитые системы типов полны по Тьюрингу.
К>Это значит, что мы можем зависнуть не только при запуске программы, но и при её компиляции.
К>Не просто отожрать крендельон памяти, а честно зависнуть.

Кстати, чтобы зависнуть со свежей травой не нужны ни типы, ни даже рекурсия:
http://coliru.stacked-crooked.com/a/f680a18c0b73fc9f

constexpr auto foo()
{
    while(true);
    return true;
}

int main()
{
    constexpr auto x = foo();
}