이론 형성으로서의 프로그래밍 (1985)

요약

Peter Naur는 프로그래밍을 단순히 코드나 문서를 생산하는 활동이 아니라, 문제와 해법에 대한 '이론'을 형성하고 이해하는 지적 활동으로 정의합니다. 이 이론은 현실 세계의 문제가 프로그램 구조와 어떻게 대응하는지 설명하고, 설계 의도를 정당화하며, 새로운 요구를 기존 구조에 통합할 수 있는 프로그래머의 머릿속에 존재하는 핵심 지식입니다. 따라서 대규모 시스템의 유지보수나 수정 비용은 단순히 코드를 편집하는 비용이 아니라, 프로그램의 근본적인 이론을 이해하고 이를 바탕으로 변화를 통합하는 데 드는 인지적 노력(암묵지)에 달려 있습니다.

핵심 포인트

• 프로그래밍의 본질은 코드나 문서가 아닌, 문제와 해법에 대한 '이론' 형성 활동이다.
• 프로그램의 핵심 지식은 프로그래머의 머릿속에 존재하며, 이는 문서화만으로는 완전히 전달될 수 없다.
• 숙련된 개발자의 능력(암묵지)은 시스템을 이해하고 새로운 요구를 기존 이론 구조에 자연스럽게 통합하는 데 필수적이다.
• 소프트웨어 수정 비용은 텍스트 편집 비용이 아니라, 프로그램의 근본적인 이론을 재해석하고 적용하는 인지적 노력에 달려 있다.