더 많은 언어가 배워야 할 OxCaml의 무할당 함수 검사

Context

기존 Hot Path 최적화 방식은 프로파일러를 통한 사후 분석 및 수동 제거에 의존함. 코드 수정 시 의도치 않은 힙 할당이 재발생해도 빌드 시점에 인지하지 못해 반복적인 프로파일링 비용이 발생하는 한계 존재.

Technical Solution

• @zero_alloc 어노테이션을 통한 함수 호출 트리 전체의 힙 할당 금지 선언
• 컴파일러가 정적 분석을 통해 하위 호출 그래프 내 모든 할당 발생 여부를 추적
• 할당 발생 시 런타임이 아닌 빌드 시점에 즉시 컴파일 에러를 발생시키는 강제 메커니즘 적용
• Allocator 전달 관례와 같은 소프트한 규약 대신 컴파일러 수준의 하드 제약으로 신뢰성 확보
• 정적 속성 강제를 통해 '할당 없음'이라는 불변성을 시스템적으로 보장하는 설계