একটি কার্যকরী ভাষা এমন একটি বিভাগ হিসাবে দেখা যায় যেখানে এর বস্তুগুলি তাদের মধ্যে প্রকারভেদ এবং রূপগুলির মধ্যে ফাংশন।
প্রকারের ক্লাসগুলি এই মডেলটিতে কীভাবে মাপসই হয়?
আমি ধরে নিলাম আমাদের কেবল সেই বাস্তবায়নগুলি বিবেচনা করা উচিত যা বেশিরভাগ ধরণের শ্রেণীর সীমাবদ্ধতা পূরণ করে, তবে তা হাস্কেলের মধ্যে প্রকাশিত হয় না। উদাহরণস্বরূপ, আমাদের কেবল সেইগুলির বাস্তবায়নগুলি বিবেচনা করা উচিত Functorযার জন্য fmap id ≡ idএবং fmap f . fmap g ≡ fmap (f . g)।
বা টাইপ শ্রেণীর জন্য অন্য কোনও তাত্ত্বিক ভিত্তি রয়েছে (উদাহরণস্বরূপ টাইপড ল্যাম্বদা ক্যালকুলির উপর ভিত্তি করে)?
1
আপনি ঠিক কী মডেল চান তার বিষয়ে আপনি আরও স্পষ্ট হতে চাইতে পারেন। আপনি যদি এমন কিছু চান যা ওপেন ওয়ার্ল্ড অনুমান, উদাহরণস্বরূপ সমাধানের আচরণ, বিভিন্ন জিএইচসি এক্সটেনশনের মিথস্ক্রিয়া, এবং সি, কে আদর্শভাবে বর্ণিত সংস্করণের চেয়ে আরও জটিলভাবে বর্ণনা করতে পারে। একইভাবে, নোট করুন যে হাস্কের সাথে আলোচনা করার সময় প্রায়শই প্রায়শই উপেক্ষা করা হয়।
—
সিএ ম্যাকক্যান
প্রকারের ক্লাসগুলি স্বাক্ষর হিসাবে বিবেচনা করা যেতে পারে (সর্বজনীন বীজগণিত অর্থে)। একই স্বাক্ষর (একই ধরণের শ্রেণীর উপাদান) ভাগ করে নেওয়ার সমস্ত সত্তার সংগ্রহ বিভিন্ন ।
—
ডেভ ক্লার্ক
@ ডেভ ক্লার্ক: উচ্চতর ধরণের ক্ষেত্রে কীভাবে ধরণের শ্রেণি বর্ণনা করা যায় তা আমার কাছে তাত্ক্ষণিকভাবে স্পষ্ট নয় তবে আমি সর্বজনীন বীজগণিতের সাথে ভয়াবহভাবে পরিচিত নই এবং আপনার মনে যে চিঠিপত্রের কথা রয়েছে তা ভুল বোঝাবুঝি করছি ...
—
সিএ ম্যাকক্যান
@ ক্যাম্যাক্যান: আমি নিশ্চিত হতে পারি না যে চিঠিপত্রটি কতদূর যায়। এটি অবশ্যই একটি ভাল সূচনা পয়েন্ট মনে হয়েছিল।
—
ডেভ ক্লার্ক
@ ক্যামসিএকএন: আপনার বীজগণিত সংজ্ঞায়িত বেসের বিভাগটি কেবল পরিবর্তন করুন: সংখ্যার মতো মৌলিক ধরণের শ্রেণিগুলি হ্যাশেল প্রকারের (বা এইচএসসি বিভাগের বিষয়বস্তু) বিভাগের উপর স্বাক্ষর, প্রকারের নির্মাণকারীর ওপরে টাইপ শ্রেণিগুলি ফান্টেক্টারের বিভাগের তুলনায় বীজগণিত হাস্ক থেকে হাস্ক পর্যন্ত। নোট করুন যে সার্বজনীন বীজগণিত বিভাগ তত্ত্বের বীজগণিতের ধারণা দ্বারা সম্পূর্ণরূপে গ্রাহ্য হয়েছে। এছাড়াও: ডেভ: আপনার মন্তব্যটি একটি উত্তরে পরিণত করা উচিত।
—
কোডি