Bun은 TypeScript 타입이 실제 실행 의미에 반영되는 선행 컴파일 실험을 소개했다. 실험을 정리한 설명에서는 정적 타입 오류의 빌드 거부, 동적 값의 실행 시점 검증, 일부 형변환과 프로토타입 변경 제한을 다룬다. 공식 문서의 기존 단일 실행 파일 기능은 코드와 Bun 런타임을 묶고 바이트코드를 미리 만드는 방식이므로 네이티브 AOT 실험과 구분해야 한다. 인용 게시물에서는 짧은 설명만 직접 확인돼 예시의 세부 내용은 후속 정리에 의존하며 정식 배포나 완전한 호환성은 확인되지 않았다.