প্রশ্ন ট্যাগ «monad»

যে কোনও মোনাড হ'ল একটি আবেদনকারী ফান্টেক্টর এবং কোনও প্রয়োগকারী ফান্টেক্টর একটি ফান্টেক্টর। এছাড়াও, যে কোনও কমোনাদ হ'ল ফান্টেক্টর। কমোনাদ এবং ফান্টেক্টরগুলির মধ্যে কি একই রকম ধারণা রয়েছে, সহ-প্রয়োগকারী ফান্টারের মতো কিছু এবং এর বৈশিষ্ট্যগুলি কী কী? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & …

17 ct.category-theory  monad  applicative  comonad 

পটভূমি । আমি একজন ব্যাচেলর শিক্ষার্থী যিনি বিভাগের তত্ত্ব, মোনাডস এবং হাস্কেল সম্পর্কিত গবেষণায় আগ্রহী এবং আমি সে ক্ষেত্রে আমার ব্যাচেলর থিসিসের জন্য একটি বিষয় সন্ধান করতে চাই। আমি কাগজের দিকে তাকালাম ইউজিনিও মোগগি , " গণনা এবং মনডের ধারণা ", 1991, এবং আমি এখনও এর অনেক কিছুই বুঝতে পারি …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

ধারাবাহিকতা পাসিং ট্রান্সফর্ম (সিপিএস ট্রান্সফর্ম) স্মরণ করুন যা থেকে (যেখানে নির্দিষ্ট করা আছে) এবং থেকে defined দ্বারা সংজ্ঞায়িত বস্তুত আমরা আছে ধারাবাহিকতা একসংখ্যা ইউনিট সঙ্গে দ্বারা সংজ্ঞায়িত এবং গুণ defined by দ্বারা সংজ্ঞায়িত β একটি : = আর আর একটি আর চ : একজন → বি β চ : β …

13 functional-programming  monad  continuations  cps-transforms 

অনুসরণ করে একটি মোনাডের একটি উদাহরণ যা বিকল্প কিন্তু একটি মোনাডপ্লাস নয়? : ধরুন একটি monad। সম্পর্ক betweem কি কি একটি হচ্ছে বিকল্প , একটি MonadPlusCatch এবং MonadPlusDistr ? মিমিmmমিmmসম্ভাব্য ছয়টি জোড়ার প্রত্যেকটির জন্য আমার কাছে এমন একটি প্রমাণ থাকতে হবে যা একজনের দ্বারা অন্যকে বোঝায়, বা একটি পাল্টা উদাহরণ …

12 pl.programming-languages  functional-programming  haskell  monad  applicative