Вспомним, машина Тьюринга оказала большое влияние на разработку компьютеров архитектуры фон Неймана.
Аналогично, λ-исчисление, сформулированное задолго до появления электронных компьютеров, оказало значительное влияние на эволюцию функциональных языков.