ভিডিও: সব মোনাড কি মনোয়েড?
2024 লেখক: Miles Stephen | [email protected]. সর্বশেষ পরিবর্তিত: 2023-12-15 23:34
একটি ভাল বলা, সম্ভবত সংক্ষিপ্ততম উত্তর হল: A মোনাড শুধু একটি মনোয়েড endofunctors শ্রেণীতে. সন্তুষ্ট মনোয়েড স্বতঃসিদ্ধ (i. & ii.), a মোনাড a হিসাবে দেখা যায় মনোয়েড যা দুটি প্রাকৃতিক রূপান্তরের সাথে একত্রে একটি এন্ডফাংশন।
এখানে, একটি Monad Endofunctor কি?
বিভাগ তত্ত্বে, গণিতের একটি শাখা, ক মোনাড (এছাড়াও ট্রিপল, ট্রায়াড, স্ট্যান্ডার্ড নির্মাণ এবং মৌলিক নির্মাণ) হল একটি endofunctor (একটি ফাংশন একটি বিভাগকে নিজের সাথে ম্যাপিং করে), নির্দিষ্ট সুসংগত শর্ত পূরণের জন্য প্রয়োজনীয় দুটি প্রাকৃতিক রূপান্তর সহ।
পরবর্তীকালে, প্রশ্ন হল, একটি Bifunctor কি? ক দ্বিখণ্ডক (একটি বাইনারি ফাংশন হিসাবেও পরিচিত) একটি ফাংশন যার ডোমেন একটি পণ্য বিভাগ। এটি দুটি যুক্তিতে একটি ফাংশন হিসাবে দেখা যেতে পারে। হোম ফাংশন একটি প্রাকৃতিক উদাহরণ; এটি একটি যুক্তিতে বিরোধী, অন্যটিতে সমবায়ী। একটি multifunctor হল n ভেরিয়েবলে ফাংশন ধারণার একটি সাধারণীকরণ।
তাহলে, প্রোগ্রামিং এ মোনাড কি?
উইকিপিডিয়া থেকে: কার্যকরী প্রোগ্রামিং , ক মোনাড গণনার প্রতিনিধিত্ব করতে ব্যবহৃত এক ধরনের বিমূর্ত ডেটা টাইপ (ডোমেন মডেলের ডেটার পরিবর্তে)। Monads অনুমতি দিন প্রোগ্রামার একটি পাইপলাইন নির্মাণের জন্য একত্রে ক্রিয়াগুলিকে চেইন করতে, যেখানে প্রতিটি ক্রিয়াকে অতিরিক্ত প্রক্রিয়াকরণ নিয়ম দ্বারা সজ্জিত করা হয় মোনাড.
একটি Monad Haskell কি?
ভিতরে হাসকেল ক মোনাড একটি টাইপ কনস্ট্রাক্টর হিসাবে উপস্থাপিত হয় (এটিকে m বলুন), একটি ফাংশন যা সেই ধরণের মান তৈরি করে (a -> ma), এবং একটি ফাংশন যা সেই ধরণের মানগুলিকে কম্পিউটেশনের সাথে একত্রিত করে যা একটি নতুন গণনা তৈরি করতে সেই ধরণের মান তৈরি করে এই ধরনের মান (ma -> (a -> mb) -> mb)।