7
Який внесок обчислення лямбда в область теорії обчислення?
Я просто читаю на лямбдальному обчисленні, щоб "познайомитися з цим". Я розглядаю це як альтернативну форму обчислень на відміну від машини Тьюрінга. Це цікавий спосіб роботи з функціями / скороченнями (грубо кажучи). Деякі питання продовжують нудити на мене: У чому сенс обчислення лямбда? Навіщо проходити всі ці функції / скорочення? …