프로그래밍 언어의 요점

Essentials of Programming Languages
프로그래밍 언어의 요점
EOPL 3rd edition cover.jpg
작가.다니엘 P. 프리드먼, 미첼 완드, 크리스토퍼 T 헤인즈
주제프로그래밍 언어
장르.교재
출판인MIT 프레스
발행일자
2008년 4월 (제3호)
페이지416
ISBN0-262-06279-8(3차)
LC ClassQA76.7 . F73 2008

EOL(Essentials of Programming Languages)은 다니엘 P가 쓴 프로그래밍 언어 교과서입니다. 프리드먼, 미첼 완드, 크리스토퍼 T. 헤인즈.

EOL은 운영상의 관점에서 프로그래밍 언어의 원리를 조사합니다.이것은 람다 미적분과 유사한 단순한 함수 핵심 언어에 대한 Scheme의 해석기로 시작한 후 체계적으로 구성을 추가합니다.예를 들어 변수 할당 또는 스레드 같은 제어의 각 추가에 대해, 이 책은 프로그래밍 언어의 표현력의 증가와 직접 통역기의 공식화를 위한 새로운 구성에 대한 수요를 설명한다.이 책은 또한 체계적인 변환, 예를 들어 스토어 패스 스타일 또는 연속 패스 스타일이 통역자가 공식화된 언어에서 특정 구조를 제거할 수 있다는 것을 보여준다.

이 책의 두 번째 부분은 통역기를 레지스터 기계로 체계적으로 번역하는 데 전념하고 있습니다.변환에서는 고차 폐쇄, 연속 객체, 재귀 함수 호출 등을 제거하는 방법을 보여 줍니다.마지막으로 리더에는 테일 재귀 함수 호출과 할당 문과 조건문만 사용하는 "인터프리터"가 남습니다.이 코드를 C 프로그램이나 어셈블리 프로그램으로 변환하는 것은 간단해집니다.보너스로, 이 책은 "의미"의 특정 조각을 미리 계산하는 방법과 이러한 사전 계산의 표현을 생성하는 방법을 보여줍니다.이것이 편집의 본질이기 때문에, 이 책은 또한 독자들이 관련이 있지만 별개의 주제인 편집과 언어 번역의 원리에 대한 강의를 들을 수 있도록 준비시킨다.주요 개념을 설명하는 텍스트 외에도, 이 책은 또한 일련의 연습으로 구성되어 있어 독자들이 대안적인 디자인과 다른 [1]문제들을 탐구할 수 있게 해준다.

SICP와 마찬가지로, EOPL은 1980년대에 지배적인 교과서 접근 방식에서 크게 벗어난 것이다.당시 프로그래밍 언어의 원리에 관한 책은 4개에서 6개 이상의 프로그래밍 언어를 제시하고 프로그래밍 숙어와 그 구현에 대해 개괄적으로 논의했다.가장 성공적인 책은 일반적으로 ALGOL 60(및 소위 Algol 계열 프로그래밍 언어), SNOBOL, 리스프 및 프롤로그를 다루었습니다.오늘날에도 상당수의 프로그래밍 언어 교과서는 범위가 좁혀졌지만 그저 그런 조사일 뿐이다.

EOL은 인디애나주가 프로그래밍 언어 연구의 선두 부서 중 하나였던 1983년에 시작되었습니다.프리드먼의 박사과정 학생 중 한 명인 유진 콜베커는 그의 "311 강의"를 번역하고 수집했다.미치 완드와 크리스토퍼 헤인스를 포함한 다른 교수진들은 기부를 시작했고 콜베커가 말하는 "The Hitchhiker's Guide to the Meta-Universe"를 현재의 체계적, 통역 및 변환 기반 설문 조사로 전환했습니다.출간 25년 동안, 이 책은 거의 고전적인 책이 되었고, 종류와 모듈과 같은 추가 주제를 포함하여 현재 제3판을 발간하고 있다.첫 번째 파트에는 프로그램 설계의 원리를 가르치기 위해 스킴을 사용하는 또 다른 비전통 교과서인 HtDP의 프로그래밍 아이디어가 포함되어 있습니다.저자와 Matthew Flatt는 최근 EOPL을 사용한 교육용 DrRacket 플러그인 및 언어 수준을 제공하고 있습니다.

EOL은 적어도 두 개의 관련 텍스트를 생성했습니다.Quinnec의[2][3] Lisp와 Krishnamurthi의 프로그래밍 언어: 응용 프로그램 및 해석.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Press, The MIT. "Mitchell Wand". The MIT Press. Retrieved 2019-08-05.
  2. ^ "Christian Queinnec's home page". pages.lip6.fr. Retrieved 2020-05-20.
  3. ^ "C. Queinnec's L.i.S.P book and code". pages.lip6.fr. Retrieved 2020-05-20.