হাস্কেলের একটি "জেনেরিক ফাংশন" এর ধারণা রয়েছে যা সাধারণ লিস্পের সাথে কিছুটা আপাত মিল রয়েছে - হাস্কেলের সাথে বা সাধারণ লিস্পের সাথে অভিজ্ঞতা না থাকায় আমি এখানে খুব কাছাকাছি হতে পারি। এর অর্থ হল যে কোনওরকম to_stringসমস্ত ধরণের স্ট্রিং প্রতিনিধিত্ব সংজ্ঞা দেওয়ার জন্য একটি জেনেরিক সুবিধাকে সংজ্ঞায়িত করতে পারে । অবশ্যই, সুবিধাটি বিশেষ ক্ষেত্রে সংজ্ঞায়িত করতে হয় তবে একটি to_stringফাংশন রয়েছে যার স্বাক্ষর α → string।
ওস ক্যামলে যেমন হ্যাসকেলে প্রকারগুলি মুছে ফেলা হয়? যদি হ্যাঁ, হাস্কেলের "জেনেরিক ফাংশনগুলি" বাস্তবায়ন কীভাবে সাধারণ লিস্পের থেকে পৃথক হয়, যেখানে প্রকারগুলি গতিশীল এবং এইভাবে মুছে ফেলা হয় না?
আমি বুঝতে পারি যে বাস্তবায়নের বিশদগুলি সংকলক নির্দিষ্ট, তবে সম্ভবত অনেক বা সমস্ত বাস্তবায়নের ক্ষেত্রে সাধারণ ব্যবস্থা রয়েছে।
a -> String। আপনার মতো ধরণের বাধা থাকতে পারেShow a => a -> String।