|
Sep. 18th, 2011|06:33 pm |
|
> Хотя непонятно, я думала, что черточка
> имеет смысл "любое выражение на этом месте".
Да, она означает именно это. Любое выражение на месте переменной с чёрточкой в списке аргументов слева будет подставлено в формулу справа вместо этой же переменной без чёрточки. В ламбда-исчислении этот же смысл имеет буква лямбда перед списком переменных.
А вообще Стивену Вольфраму за язык "математика" полный незачёт. Такое впечатление, что последние 20 лет исследований в области функционлаьного программирования прошли мимо него. |
|