지수 객체와 커링으로 이해하는 함수 타입
Apr 18, 2024
항등과 합성 보존, Functor 법칙이 필요한 이유
Apr 02, 2024
구조를 보존한 채 맥락을 옮기는 매핑의 규칙
Mar 19, 2024
대수적 데이터 타입을 카테고리적 시선으로 재해석하기
Mar 05, 2024
곱 타입과 합 타입을 보편적 구성으로 다시 읽기
Feb 27, 2024
부수효과를 합성 가능하게 만드는 모나드의 출발점
Feb 20, 2024
순서 집합, 모노이드, 그리고 다양한 카테고리들
Feb 13, 2024
타입 시스템과 함수 합성으로 이해하는 카테고리의 기초 문법
Feb 06, 2024
대상보다 관계로 사고하는 법, 합성의 관점으로 시작하기
Jan 30, 2024
왜 지금 프로그래머에게 카테고리 이론이 필요한가
남의 시선에서 벗어나는 건 생각보다 오래 걸린다
Nov 21, 2023
리더의 역할은 이끄는 것이 아니라 움직이게 만드는 것이다
Oct 30, 2023
노동시장은 게임이다
May 07, 2023
좋은 추상화는 구현보다 어렵다
Jan 15, 2023
자율과 책임이 주어진 환경, 나는 어떻게 성장했을까?
May 07, 2022
![[번역] 프로그래머를 위한 카테고리 이론 - 9. 함수 타입](/static/eea67acfacfc20db2c9d3f6b3a3a786d/e9225/thumbnail.webp)
