뉴스

코드에 type ascription을 안 써도 컴파일은 되는데, 타입 추론이 너무 모호해서 컴파일러가 무슨 뜻인지 헷갈려서 컴파일 오류가 뜬다거나, 심지어 코드가 작동은 하는데 의도한 대로 동작하지 않아서 디버깅에 골머리를 앓는 경험이 있지. 근데 이 글 저자가 말한 건 그 이상이야. 타입 체이닝을 함부로 했거나, trait bound를 너무 복잡하게 설정해서 컴파일러가 타입을 결정할 수 없는 '비일관적'한 상태를 만들어버리는 경우를 말해. Rust 의 강력한 타입 시스템이 오히려 개발자를 혼란스럽게 만드는 역효과를 내기도 한다는 점이 정말 웃기는 동시에 우려스러운 부분이야. 출처: Hacker News | 원문: https://www.boxyuwu.blog/posts/an-incoherent-rust/