ሁሉም ሞኖይድስ ናቸው?

2024 ደራሲ ደራሲ: Miles Stephen | [email protected]. ለመጨረሻ ጊዜ የተሻሻለው: 2023-12-15 23:33

በደንብ የተናገረ፣ ምናልባት በጣም አጭር የሆነው መልስ፡- ሀ ሞናድ ብቻ ሀ ሞኖይድ በ endfunctors ምድብ ውስጥ. ረክቻለሁ ሞኖይድ axioms (i. & ii.)፣ ሀ ሞናድ እንደ ሀ ሞኖይድ ሁለት የተፈጥሮ ለውጦች ጋር አንድ ላይ አንድ endfunctor ነው.

እዚህ፣ Monad Endofunctor ምንድን ነው?

በምድብ ንድፈ ሐሳብ፣ የሂሳብ ቅርንጫፍ፣ ሀ ሞናድ (እንዲሁም ሶስት እጥፍ፣ ባለሶስትዮድ፣ ደረጃውን የጠበቀ ግንባታ እና መሰረታዊ ግንባታ) ነው። endofunctor (አንድ ፈንክተር አንድን ምድብ ለራሱ ሲያዘጋጅ)፣ የተወሰኑ የመተሳሰሪያ ሁኔታዎችን ለማሟላት ከሚያስፈልጉ ሁለት የተፈጥሮ ለውጦች ጋር።

በመቀጠል፣ ጥያቄው Bifunctor ምንድን ነው? ሀ bifunctor (ሁለትዮሽ functor በመባልም ይታወቃል) ጎራው የምርት ምድብ የሆነ ፈንክተር ነው። በሁለት ክርክሮች ውስጥ እንደ ተዋናይ ሆኖ ሊታይ ይችላል. የሆም ፈንክተር የተፈጥሮ ምሳሌ ነው; በአንደኛው ክርክር ውስጥ ተቃራኒ ነው ፣ በሌላኛው ውስጥ ተመሳሳይ ነው። መልቲ ፈንክተር (multifunctor) የተግባር ፅንሰ-ሀሳብን ወደ n ተለዋዋጮች ማጠቃለል ነው።

ከዚያ ሞናድ በፕሮግራም ውስጥ ምንድነው?

ከዊኪፔዲያ፡ በተግባራዊ ፕሮግራም ማውጣት ፣ ሀ ሞናድ ስሌቶችን ለመወከል የሚያገለግል የአብስትራክት የውሂብ አይነት ነው (በጎራ ሞዴል ውስጥ ካለው ውሂብ ይልቅ)። ሞናድስ ፍቀድ ፕሮግራመር የቧንቧ መስመር ለመገንባት ድርጊቶችን አንድ ላይ ሰንሰለት ማድረግ, እያንዳንዱ ድርጊት በ ተጨማሪ የማቀናበሪያ ደንቦች ያጌጠ ነው ሞናድ.

Monad Haskell ምንድን ነው?

ውስጥ ሃስኬል ሀ ሞናድ እንደ ገንቢ ዓይነት (መ ይደውሉ)፣ የዚያ ዓይነት እሴቶችን የሚገነባ ተግባር (a -> ma)፣ እና የዚያ ዓይነት እሴቶችን ከኮምፒውተሬቶች ጋር በማጣመር አዲስ ስሌት ለማምረት የዚያ አይነት እሴቶች (ማ -> (a -> mb) -> mb)።