📘 프로그래밍 언어: 응용 및 해석 – (2025–2026년판)
📚 프로그래밍 언어: 응용 및 해석(2025–2026년판)은 프로그래밍 언어, 그 설계 및 구현을 마스터하고자 하는 이공계열, 이공계열, 소프트웨어 공학 전공 학생과 독학 학습자를 위해 설계된 완벽한 교과 과정 교재입니다. 이 판에는 인터프리터, 컴파일러, 타입 시스템, 추상화에 대한 실용적이고 학문적인 접근 방식을 제공하기 위해 객관식 문제(MCQ)와 퀴즈가 포함되어 있습니다.
이 책은 언어 패러다임, 제어 구조, 객체, 모듈, 도메인 특화 언어(DSL)를 연결하며 이론과 실제 구현을 모두 탐구합니다. 학생들은 프로그래밍 언어에 대한 추론, 추상화 공식화, 고차 함수의 효과적인 적용 방법을 배우게 됩니다.
📂 장 및 주제
🔹 1장: 프로그래밍 언어와 그 구현
- 프로그래밍 언어 소개
- 인터프리터와 컴파일러
- 구문과 의미론
- 언어 패러다임
🔹 2장: 프로그래밍의 요소
- 표현식과 값
- 환경
- 함수 적용
- 변수와 바인딩
- 평가 규칙
🔹 3장: 프로시저와 프로시저가 생성하는 프로세스
- 일급 프로시저
- 고차 함수
- 재귀
- 클로저
- 꼬리 호출 최적화
🔹 4장: 고차 프로시저를 사용한 추상화 구성
- 함수 합성
- 함수 추상화
- 익명 함수
- 커링과 부분 적용
🔹 5장: 타입과 타입 시스템
- 정적 타입 vs. 동적 타입
- 타입 검사
- 타입 추론
- 다형성
- 타입 안전성
🔹 6장: 제어 구조와 연속
- 조건문과 루프
- 연속 전달 스타일
- call-cc
- 예외 및 오류 처리
🔹 7장: 가변 상태 및 할당
- 상태 기반 계산
- 변수 변형
- 메모리 모델
- 부작용 및 참조 투명성
🔹 8장: 객체와 클래스
- 객체 지향 개념
- 메시지 전달
- 상속
- 캡슐화
- 객체 상태
🔹 9장: 모듈과 추상화 경계
- 모듈성
- 네임스페이스
- 인터페이스
- 개별 컴파일
- 정보 은닉
🔹 10장: 도메인 특화 언어와 메타프로그래밍
- 언어 임베딩
- 매크로
- 코드 생성
- 리플렉션
- 해석 vs. 컴파일
🌟 이 앱/책을 선택해야 하는 이유
- 프로그래밍 언어 설계 및 구현을 다루는 완벽한 강의 계획서
- 시험 및 프로젝트를 위한 객관식 문제, 퀴즈, 예제 포함
- 인터프리터, 컴파일러, 타입 시스템, 고차 추상화 학습
- 언어 패러다임과 소프트웨어 설계를 이해하고자 하는 학생과 전문가에게 적합
✍ 이 앱은 다음 저자들의 영감을 받았습니다.
Torben Ægidius Mogensen, John Hughes, Martin Fowler, Bertrand Meyer, Shriram Krishnamurthi
📥 지금 다운로드하세요!
Learn Programming Languages AI (2025–2026 Edition)로 프로그래밍 언어와 그 구현을 마스터하세요.