Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

리더 펑터 - 함수도 펑터다! | 프로그래머를 위한 카테고리 이론

Автор: 코딩맥스 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

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Как Obsidian и 70 книг изменили мой мозг за один год

Как Obsidian и 70 книг изменили мой мозг за один год

Const 펑터 - 아무것도 안 하는 펑터가 필요한 이유 | 프로그래머를 위한 카테고리 이론

Const 펑터 - 아무것도 안 하는 펑터가 필요한 이유 | 프로그래머를 위한 카테고리 이론

Графический API не имеет значения

Графический API не имеет значения

Забудь VS Code — Вот Почему Все Переходят на Cursor AI

Забудь VS Code — Вот Почему Все Переходят на Cursor AI

Программирование на ассемблере без операционной системы

Программирование на ассемблере без операционной системы

VPN скоро запретят? Мобилизация: секреты Реестра воинского учёта. Телефоны россиян добавят в базу

VPN скоро запретят? Мобилизация: секреты Реестра воинского учёта. Телефоны россиян добавят в базу

펑터 합성 | 프로그래머를 위한 카테고리 이론

펑터 합성 | 프로그래머를 위한 카테고리 이론

💾СТАВИМ OPENMEDIAVAULT НА НОВЫЙ KICKPI K7 ОДНОПЛАТНЫЙ КОМПЬЮТЕР С БОЛЬШИМИ ВОЗМОЖНОСТЯМИ🚀

💾СТАВИМ OPENMEDIAVAULT НА НОВЫЙ KICKPI K7 ОДНОПЛАТНЫЙ КОМПЬЮТЕР С БОЛЬШИМИ ВОЗМОЖНОСТЯМИ🚀

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

모나드(Monad)는 사실 쉽습니다. - 함수형 프로그래밍 끝판왕 깨기

모나드(Monad)는 사실 쉽습니다. - 함수형 프로그래밍 끝판왕 깨기

Моделирование черных дыр в C++

Моделирование черных дыр в C++

Product와 Coproduct가 Bifunctor인 이유 | 프로그래머를 위한 카테고리 이론

Product와 Coproduct가 Bifunctor인 이유 | 프로그래머를 위한 카테고리 이론

Структура файлов и каталогов в Linux

Структура файлов и каталогов в Linux

Обзор типичного ФИШИНГОВОГО сайта

Обзор типичного ФИШИНГОВОГО сайта

Neovim 0.12: новый менеджер плагинов и минимальный IDE-конфиг

Neovim 0.12: новый менеджер плагинов и минимальный IDE-конфиг

Он вам не Диод! Таинственный Диод Ганна.

Он вам не Диод! Таинственный Диод Ганна.

Лижут ли Вас Собаки? ВОТ ЧТО ЭТО ЗНАЧИТ (вас шокирует)!

Лижут ли Вас Собаки? ВОТ ЧТО ЭТО ЗНАЧИТ (вас шокирует)!

ИНТУИЦИЯ vs. ЛОГИКА : Что важнее в математике? | LAPLAS

ИНТУИЦИЯ vs. ЛОГИКА : Что важнее в математике? | LAPLAS

클로드 섀넌이 들려주는 정보 이론 이야기

클로드 섀넌이 들려주는 정보 이론 이야기

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: infodtube@gmail.com