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

বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে
Mjbmrbot (আলোচনা | অবদান)
r2.7.1) (রোবট পরিবর্তন করছে: vi:Phép tính lambda
BellayetBot (আলোচনা | অবদান)
৪৪ নং লাইন:
 
== কম্পিউটার প্রোগ্রামিং-এ ল্যাম্‌ডা ক্যালকুলাস ==
[[প্রোগ্রামিং ভাষা]] অনেক সময়ই ল্যাম্‌ডা ক্যালকুলাসের বিভিন্ন ধারণা দিয়ে প্রভাবিত হয়। প্রথম দিকের ভাষাগুলোর মধ্যে [[লিস্প]] এর গঠন ল্যাম্‌ডা ক্যালকুলাস প্রভাবিত। পরবর্তীতেপরবর্তীকালে [[স্কিম (প্রোগ্রামিং ভাষা)|স্কিম]] (লিস্প-এর আধুনিক একটি রূপ) এবং [[w:en:ML programming language|এমএল]]-পরিবারের ভাষাগুলো ল্যাম্‌ডা ক্যালকুলাস ও টাইপ থিওরীর সম্পর্ককে কাজে লাগায়।
 
[[পিটার ল্যানডিন]] প্রস্তাবিত বিখ্যাত কাল্পনিক প্রোগ্রামিং ভাষা [[w:en:ISWIM|ISWIM ("'''If''' you '''S'''ee '''W'''hat '''I''' '''M'''ean")]] এর মূল অনুপ্রেরণা ছিল ল্যাম্‌ডা ক্যালকুলাস আর টুরিং মেশিনের তাত্ত্বিক অভিন্নতা।