"ল্যাম্‌ডা ক্যালকুলাস" পাতাটির দুইটি সংশোধিত সংস্করণের মধ্যে পার্থক্য

রোবট পরিবর্তন সাধন করছে: he:תחשיב למדא; cosmetic changes
(রোবট যোগ করছে: ar:حسابات اللامدا)
(রোবট পরিবর্তন সাধন করছে: he:תחשיב למדא; cosmetic changes)
 
== কম্পিউটার প্রোগ্রামিং-এ ল্যাম্‌ডা ক্যালকুলাস ==
[[প্রোগ্রামিং ভাষা]] অনেক সময়ই ল্যাম্‌ডা ক্যালকুলাসের বিভিন্ন ধারণা দিয়ে প্রভাবিত হয়। প্রথম দিকের ভাষাগুলোর মধ্যে [[লিস্প]] এর গঠন ল্যাম্‌ডা ক্যালকুলাস প্রভাবিত। পরবর্তীতে [[স্কিম (প্রোগ্রামিং ভাষা)|স্কিম]] (লিস্প-এর আধুনিক একটি রূপ) এবং [[w:en:ML programming language|এমএল]]-পরিবারের ভাষাগুলো ল্যাম্‌ডা ক্যালকুলাস ও টাইপ থিওরীর সম্পর্ককে কাজে লাগায়।
 
[[পিটার ল্যানডিন]] প্রস্তাবিত বিখ্যাত কাল্পনিক প্রোগ্রামিং ভাষা [[w:en:ISWIM|ISWIM ("'''If''' you '''S'''ee '''W'''hat '''I''' '''M'''ean")]] এর মূল অনুপ্রেরণা ছিল ল্যাম্‌ডা ক্যালকুলাস আর টুরিং মেশিনের তাত্ত্বিক অভিন্নতা।
{{গণিত-অসম্পূর্ণ}}
 
[[Categoryবিষয়শ্রেণী:তাত্ত্বিক কম্পিউটার বিজ্ঞান]]
 
[[ar:حسابات اللامدا]]
[[es:Cálculo lambda]]
[[fr:Lambda-calcul]]
[[he:תחשיב למבדאלמדא]]
[[hr:Lambda račun]]
[[hu:Lambda-kalkulus]]
৭৩,৬২০টি

সম্পাদনা