Ламбда Цалцулус

Аутор: Monica Porter
Датум Стварања: 18 Март 2021
Ажурирати Датум: 27 Јуни 2024
Anonim
Lambda Calculus - Computerphile
Видео: Lambda Calculus - Computerphile

Садржај

Дефиниција - Шта значи Ламбда рачуница?

Ламбда рачуница је врста формалног система из математичке логике који се у рачунарској науци користи за дефинисање функција, примену и рекурзију.

Функционално рачунарско програмирање настало је из ове врсте израчуна, а заузврат делује као модел за развој софтвера пружајући једноставну семантику за рачунање функцијама. За разлику од императивних функција, које могу променити статус програма јер немају референтну транспарентност, функционално програмирање не мења статус програма.


Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.

Техопедија објашњава Ламбда калкулус

Ламбда израчунавање чини да нити кодова језика резултирају у потпуно истим вредностима, без обзира на време или машину на којој је нит покренута. То није случај са императивним програмирањем функција, које обично има непредвидиве програмске одговоре.

Функционално програмирање може се реализовати на било којем програмском језику, чак и оном који није дизајниран са заданим функционалним програмским структурама.