-2

Анонимные делегаты в Java 8 не являются лямбда-выражениями, т. к. в последних не может быть переменных изменяющих свои значения. Так каким боком тут слово лямбда? Причем здесь лямбда-исчисление? С таким же успехом определение функции можно было бы назвать (неверно) лямбда выражением.

Если я заблуждаюсь, скажите в чем? Не следует ли перестать употреблять слово сочетания "лямбда функция" потому, что это:
1) не лямбда
2) не функция
?

Upd2: Я убрал свое предложение. До добавлю уточнение. Насколько псевдо-лямбда-выражения соответствуют лямбде в настоящих функциональных языках?

15
  • 4
    по upd: кому вы предлагаете? не думаю, что здесь есть кто то, кто может внести изменения в спецификации Java, а остальные могут называть, как считают нужным, правда иногда рискуют быть не понятыми другими
    – pavlofff
    15 апр 2019 в 2:13
  • 1
    Выражение x = x + 1 не имеет смысла с точки зрения математики. Предложите отменить/переименовать всю терминологию программирования? А словосочетание переменная константа мозги не клинит (у меня - да)? 15 апр 2019 в 2:19
  • 2
    Зачем же так. И в математике x = x + 1 имеет смысл. Это уравнение, не имеющее решения. В программировании это крайне неудачная форма записи оператора присваивания. Не просто так Вирт столько бранных слов о нем сказал. Более удачная версия записи x := x + 1. "Переменная константа" - бессмысленное выражение, в топку его.
    – user308670
    15 апр 2019 в 3:34
  • 8
    @Eugene: Да, терминология не очень чистая. Но она устоялась. Вон в ФП используют слово «монада» тоже не по делу. Пусть будет как есть, к ней уже привыкли.
    – VladD
    15 апр 2019 в 9:13
  • 5
    Данный вопрос следует закрыть, потому что Stack Overflow - неподходящая площадка для распространения своего мнения, даже в форме вопросов. 15 апр 2019 в 12:09

2 ответа 2

5

Так сложилось, что в императивном программировании функцией называют подпрограмму (иногда - подпрограмму которая возвращает какое-то значение), без дополнительных требований к побочным эффектам. А оператор присваивания записывается тем же символом, который используется математиками для отношения равенства. Программирование - не математика, и тут термины могут иметь совсем другое значение. Чтобы привести все названия во всех языках к "правильным" формулировкам, понадобится слишком много усилий, которые в итоге всё равно пропадут впустую.

Можно считать, что используемые в программировании определения в некотором смысле расширяют математические: математические функции всё ещё можно представлять в виде функций в понимании языков программирования, а непосредственно после оператора присваивания выражения оказываются равны с точки зрения математики.

Точно так же и с лямбдами - понятие, пришедшее из лямбда-исчисления, обобщили, и теперь оно означает сокращённо записанную функцию с замкнутыми внешними переменными, опционально в форме AST. Бессмысленно писать гневные комментарии - теперь в программировании у терминов "лямбда-функция" и "лямбда-выражение" именно такое значение.

3
  • Каковы основания для утверждения о том, что в "программировании вообще"? Насколько я понял, к т.н. лямбда функциям в Java нет никаких дополнительных требований на переменные, с ними можно делать все то же, что вы обычных функциях. Поэтому в Java т.н. лямбда-функции не удовлетворяют даже тому определению, которое вы написали. Разве в псеводо-лямбда функциях в Java нельзя менять переменные?
    – user308670
    16 апр 2019 в 15:52
  • @Eugene а где вы в определении увидели дополнительные требования? 16 апр 2019 в 18:00
  • @Eugene неа, нельзя. Да и вообще, использовать внешние изменяемые переменные. Называется замыкание. 17 апр 2019 в 4:55
4

т. к. в последних не может быть переменных изменяющих свои значения

Откуда эта цитата? Суть лямбд в том, что у них нет имени и они не завязываются на конкретный идентификатор.

Вообще, можно у Фаулера почитать статью старенькую на этот счёт, которая актуальность всё ещё не потеряла:

Essentially a lambda is a block of code that can be passed as an argument to a function call

1
  • Комментарии не предназначены для расширенной дискуссии; разговор перемещён в чат.
    – Nofate
    15 апр 2019 в 20:05

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.