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