자연언어 프로그래밍은 왜 실패하는가
Key Point
프로그래밍을 인간언어로 하면 더 쉬워질 것이란 아이디어가 왜 근본적으로 실패할 수밖에 없는지를 형식 체계의 역사와 논리로 설명한 고전 논문이다.
핵심 요약
- 1978년 다익스트라의 논문으로, 프로그래밍을 자연언어로 할 수 있다면 더 쉬워질 것이라는 제안에 정면 반박한다.
- 초기 컴퓨팅 시대부터 프로그래머들은 형식적 기호 체계의 엄격함을 단점으로 느꼈고, 기계가 모순된 명령도 충실히 실행하는 것을 문제 삼았다.
- 고급 프로그래밍 언어 개발로 명백한 실수는 에러 메시지를 내보내게 되어 개선됐지만, 프로그래밍의 형식성 요구는 여전했다.