코딩 ≠ 프로그래밍: 튜링상 수상자의 추상화에 대한 관점

84세의 튜링상 수상자인 레슬리 램포트는 기조연설에서 코딩과 프로그래밍의 결정적인 차이점을 강조했습니다. 그는 코딩 전에 추상적인 사고가 가장 중요하며, 오류 감소와 더 효율적인 코드로 이어진다고 주장했습니다. 로제타 우주선 개발에 사용된 그만의 사양 언어인 TLA+는 코드의 상당한 감소와 아키텍처 개선을 보여주는 좋은 예입니다. 램포트는 프로그래머들이 추상적인 설계가 아닌 언어에 집중하는 경향을 비판하며, 먼저 프로그램의 추상적인 모델을 설계한 다음 코딩할 것을 제안합니다. 이러한 접근 방식을 통해 디버깅과 수정이 최소화되고 더욱 깔끔하고 유지 관리가 용이한 코드를 얻을 수 있습니다.