Помните чувака, который тут в комментах распинался, что он чисто свои знания хочет углубить?
Короче оказалось, что он тупо берет мои ответы и прогоняет через чатгпт. Я ещё вчера ему сказал, что чувствуется какой-то подвох, потому что прям придирается к словам.

Вообще, это ещё раз подтверждает моё мнение о мурчатах, своей головой они думать не хотят, им чисто копипаст в чатгпт и все.

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

В целом чатгпт прикольная штука. А мурчата предсказуемы

P.s. и да, оказалось что описанную задачу можно решить с помощью простого типизированного лямбда исчисления, а простой лямбдой нет