"ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ്" എന്ന താളിന്റെ പതിപ്പുകൾ തമ്മിലുള്ള വ്യത്യാസം

പ്രവർത്തനങ്ങളെ വിശദീകരിക്കുന്നതിനും അവയുടെ മൂല്യനിർണ്ണയത്തിനും ഉള്ള ഒരു സൈദ്ധാന്തിക ചട്ടക്കൂടാണ് ലാംബഡ കാൽക്കുലസ്. ഒരു പ്രോഗ്രാമിങ് ഭാഷയേക്കാൾ ഉപരി ഒരു ഗണിതപരമായ അമൂർത്തമാണ്(abstraction) ഇത്-എന്നാൽ നിലവിലുള്ള എല്ലാ പ്രവർത്തന പ്രോഗ്രാമിങ് ഭാഷകളുടെയും അടിസ്ഥാനം ഇതാണ്. സമാനമായ സൈദ്ധാന്തികമായ രൂപീകരണവും, സംയോജിത യുക്തിയും, ലാംഡ കാൽകുലസിനെ അപേക്ഷിച്ച് കൂടുതൽ അമൂർത്തമാണ്. സങ്കലനശാസ്ത്ര യുക്തിയും ലാംഡ കാൽകുലസും ആദ്യം ഗണിതത്തിന്റെ അടിത്തറകൾക്ക് ഒരു വ്യക്തമായ സമീപനം നേടിക്കൊടുത്തു. <ref>{{cite book|author1=Haskell Brooks Curry|author2=Robert Feys|title=Combinatory Logic|url=https://books.google.com/books?id=fEnuAAAAMAAJ|accessdate=10 February 2013|year=1958|publisher=North-Holland Publishing Company}}</ref>

 

 

==അവലംബം==