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