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