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

“할당 피하기”는 이야기의 일부일 뿐임
그 접근은 결국 “의존성을 통제하라”거나 “전체 호출 그래프를 수동으로 확인하라”에 가까움
글의 초점은 컴파일러 같은 도구가 어떤 속성을 정적으로 강제하고, 그 속성이 깨지는 지점을 생산적으로 찾아내는 작업 흐름을 제공하는 방식에 있음

D에는 @nogc가 있고, 그다음은 명확한 할당 패턴을 가진 직접 통제 가능한 추상화만 쓰는 문제임

기사 제목을 설명적으로 짓는 능력을 잃어버린 탓에 덧붙이면, 핵심은 함수에 [@zero_alloc]을 붙이고 그 함수의 호출 트리가 힙을 건드리면 컴파일러가 프로그램을 거부하게 하는 기능임

이런 방식이 “예외를 던지거나 패닉하지 않음”, “잠금 없음”, “항상 종료함” 같은 여러 조건에도 적용될 수 있을지 궁금함