Непонятые лямбда-выражения

@Radmir2015 · Регистрация: 16.04.2015

Студворк — интернет-сервис помощи студентам

Всем привет, начал разбираться в лямбдах, вроде простые лямбды хорошо понятны:

Pascal
1
var hypot: (real, real) -> real := (x, y) -> sqrt(x * x + y * y);

но более сложные не получаются, исправьте меня, пожалуйста:

Pascal
1
2
3
4
var lamRes: (real -> real; real) -> real := (l, x) -> l(x); // так
var lamRes: (l: real -> real; x: real) -> real := x -> l(x); // или так
print(lamRes(x -> sqrt(x), 4)); // по идее должно быть 2
print(lamRes(sqrt, 4)); // или так

Еще вот:

Pascal
1
2
var k: (f: (b: real; n: real) -> real) -> real := f(b, n) // либо := (f, b, n) -> f(b, n);
write(k((5, 4) -> power)); // хотелось бы, чтобы работало на, примерно, таком коде

Смысл в том, чтобы предать по лямбде функцию (напр., power) и отдельно ее параметры, и получить результат.

@volvo · 22.09.2016, 01:59

По аналогии с тем, как это делается в Шарпе, могу предложить записать первый фрагмент кода вот так:

Pascal
1
2
3
var lamRes: func2<real -> real, real, real> := (l, x) -> l(x);
 
print(lamRes.invoke(x -> sqrt(x), 4)); // оно-таки выводит 2, проверял в WDE (онлайн-компиляторе)

Второй можно записать так:

Pascal
1
2
var k: func3<real, real, (real, real) -> real, real> := (b, n, f) -> f(b, n);
write(k.invoke(5, 4, power));

@Radmir2015 · 22.09.2016, 14:56 **[ТС]**

volvo, почему запуск только через invoke, стандартно нельзя?
А без func это нереализуемо?
Спасибо за ответ.

@volvo · 22.09.2016, 15:52

Сообщение от Radmir2015

А без func это нереализуемо?

Реализуемо. Вот так:

Pascal
1
2
3
4
5
6
7
type 
  fn = real -> real;
 
begin
  var lm : (fn, real) -> real := (f, x) -> f(x);
  print(lm(sqrt, 4));
end.

@Radmir2015 · 22.09.2016, 17:34 **[ТС]**

volvo, а то, что мы получаем SEMANTICERROR_ONE_TKIDENTIFIER, если напишем без type - это косяк разработчиков?

@volvo · 22.09.2016, 18:28

Похоже на то

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

@Radmir2015 6 / 6 / 9 Регистрация: 16.04.2015 Сообщений: 121
	22.09.2016, 14:56 [ТС]
	volvo, почему запуск только через invoke, стандартно нельзя? А без func это нереализуемо? Спасибо за ответ. 0

@Radmir2015 6 / 6 / 9 Регистрация: 16.04.2015 Сообщений: 121
	22.09.2016, 17:34 [ТС]
	volvo, а то, что мы получаем SEMANTICERROR_ONE_TKIDENTIFIER, если напишем без type - это косяк разработчиков? 0

@volvo Супер-модератор 33399 / 21509 / 8236 Регистрация: 22.10.2011 Сообщений: 36,907 Записей в блоге: 12
	22.09.2016, 18:28
	Похоже на то 0

Непонятые лямбда-выражения

Решение