Rust로 배우는 모나드의 개념
(techblog.samsung.com)안녕하세요, 함수형 프로그래밍의 주요 개념인 "모나드"를 비교적 쉽게 설명하는 글을 공유합니다.
Rust언어에 기반한 작은 예제들을 기반으로 차근차근 이해하실 수 있게 구성되어 있습니다.
좋은 글이군요! 다만 엔도뻥터 관련 설명은 오류가 있어서 정정되면 좋을 듯 합니다 https://x.com/simnalamburt/status/1950074970647761168?s=46
정확한 지적이십니다!
타 언어로 작성된 내용을 Rust기준으로 적용하는 과정에서 오해가 있었던것 같습니다.
러스트의 타입 시스템이 단일 카테고리를 이루므로 엔도펑터와 일반 펑터의 구분이 무의미할 것 같습니다.
블로그에 댓글 기능이 없어서 아쉬운데 수정 요청이 가능한지 문의해봐야겠습니다.
모든게 엔도뻥터인건 아닙니다 Result<T, E> 처럼 타입파라미터가 여러개인거는 𝒞 → 𝒞 가 아니고 Result : 𝒞 × 𝒞 → 𝒞 여서 이런거는 BiFunctor 에요