Скачать
펑터 합성 | 프로그래머를 위한 카테고리 이론
Автор: 코딩맥스 CodingMax
Загружено: 2026-01-13
Просмотров: 44
Описание:
Maybe [Int] 타입의 리스트 안 숫자를 제곱하려면 어떻게 해야 할까요? fmap을 한 번 쓰면 타입 에러가 발생합니다. 이번 영상에서는 펑터를 합성하는 방법과 그 수학적 의미를 알아봅니다. 이 영상은 펑터 시리즈(Maybe, List, Reader, Const, 합성)를 마무리하는 마지막 영상입니다.
📚 이 영상에서 배우는 내용
중첩된 펑터 타입(Maybe [a], [Maybe a])을 다루는 방법
fmap (fmap f) = (fmap . fmap) f 등식의 의미
펑터 합성의 수학적 정의: F ∘ G도 펑터다
Cat: 카테고리들의 카테고리 - 펑터가 사상이 되는 상위 추상화
양파처럼 껍질을 벗기듯 중첩 구조를 다루는 직관
📖 원문 출처
이 영상은 Bartosz Milewski의 "Category Theory for Programmers" 시리즈를 기반으로 제작되었습니다.
🔗 원문: https://bartoszmilewski.com/2014/10/2...
#카테고리이론 #펑터 #함수형프로그래밍 #Haskell #fmap #CategoryTheory #Functor #프로그래밍이론 #함수합성 #타입이론
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[이런뉴스]](https://image.4k-video.ru/id-video/gzHygzSCJno)
![[더 보다] 자율주행, 전쟁이 시작됐다 / KBS 2026.01.12.](https://image.4k-video.ru/id-video/BHhGoH18emU)
