리더 펑터 - 함수도 펑터다! | 프로그래머를 위한 카테고리 이론
Автор: 코딩맥스 CodingMax
Загружено: 2026-01-10
Просмотров: 78
펑터는 정말 '컨테이너'일까요? 오늘 영상에서는 이 직관을 완전히 뒤집는 리더 펑터(Reader Functor)를 살펴봅니다. 함수 자체가 펑터가 될 수 있다는 사실, 그리고 fmap이 단순한 함수 합성이라는 놀라운 연결고리를 발견하게 될 거예요.
📚 이 영상에서 배우는 내용
• 펑터를 '컨테이너'가 아닌 '계산 컨텍스트'로 이해하는 방법
• 함수 타입 (➡) r이 펑터가 되는 원리
• 리더 펑터의 fmap이 함수 합성(.)과 동일한 이유
• 가상 컨테이너: 값을 '아직' 갖고 있지 않지만 생산할 수 있는 개념
• 의존성 주입 문제를 리더 펑터로 우아하게 해결하는 방법
• Haskell 코드로 살펴보는 실제 구현과 동작 원리
📖 원문 출처
이 영상은 Bartosz Milewski의 "Category Theory for Programmers" 시리즈를 바탕으로 제작되었습니다.
🔗 https://bartoszmilewski.com/2014/10/2...
#카테고리이론 #함수형프로그래밍 #리더펑터 #ReaderFunctor #Haskell #fmap #함수합성 #의존성주입 #프로그래밍수학 #펑터
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: