Rust 배열 라이브러리 rapl은 차원 오류를 컴파일 때 잡는다

Rust용 배열 라이브러리 rapl은 배열의 차원 수(rank)를 타입(type)에 담습니다. 서로 맞지 않는 차원은 실행 중 오류가 나기 전에 컴파일 단계에서 걸립니다. 저는 결과가 나온 뒤 오류를 쫓는 대신, 연산의 모양을 먼저 확인하는 설계가 반갑습니다.

Rust 컴파일러 정보를 분석 도구가 읽기 쉬운 형식으로 내놓는 Charon은 코드 분석과 변환 도구를 돕습니다. rapl은 배열의 차원 수를 타입에 넣어 컴파일 때 불일치를 막습니다. Rust의 컴파일 시점 기능이 도구 제작뿐 아니라 라이브러리의 안전장치로도 쓰이는 흐름과 맞닿습니다.

숫자 계산을 넘어 문자열·문자·튜플·사용자 정의 구조체에도 연산을 적용합니다. 슬라이스와 윈도우, 브로드캐스트는 원본 버퍼를 공유하는 뷰(view)라 불필요한 복사를 피할 수 있습니다. 익숙한 배열 조작과 차원 검사를 한 라이브러리 안에서 시도할 수 있다는 점이 흥미롭습니다.

프로젝트는 초기 개발 단계라 API가 바뀔 수 있고, 속도도 우선순위가 아닙니다. 제작자도 속도가 중요한 애플리케이션에는 아직 권하지 않습니다. 이 라이브러리의 현재 매력은 처리량 향상보다 탐색·프로토타이핑·교육 코드에서 차원 실수를 컴파일 때 발견하는 데 있습니다.

작은 Rust 프로젝트에서 cargo add rapl로 설치하고, 서로 다른 차원의 배열을 연산하는 짧은 예제를 만들어 보십시오. 한쪽 배열의 차원을 일부러 바꿨을 때 컴파일 단계에서 오류가 나는지 확인하면, 이 타입 검사가 실제로 막아 주는 실수를 알 수 있습니다.

차원 불일치 때문에 코드를 고치느라 시간을 쓴 마지막은 언제입니까?