Rust से मोनाड की अवधारणा सीखना
(techblog.samsung.com)नमस्ते, functional programming की एक प्रमुख अवधारणा "मोनाड" को अपेक्षाकृत आसान तरीके से समझाने वाला यह लेख साझा कर रहे हैं.
यह Rust भाषा पर आधारित छोटे-छोटे उदाहरणों के जरिए चरणबद्ध तरीके से समझने के लिए तैयार किया गया है.
7 टिप्पणियां
अच्छे लेख के लिए धन्यवाद
कंपनी में Rust इस्तेमाल करना वाकई ईर्ष्या करने लायक है।
अच्छा होगा अगर कोड को इमेज की जगह टेक्स्ट में दिखाया जाए।
सहमत हूँ
अच्छा लेख है! हालांकि, endo functor से जुड़ी व्याख्या में एक त्रुटि है, इसलिए अच्छा होगा अगर उसे सुधार दिया जाए https://x.com/simnalamburt/status/1950074970647761168?s=46
बिलकुल सही बात है!
लगता है कि दूसरी भाषाओं में लिखी गई सामग्री को Rust के संदर्भ में लागू करने की प्रक्रिया में गलतफहमी हुई थी।
चूंकि Rust का type system एक single category बनाता है, इसलिए endofunctor और सामान्य functor के बीच का अंतर शायद अर्थहीन हो जाता है।
अफसोस है कि ब्लॉग में comment की सुविधा नहीं है, लेकिन मुझे पूछना पड़ेगा कि क्या इसमें संशोधन का अनुरोध किया जा सकता है।
हर चीज़ endofunctor नहीं होती।
Result<T, E>की तरह जिनमें कई type parameter होते हैं, वे 𝒞 → 𝒞 नहीं होते, बल्किResult : 𝒞 × 𝒞 → 𝒞होते हैं, इसलिए ऐसे मामले BiFunctor होते हैं।