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