পাইথনের ক্লাসের গাণিতিক মডেল কী?


10

আমি বুঝতে পারি যে ল্যাম্বডা-পেপারগুলি থেকে ধ্রুপদী মডেল পাইথনের জন্য বৈধ নয়।

এবং বন্ধগুলি পাইথন সিস্টেম বাস্তবায়নের গাণিতিক মডেল নয়।

তাহলে এটি কোন মডেল?


আমি যদি মডেলটি জানি, আমি ভেবেছিলাম যে আমি একটি বিশদ বই (লিসপসের জন্য sicp এর মতো) খুঁজে পেতে পারি, যা স্ক্র্যাচ থেকে সিস্টেম তৈরির প্রক্রিয়াটি বর্ণনা করবে।
alinsoar

4
সম্পর্কিত: stackoverflow.com/q/2469824 । আমি আপনার দ্বিতীয় প্রশ্নটি আপনার পোস্টের প্রধান অংশ থেকে সরিয়েছি (স্ক্র্যাচ থেকে পাইথন সিস্টেমটি কীভাবে তৈরি করবেন), কারণ এটি এখানে অনস্বীকার্য। আপনি যদি সত্যিকারের কার্যক্ষম প্রোগ্রামিং ভাষার বিকাশ করতে চান তা জানতে, আপনার পার্সার, লেক্সার এবং সংকলকগুলির মতো বিষয়গুলি অনুসন্ধান করা উচিত।
রবার্ট হার্ভে

ধন্যবাদ! দ্বিতীয় প্রশ্নটি প্রথমটির সমান! যদি আমি মডেলটি জানি, আমি এমন একটি ডক সন্ধান করতে পারি যা এটি ব্যবহারিকভাবে বর্ণনা করে, যাতে সিস্টেমের কার্নেলটি কীভাবে তৈরি করা যায় তা দেখায়!
alinsoar

দুর্দান্ত প্রশ্ন !!! :)
ম্যাক্সুড

উত্তর:


7

ল্যাম্বডা ক্যালকুলাসের ধ্রুপদী কাগজপত্র থেকে পাইথন এবং মডেলগুলির মধ্যে প্রধান পার্থক্য হ'ল পাইথন একটি বহুমাত্রিক ভাষা। লাম্বডা ক্যালকুলাস বিবেচনা করে এমন বেশিরভাগ কাগজপত্রগুলি অন্যান্য দৃষ্টান্তগুলি যুক্ত করার মতো জটিলতা ছাড়াই (যেমন ওওপি বা লজিক্যাল প্রোগ্রামিং) বিশুদ্ধ কার্যকরী ভাষা হিসাবে বিবেচনা করে।

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

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

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.