호세 발림의 논평: AI 시대 언어는 문법이 아니라 검증 가능성으로 진화한다

AI가 언어별 생태계는 오히려 무너뜨리고 언어 무관 생태계는 키운다고 봄. 뭐든 포팅 가능해지니까 결국 모든 언어를 동시에 방어해야 함 ㅋㅋ

그냥 AI 때문에 인간끼리 협업할 필요가 줄어들어서 생태계 전반이 약해지는 거라고 읽었는데, 언어 무관 생태계가 뭘 가리키는지 감이 안 잡힘.

포팅이 그렇게 안 된다고 봄. 자기완결적이고 테스트 커버리지가 엄청 강해야 AI가 몇백만 번 반복하며 버그를 고칠 수 있고, 아니면 유지보수 불가한 버그 더미가 될 뿐임.

근데 에이전트한테 최적인 언어가 굳이 인간이 쓰는 언어일 이유가 있나? AST를 직접 조작하게 하거나, 인간은 어렵지만 LLM한테 맞는 다른 표현 방식도 가능할 듯.

LLM 출력 자체엔 맞는 말인데, 검증하는 쪽을 고려하면 다르지. 정적 타입 같은 걸 잡아주는 컴파일러는 AI가 자기 작업을 확인하는 데 엄청난 이점임.

그 보장 4단계(올바른 구성, 정적 확립, 런타임 강제, 실증 검증) 보고 바로 내가 만드는 Zena랑 같은 방향이라 끄덕였음. TypeScript류 문법에 정적 보장 최대한 끼워넣는 중이라 AI가 까다로운 언어도 감당함.

에이전트 전용 언어는 애초에 잘못된 접근이라고 봄. 학습 예제가 없어서 모델이 그 언어를 당연히 못 씀.

저건 맘에 듦.