에이전트 시대의 Rust, 그리고 Rust에게 에이전트가 의미하는 것

TL;DR Highlight

Rust 설계자가 에이전트 코딩에 맞춰 Rust가 증명·타입 쪽으로 더 가야 한다고 주장

Who Should Read

AI 에이전트로 코드를 짜게 하면서 어떤 언어와 가드레일을 쓸지 고민하는 백엔드 개발자

Core Mechanics

Rust 인기가 에이전트 시대에 치솟았다
- 글쓴이는 David Tolnay의 말을 인용한다.
- Meta 엔지니어가 올해 쓴 first-party Rust 코드는 이전 9년 합계의 2배라고 한다.
성능 튜닝은 에이전트가 잘한다
- 암호 알고리즘 개발자들이 손으로 어셈블리를 튜닝하던 일을 에이전트로 한다고 글쓴이는 전해 들었다.
- dial9 같은 프로파일러와 함께 쓰면 에이전트가 async의 긴 poll이나 blocking 문제를 잘 진단한다고 한다.
테스트만으로는 에이전트를 못 믿는다
- 처음 몇 개 테스트는 멀쩡한데 다음 테스트에서 에이전트가 로직을 완전히 놓친 게 드러나곤 한다고 한다.
- 타입 시스템은 '어떤 종류의 잘못'을 막는 가드레일 역할을 한다.
타입 다음은 증명 도구다
- 타입은 틀린 짓을 막을 뿐 옳은 일을 한다는 보장은 못 한다.
- Verus, Creusot, Aeneas, Kani 같은 Rust 증명 도구로 더 풍부한 속성을 확인할 수 있다.
타입 시스템은 증명을 쉽게 해 준다
- Java의 this.foo == bar assert는 다른 스레드 때문에 증명할 수 없다.
- Rust의 &mut self는 유일 참조를 보장해서 같은 assert가 참이 된다.

Community Reactions

컴파일 시간이 Rust의 약점이라는 의견
- 댓글에서 LLM 시대에는 빠른 컴파일까지 갖춘 언어나 Rust 재설계가 나올 거라는 의견이 있었다.
- 에이전트와 Rust를 쓰면 target/ 폴더가 너무 커져 디스크가 자주 부족해진다는 경험도 있었다.
에이전트가 Verus 증명을 잘 쓴다는 경험
- 댓글에서 Rust 코드베이스에서 에이전트에게 Verus 증명을 쓰게 해 봤더니 잘했다는 경험이 나왔다.
- 그 증명이 일반 컴파일 경로에는 부정적 영향을 거의 주지 않았다고 한다.
LLM 친화 언어의 조건 목록이라는 의견
- 댓글에서 유용한 컴파일 에러, 빠른 컴파일, 명시적 타입, 하나의 선호 방식 등이 조건으로 제시됐다.
- 사전·사후 조건, 필수 테스트 같은 기능을 추가하자는 의견도 있었다.
Rust가 특별하다는 근거가 약하다는 반론
- 댓글에서 언어 특성이 에이전트 코딩에 유리하다는 강한 상관을 찾지 못했다는 경험이 나왔다.
- 인기 외에는 타입조차 뚜렷한 상관이 없었다고 한다.
- 에이전트 코딩 자체가 싫다는 비판도 있었다.

How to Apply

에이전트에게 프로파일 기반 성능 루프 돌리기
- 오늘 Rust 서비스 하나에서 벤치마크를 돌려 프로파일 결과를 뽑는다.
- 그 결과를 에이전트에게 주고 병목 원인과 수정안을 PR 형태로 제안받는다.
타입으로 가드레일 강화하기
- 에이전트가 자주 틀리는 값(ID, 단위 등)을 newtype으로 감싼다.
- 에이전트에게 컴파일이 통과하는 범위 안에서만 수정하게 지시한다.
핵심 함수에 Verus 증명 시도하기
- panic이 없음을 보이는 것부터 에이전트에게 시킨다.
- 그다음 기대 결과를 확인하는 assertion을 추가한다.
인터페이스 변경을 따로 리뷰하기
- 에이전트 PR에서 공개 시그니처 변경 부분을 먼저 확인한다.
- 구현 diff는 그 뒤에 본다.

Try It

복사해서 바로 해보기

# Claude Code 또는 ChatGPT에 붙여넣기 (원문 아이디어의 간이 버전: 프로파일 기반 튜닝 루프)

너는 Rust 성능 튜닝 에이전트다. 아래 프로파일 결과를 분석해라.

{{프로파일 결과 또는 벤치마크 출력}}

규칙:
1. 병목 후보를 3개까지, 근거와 함께 말해라.
2. 각 후보에 대해 코드 수정안을 제시해라.
3. 동작이 바뀌면 안 된다. 기존 테스트가 통과해야 한다.
4. 불필요한 clone()은 줄이되, 코드의 의도가 읽히게 유지해라.

이어서 해 볼 것: 수정 후 같은 벤치마크를 다시 돌려 결과를 붙여넣고 비교해 달라고 요청해라.

Terminology

VerusRust 코드가 맞다는 걸 수학적으로 증명하게 해 주는 도구다. 테스트가 '몇 개 예시'를 보는 것이라면 증명은 '모든 경우'를 보는 것에 가깝다.

UB (undefined behavior)언어 규칙을 어겼을 때 결과가 정해지지 않는 상태다. 계약서에 없는 상황에서 뭐가 일어날지 아무도 보장하지 못하는 것과 같다.

SMT solver주어진 조건이 참일 수 있는지 자동으로 따져 주는 계산기다. 증명 도구가 내부에서 쓴다.

borrow checkerRust 컴파일러가 누가 데이터를 빌려 쓰는지 감시하는 검사기다. 동시에 두 곳에서 마음대로 못 바꾸게 한다.

newtype기존 타입을 새 이름의 타입으로 감싸는 방식이다. 같은 숫자라도 '사용자 ID'와 '주문 ID'를 섞어 쓰지 못하게 해 준다.