প্রশ্ন ট্যাগ «lisp»

আমি সম্প্রতি একটি বন্ধুর সাথে আলোচনা করছিলাম (যিনি দৃ strongly়ভাবে টাইপ করা ভাষাগুলির পক্ষে) তিনি মন্তব্য করেছেন: ল্যাম্বদা ক্যালকুলাসের উদ্ভাবকরা সর্বদা এটি টাইপ করার ইচ্ছা করেছিলেন। এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । আসলে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল বোঝাবুঝি কমাতে তিনি সরল …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

[1] সালে মিচেল ওয়ান্ড প্রদর্শিত যে বিশুদ্ধ ল্যামডা ক্যালকুলাস করার fexprs যোগ প্রাসঙ্গিক সমানতা তত্ত্ব trivializes, যার অর্থ দুটি পদ বিষয়গতভাবে সমতুল্য iff তারা হয় -congruent। যখন সংশ্লিষ্ট কাজ অন্বেষণ, তিনি গেলেন "আমাদের ফলাফলের আলবার্ট মেয়ার এর একটি পুরোনো পর্যবেক্ষণ [2] যে প্রসারিত করে এবং রেন্ডার প্রাসঙ্গিক সমানতা তুচ্ছ"। তবে …

13 pl.programming-languages  lisp  scheme 

এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । প্রকৃতপক্ষে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল ধারণাটি কমাতে তিনি সরল টাইপড ল্যাম্বদা ক্যালকুলাস ব্যাখ্যা করেছিলেন explained এখন জন ম্যাকার্থি যখন লিস্প তৈরি করেছিলেন - তিনি এটি ল্যাম্বডা ক্যালকুলাসের উপর ভিত্তি করে তৈরি করেছিলেন । এটি তার …

13 lambda-calculus  term-rewriting-systems  lisp