지수 객체와 커링으로 이해하는 함수 타입
Apr 18, 2024
항등과 합성 보존, Functor 법칙이 필요한 이유
Apr 02, 2024
구조를 보존한 채 맥락을 옮기는 매핑의 규칙
Mar 19, 2024
대수적 데이터 타입을 카테고리적 시선으로 재해석하기
Mar 05, 2024
곱 타입과 합 타입을 보편적 구성으로 다시 읽기
Feb 27, 2024
부수효과를 합성 가능하게 만드는 모나드의 출발점
Feb 20, 2024