Скачать
Product와 Coproduct가 Bifunctor인 이유 | 프로그래머를 위한 카테고리 이론
Автор: 코딩맥스 CodingMax
Загружено: 2026-01-16
Просмотров: 22
Описание:
카테고리 이론의 핵심 개념인 Product와 Coproduct가 왜 Bifunctor인지, 그리고 이것이 함수형 프로그래밍에서 어떤 의미를 갖는지 다룹니다. 매일 사용하는 튜플과 Either 타입이 실제로는 수학적으로 아름다운 구조를 가지고 있다는 것을 발견하게 될 겁니다.
📚 이 영상에서 배우는 내용:
• Product (튜플)와 Coproduct (Either)의 바이펑터적 특성
• `bimap` 함수의 구현 원리와 동작 방식
• AND와 OR 관점에서 본 타입 결합의 직관적 이해
• 모노이드 카테고리(Monoidal Categories)의 기초 개념
• 타입이 코드 구현을 결정하는 타입 주도 설계 원칙
• 실전 Haskell 코드 예제로 배우는 Bifunctor 패턴
📖 원문 출처
이 영상은 Bartosz Milewski의 "Category Theory for Programmers" 블로그 시리즈를 기반으로 제작되었습니다.
원문: https://bartoszmilewski.com/2014/10/2...
#카테고리이론 #CategoryTheory #함수형프로그래밍 #FunctionalProgramming #Bifunctor #Product #Coproduct #Haskell #타입이론 #프로그래밍이론 #컴퓨터과학 #코딩교육 #프로그래밍튜토리얼
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
