матэматычна

Семантыка

аперацыйная семантыка

Семантыка абазначэння

Філасофія

канструктыўная логіка

класічная логіка

празрыстая спасылка

Сварка

Вікіпедыя

Выбар матэматычнага вызначэння бессэнсоўны

Programmer.SE

... выраз [функцыянальнае праграмаванне] - гэта проста запамінальны лозунг, які сцвярджае, што лямбда-абстракцыі як вылічальная прымітыка не з'яўляюцца універсальнымі толькі ў фармальным сэнсе (мець магчымасць кадзіраваць кожную праграму нейкім чынам, напрыклад, грувастка гэта можа быць). але, на практыцы, універсальны, што любая канструкцыя на іншых мовах, нават тыя, якія былі фірмовыя з нуля, можа быць рэалізавана на мове, заснаванай на лямбда, спосабам, эфектыўным і натуральным у выкарыстанні.

занадта шмат

занадта мала

сацыяльнае меркаванне

Я ведаю, калі гэта бачу