λ-исчисление сводится к машине Тьюринга. Из этого следует что можно создать компилятор для функционального языка,
А сводится ли машина Тьюринга к λ-исчислению?
Иными словами любой ли алгоритм на императивном языке можно переписать на функциональный язык?
Отвечайте на это сообщение, только если у Вас хорошее настроение и в Вашем ответе планируются только конструктивные вопросы и замечания http://rsdn.ru/Info/rules.xml