4190.310 Programming Languages (Spring 2022)

이광근 Kwangkeun Yi
(소프트웨어무결점 연구센터)/ 프로그래밍 연구실 /CSE/Seoul National University

강의: 월/수 09:30-10:45 @ 302동 209호
면담: 월/수 10:45-11:30 @ 강의실 주변

목표 Objectives

다양한 프로그래밍 언어들이 품고있는 공통된 원리들은 무엇인가? 현재의 프로그래밍 언어들은 얼마만큼 미개한가? 좀더 나아지기 위해서 필요한 것들은 무엇인가? 새로운 프로그래밍 환경을 효과적으로 운용할 수 있는 언어는 무엇인가? 이 강의에서는 이와같은 질문들에 대한 답을 익히거나, 좋은 답을 만들어내기 위해서 필요한 소양을 닦게 됩니다.

규정 Policy

숙제: 90%, 기타: 10%.

성적은 절대평가입니다.
프로그램 숙제가 베낀것으로 적발되면 숙제점수 모두 0점 처리됩니다. 프로그램이 얼마만큼 비슷한지를 자동으로 감별해주는 소프트웨어 CloneChecker가 사용됩니다.

숙제 Homeworks

프로그래밍 숙제:
- 프로그램 숙제는 OCaml로 작성합니다.
- 왜 ML로 실습하는가?
- 컴퓨터를 통해 제출합니다.
- 제출기한을 지나 48시간 이내로 늦어지면 10% 감점. 그 이후의 숙제는 받지 않습니다.
- 프로그램 숙제가 복제로 판정되면, 숙제 점수 모두가 0점 처리됩니다.
- 프로그램 복제여부는 CloneChecker에 의해 자동으로 감별된다.
논술 숙제: 논문이나 책등을 읽고 내용을 요약하고 느낀점을 논술하는 숙제들 입니다.
- 글쓰기 핵심 요령, 이메일 에티켓
챌린지: 여러분 정도라면 한번 도전해 볼 만한 문제들입니다. 한 문제를 올바르게 해결하면 최종 성적이 1-3 단계 상승합니다.
숙제/챌린지 시간표
- HW1: due 3/11 24:00. OCaml Progamming I
- HW2: due 3/25 24:00. OCaml Programming II
- HW3: due 4/4 24:00. Tiny imperative K-- interpreter
- HW4: due 4/18 ~~4/15~~ 24:00. K- interpreter, K- programming, Happy Shopping, Treasure Island
- HW5: due 4/29 24:00. Reading and essay
- HW6: due 5/13 24:00. Language translation, virtual machine, garbage collection, Lambda calculus
- HW7: due 5/27 24:00. CPS transformation, Exception as sugar, M interpreter, M simple-type system. Language M definition
- HW8: due 6/10 24:00. RosettaX, M let-polymorphic type system
- Challenges: due 6/24 16:00.

조교팀 TA team

팀장: 박규연, 팀원: 김훈, 염준영, 이재호, 조승한
조교는 수강생 여러분을 도와주기 위해서 있습니다.
조교는 과목 웹보드와 조교페이지를 통해서 정보를 공지하고 여러분의 어려움을 돕습니다.
조교는 여러분의 숙제와 퀴즈를 채점합니다.

진도및 자료 Slides & Resources

실라부스
교재/Textbook
Notes on Programming Languages, Kwangkeun Yi
참고서/Reference (중앙도서관 지정도서)
- Concepts in Programming Languages, John C. Mitchell, Cambridge University Press, 2002.
- Practical Foundations for Programming Languages, Robert Harper, Cambridge University Press, 2016.
PL분야 한글 용어들
To view/print PDF files: Acrobat Reader

Part 0	[1.pdf, 2.pdf, 2-1.pdf ]
	language, syntax, semantics
	abstract syntax, concrete syntax, inductive definitions
	logic systems, inference rules, inductions

Part I	[3.pdf, 3-1.pdf, 4-1.pdf, remind-overview.pdf, 4-2.pdf, 4-3.pdf]
	imperative language: basic syntax, inference rules as semantics

	scopes, environment
	static/dynamic scoping, parameter passing
	procedures, data structures
	role of types, static/dynamic type system
	memory leak, dangling pointer, garbage collection
	translation, virtual machine
Part II	[Overview: programming principles, languages, and tools]
	[Overview: two genesis, two programming pillars]
	[ 5-0.pdf, 5-1.pdf, 5-1simple-type.pdf, 5-1poly-type.pdf, 5-1oo.pdf, 5-2curryhoward.pdf, 5-3.pdf ]
	language model: lambda calculus
	reduction strategies
	high-order applicative language
	safe type system, static type system, type discipline
	let-polymorphic type system, parametric polymorphism, subtype system
	type system as language design
	data abstraction, modularity
	translation, virtual machine
	essence of object-oriented language, object, inheritance, subtype polymorphism
	logic vs computation, curry-howard correspondence
	meta programming, multi-staged programming
	overview, future issues