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

 
== কম্পিউটার প্রোগ্রামিং-এ ল্যাম্‌ডা ক্যালকুলাস ==
[[প্রোগ্রামিং ভাষা]] অনেক সময়ই ল্যাম্‌ডা ক্যালকুলাসের বিভিন্ন ধারণা দিয়ে প্রভাবিত হয়। প্রথম দিকের ভাষাগুলোর মধ্যে [[w:en:LISP|LISPলিস্প]] এর গঠন ল্যাম্‌ডা ক্যালকুলাস প্রভাবিত। পরবর্তীতে [[w:en:Scheme programming language|Schemeস্কিম]] (LISP লিস্প-এর আধুনিক একটি রূপ) এবং [[w:en:ML programming language|MLএমএল]]-পরিবারের ভাষাগুলো ল্যাম্‌ডা ক্যালকুলাস ও টাইপ থিওরীর সম্পর্ককে কাজে লাগায়।
 
[[পিটার ল্যানডিন]] প্রস্তাবিত বিখ্যাত কাল্পনিক প্রোগ্রামিং ভাষা [[w:en:ISWIM|ISWIM ("'''If''' you '''S'''ee '''W'''hat '''I''' '''M'''ean")]] এর মূল অনুপ্রেরণা ছিল ল্যাম্‌ডা ক্যালকুলাস আর টুরিং মেশিনের তাত্ত্বিক অভিন্নতা।
৩৮,৮৬২টি

সম্পাদনা