Co je to Lambda Kalkul?

Lambda Kalkul je systém považovaný za matematický základ pro programovací jazyk. Vyvinuli ho Alonzo Church a Stephen Kleene v roce 1930 ve snaze formalizovat pojem vyčíslitelnosti. Jazykově se zabývá aplikací funkcí na svou argumentaci (funkce je sada pravidel) a vyjadřuje jakýkoli subjekt, ať už jako proměnnou, používání jedné funkce do druhé, nebo jako lambda abstrakce.

Lambda kalkul, a úzce související teorie kombinátorů a typy systémů, jsou důležitými základy ve studiu matematiky, logiky a počítačových programovacích jazyků.