Rachunek Lambda

Autor: Monica Porter
Data Utworzenia: 18 Marsz 2021
Data Aktualizacji: 1 Lipiec 2024
Anonim
What is Lambda Calculus? (ft. Church Encodings)
Wideo: What is Lambda Calculus? (ft. Church Encodings)

Zawartość

Definicja - Co oznacza Rachunek Lambda?

Rachunek lambda jest rodzajem systemu formalnego opartego na logice matematycznej stosowanym w informatyce do definiowania funkcji, zastosowania i rekurencji.

Funkcjonalne programowanie komputerowe powstało z tego rodzaju rachunku różniczkowego i działa z kolei jako model rozwoju oprogramowania, zapewniając prostą semantykę do obliczeń z funkcjami. W odróżnieniu od funkcji imperatywnych, które mogą zmieniać status programu, ponieważ nie mają przejrzystości odniesienia, programowanie funkcjonalne nie zmienia statusu programu.


Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.

Techopedia wyjaśnia rachunek Lambda

Rachunek Lambda sprawia, że ​​wątki kodu języka dają dokładnie takie same wartości, niezależnie od czasu lub maszyny, na której wątek kodu został uruchomiony. Nie dzieje się tak w przypadku programowania funkcji imperatywnej, która zwykle ma nieprzewidywalne reakcje programu.

Programowanie funkcjonalne może być realizowane w dowolnym języku programowania, nawet tym, który nie został zaprojektowany z domyślnymi funkcjonalnymi strukturami programowania.