머리말

이 책은 프로그래밍 언어 러스트(Rust)를 둘러싼 특정 기술적, 사회적 담론을 분석하는 것을 목표로 합니다. 분석 대상에는 메모리 안전성은 러스트를 통해서만 달성 가능하다 또는 C++은 더 이상 현대적 시스템 프로그래밍 언어가 아니다와 같은 주장이 포함됩니다. 이 책은 러스트의 핵심 원칙인 '안전성', '성능', '동시성'이 공학적 상충 관계(trade-off, 하나를 얻으면 다른 하나를 일부 포기해야 하는 설계상의 교환 관계)의 결과물임을 규명하고, 해당 개념들의 역사적, 기술적 맥락을 검토합니다.

이를 위해 본서는 C++, Ada, Go를 포함한 여러 프로그래밍 언어의 설계와 역사에 대한 논의를 포함합니다. 따라서 이 책은 다양한 시스템 프로그래밍 패러다임과 컴퓨터 과학의 기본 원리에 대한 이해를 갖춘 독자를 대상으로 합니다.

본서에서는 러스트 담론에서 주로 비교되는 C++ 외에, 상대적으로 덜 언급되는 Ada 및 그 부분집합인 SPARK를 비교 대상으로 참조합니다. Ada/SPARK는 '안전성'이라는 동일한 목표를 다른 철학과 공학적 타협을 통해 달성하는 방식을 보여주는 분석적 비교 수단(analytical means of comparison)으로 사용됩니다. 이를 통해 러스트의 설계 방식이 여러 가능한 접근법 중 하나임을 분석하고, '가비지 컬렉터(GC)¹ 없는 메모리 안전성' 원칙에 대한 역사적 선례를 제시합니다. 이 접근법은 C++과의 이분법적 구도를 넘어 기술 평가의 범위를 확장하며, 러스트의 공학적 측면을 객관적인 기준에 따라 평가하는 데 기여합니다.

본서의 분석 대상이 러스트 기술 자체나, 러스트 재단 및 개발팀의 공식 입장이 아님을 명확히 합니다. 러스트 프로젝트의 공식 채널에서는 이 책에서 다루는 기술적 과제들을 개선 사항으로 인식하고 해결책을 모색하고 있습니다. 이 책은 이러한 공식적 활동이 아닌, 일부 온라인 기술 포럼 및 소셜 미디어에서 관찰되는 특정 담론의 형성 및 확산 방식을 분석합니다. 따라서 이 분석은 특정 집단에 대한 평가가 아니며, 기술 생태계의 담론 구조에 대한 이해를 제공하는 데 목적이 있습니다. 본서에서 '러스트 담론'은 커뮤니티 전체의 의견이 아닌, 분석 대상으로 선정된 특정 경향성을 지칭합니다.

본서는 러스트의 기술적 성과를 평가절하할 의도가 없습니다. 이 책의 전제는 러스트가 널리 채택된 기술이므로 상세하고 다각적인 논의가 필요하다는 것입니다. 이 책의 목적은 특정 기술에 대한 지지나 비판이 아닌, 공학적 상충 관계와 기술 담론의 형성 과정을 객관적으로 분석하는 것입니다.