আমি টাইপ করার সময়
:t (-)এর ধরণটি বের করতে (-) , এটি ফিরে আসে
(-) :: Num a => a -> a -> aযাইহোক, যখন আমি -1হাসেল লিখি তখন একটি নম্বর প্রদান করে, যা মনে (-)হয় এটি টাইপ Num a => a -> a। (-)আপাতদৃষ্টিতে দুটি ভিন্ন ধরণের কীভাবে থাকতে পারে ?
উত্তর:
এটি ভাষাতে একটি নকশার সিদ্ধান্ত ছিল। -1একটি সংখ্যা, তবে এই প্রসঙ্গে এর ব্যবহারটি ফাংশনের সাথে সম্পর্কিত নয়(-) । (যেমন আকদারি তাদের উত্তরে উল্লেখ করেছেন, এই ব্যবহারটি ফাংশনের সাথে সম্পর্কিত negate)) এখানে বেশ কয়েকটি আপস রয়েছে যা এটিকে কাজ করতে দেয়:
আপনি (-)অপারেটরের একটি সঠিক স্লাইস নিতে পারবেন না । subtractকার্যকারণ হিসাবে, হাস্কেল ফাংশন সরবরাহ করে ।
অ্যাসাইনমেন্টের শুরুতে না হওয়া পর্যন্ত আপনি বন্ধনীগুলি ছাড়া নেতিবাচক পূর্ণসংখ্যার লিখতে পারবেন না (যেমন সরাসরি =বা পরে ->)। এটি একটি বিশ্লেষণ ত্রুটি উত্পাদন করে:
let x = 8 * -1পরিবর্তে, এটি হিসাবে লেখা উচিত
let x = 8 * (-1)তবে এটি ঠিক আছে:
let x = -1 * 8এগুলি ভাষার নকশাকারীদের কাছে যুক্তিসঙ্গত বাণিজ্য হিসাবে বিবেচিত হত।
ইউসারি মাইনাস হাস্কেলে বিশেষ। প্রতিবেদনের ৩.৪ অনুচ্ছেদে যেমন বলা হয়েছে :
বিশেষ ফর্মটি উপসর্গের প্রত্যাখ্যানকে বোঝায়, হাস্কেলের একমাত্র উপসর্গ অপারেটর এবং এর সিনট্যাক্স । বাইনারি অপারেটর অগত্যা প্রিলিউডের সংজ্ঞাটি বোঝায় না ; এটি মডিউল সিস্টেম দ্বারা রিবাউন্ড হতে পারে। যাইহোক, Unary সর্বদা উপস্থাপিত সংজ্ঞায়িত ফাংশন উল্লেখ করবে । অপারেটরের স্থানীয় অর্থ এবং অ্যানারি অবহেলার মধ্যে কোনও যোগসূত্র নেই ।
-enegate (e)---negate-