প্রকার এবং প্রকারের মধ্যে পার্থক্য

Question

এটি একটি খুব সাধারণ প্রশ্ন হতে পারে।

তবে প্রকার ও প্রকারের মধ্যে পার্থক্য কী?

আমার বর্তমান উপলব্ধিটি হ'ল আপনার কাছে টাইপ বিধি সহ একটি টাইপ তত্ত্ব রয়েছে যা একটি ভাল-টাইপযুক্ত স্টেটমেন্টের ধারণা দেয় তবে বিভিন্ন ধরণের প্রতীকগুলিতে চিহ্নকে আলাদা করে ফাংশন অ্যাপ্লিকেশন সম্পর্কিত প্রাথমিক বিধি প্রবর্তন ইত্যাদি ধরণের আরও মৌলিক are

সম্ভবত কিছুটা পার্থক্য রয়েছে, সম্ভবত তারা বিভিন্ন ক্ষেত্র থেকে এসেছে। তবে আমি তাদের সম্পর্কের সুস্পষ্ট বর্ণনা খুঁজে পাচ্ছি না।

Comments

পদগুলির অর্থ প্রসঙ্গে নির্ভর করে। আপনি যে ধরণের ধরন এবং ধরণের সম্পর্কে জিজ্ঞাসা করছেন তার উদাহরণ দিতে পারেন?:

— জেরেমি

এবং তারপর প্রকারভেদ আছে। এবং ক্লাস।

— lukstafi

@ জেরেমি উত্তরগুলি আমাকে সম্পর্কের আরও স্পষ্ট চিত্র দিয়েছে। আমার কোন উদাহরণ নেই যেখানে আমি নির্দিষ্ট পরিস্থিতিতে কী ঘটছে তা সম্পর্কে অস্পষ্ট ছিলাম তবে ভাবছিলাম যে কোনও নির্দিষ্ট শব্দটি বাছাইয়ের কোনও গুরুত্ব আছে কিনা। ধন্যবাদ।

— সেলাইগ

"কিন্ড"-তে উইকিপিডিয়া এন্ট্রি অনুসারে , একটি kindহ'ল টাইপ কনস্ট্রাক্টরের ধরণ বা কম সাধারণত উচ্চতর অর্ডার টাইপ অপারেটরের ধরণ।

— ডেভিড টনহোফার

Answer 1

আমি পার্থক্যটি যেভাবে বুঝতে পারি তা হ'ল দুটি ধারণাটি কিছুটা আলাদা জোর দেওয়ার জন্য ব্যবহৃত হয়, তবে শেষ পর্যন্ত এগুলি একই ধরণের of যেহেতু উভয়েরই কোনও আনুষ্ঠানিক সংজ্ঞা নেই আমরা প্রথমে "টাইপ" এবং "বাছাই" এর নির্দিষ্ট বোঝার মধ্যে সুযোগকে সীমাবদ্ধ না করে সঠিক উত্তর আশা করতে পারি না।

"বাছাই" ব্যবহার করা হয় যখন আমরা বলতে চাই যে বিভিন্ন ধরণের, ভাল, বিভিন্ন ধরণের জিনিস রয়েছে যা আমাদের আলাদা করতে হবে। উদাহরণ একটি ধরণের "পয়েন্ট" এবং "লাইন" সহ জ্যামিতির একটি তত্ত্ব হবে।

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

এটি অন্তত আমি কীভাবে পার্থক্যটি অনুভব করেছি, অন্য লোকের বিভিন্ন অভিজ্ঞতা থাকতে পারে।

Answer 2

আন্ড্রেজ যেমন বলেছেন, কোনও শব্দই পুরোপুরি আনুষ্ঠানিক নয় এবং মোটামুটি একই ধরণের জিনিসগুলির বিষয়ে কথা বলুন, সুতরাং প্রকৃতপক্ষে কোনও স্পষ্ট বিভাজক রেখা নেই।

নিজের জন্য, আমি "সাজান" শব্দটি মডেল তত্ত্ব থেকে আগত বলে মনে করি (যেমন বহু-সাজানো প্রথম-ক্রমের যুক্তি হিসাবে), এবং তাই আমি সেটগুলির একটি সেট-তাত্ত্বিক ব্যাখ্যার পরামর্শ দেওয়ার জন্য "সাজান" শব্দটি ব্যবহার করি এবং অধিবাসীরা। ধারণাটি হ'ল যদি একটি শব্দ হয় এবং একটি সাজান থাকে তবে এরকম ব্যাখ্যা রয়েছে যে বোঝায় ।σ t : σ $t$$\sigma$$t : \sigma$$[\![t]\!] \in [\![\sigma]\!]$

"টাইপ" শব্দটি ব্যবহার করার সময় আমি এই পরামর্শটি দেই না। প্রচুর ধরণের তত্ত্ব রয়েছে যার সাধারণ সেট-তাত্ত্বিক ব্যাখ্যা নেই, এবং তাদের মধ্যে অনেকগুলি প্রোগ্রামিংয়ের সাথে অত্যন্ত প্রাসঙ্গিক। সুতরাং যদি একটি প্রকাশ হয় এবং একটি প্রকার হয়, তবে রায় তাও অগত্যা কোনও সদস্যপদ-স্টাইল পড়ার পরামর্শ দেয় না।τ e : $e$$\tau$$e : \tau$

Comments

কেবল স্পষ্ট করে বলার জন্য: বন্ধনী টি এবং সিগমা মানে "ব্যাখ্যা"? কোন ক্ষেত্রে "বোঝানো" আরও ভাল "মানে"?

— ডেভিড টোনহোফার

আমার অর্থ "যদি আপনার কাছে টি এর একটি বিকাশ থাকে , যা বোঝায় যে এর ব্যাখ্যা " এর ব্যাখ্যার একটি উপাদান । t $t : \sigma$$t$$\sigma$

— নীল কৃষ্ণস্বামী