Invited Talk - Guy Steele
ClojureTV · 67:22 · Watch on YouTube
Guy Steele은 프로그래밍 언어 이론가들이 이미 타입이 없고 표준화되지 않았지만 enormously 인기 있는 프로그래밍 언어 — BNF, 추론 규칙, 대입, 오버라인과 줄임표로 이루어진 "컴퓨터 과학 메타 표기법" — 을 사용하고 있다고 주장하며, 17,000페이지에 달하는 조사를 통해 간결성 추구로 인한 모호성이 어떻게 가독성 위기로 치닫고 있으며 형식화와 도구가 필요한지를 보...