조건문은 위로, 반복문은 아래로: 관용구의 대수학과 그 한계

AI 요약

TigerBeetle의 Tiger Style 문서에서 비롯된 "Push Ifs Up and Fors Down" 관용구를 대수적·이론적으로 분석한 글이다. 조건문(if)은 호출자 쪽으로 올리고 반복문(for)은 배치 처리 쪽으로 내려 분기와 대량 연산을 중앙화하면 명확성과 성능이 향상된다는 원리다. 이 원리는 데이터베이스 쿼리 최적화(투영은 이르게, 조인은 늦게)와 함수형 프로그래밍·카테고리 이론에도 폭넓게 적용된다. 저자는 이 관용구의 적용 범위와 한계를 함께 탐구한다.

핵심 포인트

• 조건문을 호출자로 올리면 함수 타입이 사전조건을 명시하고 입력 상태 공간이 좁아짐
• 반복문을 배치 함수 내부로 내리면 분기 없는 핫 루프가 되어 벡터화 가능
• filter_map으로 None을 제거한 뒤 배치 함수에 전달하는 조합 패턴 제시
• SQL 쿼리 플래너의 "투영·선택은 이르게, 조인은 늦게" 원칙과 동형

향후 전망

• 컴파일러·쿼리 옵티마이저가 이 원리를 자동 적용하는 방향으로 발전 가능
• 함수형·관계형 패러다임 간 최적화 기법의 상호 차용이 확대될 전망