카테고리적 사고가 명세 중심 코드를 가능하게 하는 방식
Dec 25, 2024
펑터 사이를 잇는 변환, 구조적 일관성을 보장하는 조건
Jun 01, 2024
지수 객체와 커링으로 이해하는 함수 타입
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
왜 지금 프 로그래머에게 카테고리 이론이 필요한가
펑터와 모나드로 함수 합성의 실패를 다루는 법
Jan 27, 2020
변하지 않는 데이터를 쓰면 무엇이 달라지는가
Jan 05, 2020
순수 함수가 코드를 단순하게 만드는 이유
Dec 29, 2019
명령형에서 선언형으로, 프로그래밍 사고를 전환하는 법
Dec 15, 2019
![[번역] 프로그래머를 위한 카테고리 이론 - 11. 선언적 프로그래밍](/static/eea67acfacfc20db2c9d3f6b3a3a786d/e9225/thumbnail.webp)
