আমি বুঝতে পারি যে ল্যাম্বডা-পেপারগুলি থেকে ধ্রুপদী মডেল পাইথনের জন্য বৈধ নয়।
এবং বন্ধগুলি পাইথন সিস্টেম বাস্তবায়নের গাণিতিক মডেল নয়।
তাহলে এটি কোন মডেল?
আমি বুঝতে পারি যে ল্যাম্বডা-পেপারগুলি থেকে ধ্রুপদী মডেল পাইথনের জন্য বৈধ নয়।
এবং বন্ধগুলি পাইথন সিস্টেম বাস্তবায়নের গাণিতিক মডেল নয়।
তাহলে এটি কোন মডেল?
উত্তর:
ল্যাম্বডা ক্যালকুলাসের ধ্রুপদী কাগজপত্র থেকে পাইথন এবং মডেলগুলির মধ্যে প্রধান পার্থক্য হ'ল পাইথন একটি বহুমাত্রিক ভাষা। লাম্বডা ক্যালকুলাস বিবেচনা করে এমন বেশিরভাগ কাগজপত্রগুলি অন্যান্য দৃষ্টান্তগুলি যুক্ত করার মতো জটিলতা ছাড়াই (যেমন ওওপি বা লজিক্যাল প্রোগ্রামিং) বিশুদ্ধ কার্যকরী ভাষা হিসাবে বিবেচনা করে।
প্রশ্ন এবং আপনার মন্তব্যগুলি থেকে, আমি এটি গ্রহণ করি যে আপনি এই জাতীয় বহুমাত্রিক ভাষার ভিত্তিতে আগ্রহী। সেক্ষেত্রে আমি পিটার ভ্যান রায় এবং সেফ হরিদি দ্বারা ধারণাগুলি, কৌশলগুলি এবং কম্পিউটার প্রোগ্রামিংয়ের মডেলগুলি অত্যন্ত প্রস্তাব দিতে পারি । বইটি মূলত মোজার্ট / ওজ ভাষা সম্পর্কে, যা নিজে থেকে একটি বরং একাডেমিক ভাষা। তবে বইটি খুব স্পষ্টভাবে দেখায় যে কীভাবে খুব ছোট মূল ভাষাটি দিয়ে শুরু করা যায় এবং এর উপরে (এবং সমস্ত একই মূল ভাষার ভিতরে) অবজেক্ট-ওরিয়েন্টেশন, ফাংশনাল এবং লজিক প্রোগ্রামিং তৈরি করা যায়।
প্রকৃত গাণিতিক মডেল হিসাবে, বেশিরভাগ প্রোগ্রামিং ভাষার শুধুমাত্র একটি অনানুষ্ঠানিক বা আধা-ফর্মাল স্পেসিফিকেশন থাকে। খুব কমই আপনি এমন একটি খুঁজে পেয়েছেন যা এর ভিত্তি হিসাবে ল্যাম্বডা ক্যালকুলাসের মতো একটি সঠিক তত্ত্ব আছে। বিভিন্ন গাণিতিক মডেল রয়েছে যা উদ্ভাবিত হয়েছে এবং আরও কম-বেশি প্রযোজ্য। মজার বিষয় হ'ল প্রোগ্রামিং শব্দার্থকগুলি কীভাবে মডেল করা হয় তার বিভিন্ন পদ্ধতির মধ্যে একটি সাধারণ পার্থক্য রয়েছে: শব্দার্থবিজ্ঞানগুলি বর্ণনামূলক, কর্মক্ষম বা বীজগণিতভাবে বর্ণনা করা যায়। আপনি যদি আরও গভীরতর দিকে যেতে চান, তবে প্রোগ্রামিংয়ের ইউনিফাইড থিওরিগুলি সম্পর্কে কিছুটা পড়া শুরু করা, খাড়া শেখার বক্ররেখার সাথে শক্ত হলেও one