CSE-321 Programming Languages

Review

POSTECH

June 10, 2010

박성우

2

Topics Covered• SML programming• Inductive proofs• -Calculus• Operational semantics• De Bruijn indexes• Simply-typed -calculus• Abstract machine• Subtyping, Object-orientation (Assignment 7)• Recursive type• Polymorphism• Type reconstruction, W-algorithm• Compilation (Assignment 8, Part 2)

3

Assignments• A1: 34, 92.85 (SML programming 1)• A2: 34, 84.21 (SML programming 2)• A3: 34, 83.44 (SML programming 3)• A4: 33, 93.48 (Implementing -calculus)

• A5: 34, 97.35 (Typechecking)• A6: 31, 54.55 (De Bruijn indexes)• A7: 26, 66.92 (Featherweight Java)• A8: ?, ? (Type reconstruction and

translation)

4

2006 vs. 2007 vs. 2009 vs. 2010• Assignment 4 (Implementing -calculus)

– average 2006: 88.0– average 2007: 88.57– average 2009: 90.17– average 2010: 93.48 Ã Up

• Assignment 6 (De Bruijn indexes)– average 2007: 59.13– average 2009: 56.12– average 2010: 54.55 Ã Down

• Assignment 7 (Featherweight Java)– average 2006: 71.30– average 2007: 77.71– average 2009: 68.13– average 2010: 66.92 Ã Down

5

Cheating?• 2006

– 7 students cheated (out of 46 students)– 2 suspicious cases

6

Final Exam• 3 hours• Closed book• Saturday (June 12) 7pm - 10pm

• Starts at 6pm???

너네들은 기말시험 보고우리들은 월드컵 보고

7

절대 평가• Exam 20% * 2• Quiz 2.5% * 4• Assignment 50%

– A1, A2, A3 : 2.5%– A4 : 5%– A5: 2.5%– A6: 10%– A7: 10%– A8 (Part 1): 15%

• A8 part 2: Extra 15%

• Grading policy– 90+: A– 80+: B– 70+: C– 60+: D– 60-: F

오늘 수업 출석 점수 10% 는 ???

) 뻥이었음

8

If HW8 = 100, Final = 100

예상 점수 분포

0

2

4

6

8

10

12

0 10 20 30 40 50 60 70 80 90

총점

A

BCD

F

9

Final• Mutable references [18 points]• Evaluation context and environment [28 points]• Subtyping [16 points]• Recursive types [12 points]

+ an extracredit question• Polymorphism [36 points]• Type reconstruction [40 points]

Three Questions in the Final(Extracredit)

Grading policy 를 바꿀 수 있음 !!!

예상 점수 분포

0

2

4

6

8

10

12

0 10 20 30 40 50 60 70 80 90

총점

A+

AB+B

C

11

Question 1

12

PL 2006• Assign Due 3 시간 28 분 전 (hako)

13

PL 2006• 조삼모사 (kaje)

14

PL 2006 기말고사

Assign 8 대마왕

23:10pm

15

뒤에서 도촬

16

Question in PL 2006 Final

17

Question 2

• 전원 T-shirt 입고 오면 ) ???

19

Question 3

20

PL 2010 Tekken MatchTeaching staff Students

VS

+ 용병 2 명

21

PL 2010 Tekken Match• 각 경기는 5 판 3 승제• Teaching staff 가 모두 탈락될 때까지• Play 한 학생 수에 따라서 grading

policy 가 바뀔 수 있음 !• 학생 한명이 teaching staff 올킬

) ???

Let's play!