История изменений

Ну и еще, она важна в «недоязычках которые не умеют циклы», как уже упомянули в этом треде, и вообще в них является единственным способом эффективной итерации. Остальное надстройки.

Если серьезно, то языки в которые не добавили циклы по умолчанию часто основаны на лямбда исчислении, достаточно мощной абстракции. Лямбда исчисление не сильно нужно непосредственно в программировании, но оно достаточно минимально чтобы математики могли исследовать свойства любых алгоритмов рассматривая только малую часть самых низкоуровневых операций, тоесть только то что в лямбда исчислении. То же самое что исследовать свойства алгоритмов на базе машины Тьюринга, потому что доказанное будет справедливо для всех ЯП. Но машина Тьюринга уже слишком миниатюрна, потому неудобно.

Ну и еще, она важна в «недоязычках которые не умеют циклы», как уже упомянули в этом треде, и вообще в них является единственным способом эффективной итерации. Остальное надстройки.

Если серьезно, то языки в которые не добавили циклы по умолчанию часто основаны на лямбда исчислении, достаточно мощной абстракции. Лямбда исчисление не сильно нужно непосредственно в программировании, но оно достаточно минимально чтобы математики могли исследовать свойства любых алгоритмов рассматривая только малую часть самых нискоуровневых операций, тоесть только то что в лямбда исчислении. То же самое что исследовать свойства алгоритмов на базе машины тьюринга, потому что доказанное будет справедливо для всех ЯП. Но машина Тьюринга уже слишком миниатюрна, потому неудобно.

Ну и еще, она важна в «недоязычках которые не умеют циклы», как уже упомянули в этом треде, и вообще в них является единственным способом эффективной итерации. Остальное надстройки.

Если серьезно, то языки в которые не добавили циклы по умолчанию основаны на лямбда исчислении, достаточно мощной абстракции. Лямбда исчисление не сильно нужно непосредственно в программировании, но оно достаточно минимально чтобы математики могли исследовать свойства любых алгоритмов рассматривая только малую часть самых нискоуровневых операций, тоесть только то что в лямбда исчислении. То же самое что исследовать свойства алгоритмов на базе машины тьюринга, потому что доказанное будет справедливо для всех ЯП. Но машина Тьюринга уже слишком миниатюрна, потому неудобно.