1 / 12

CSE-321 Programming Languages Overview

This course covers mathematical foundations, type theory, designing and implementing programming languages. Assignments and exams account for grading. The use of OCaml is mandatory while cheating is strictly prohibited. Access the course webpage for detailed information and guidelines.

fpatricia
Download Presentation

CSE-321 Programming Languages Overview

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CSE-321 Programming LanguagesOverview 박성우 POSTECH February 21, 2016

  2. Course Outline • Topics to be covered: • mathematical foundation of programming languages • theory of programming languages • type theory • designing programming languages • implementing programming languages

  3. CSE-321 Programming Langauges • Course webpagehttp://pl.postech.ac.kr/~gla/cs321

  4. Grading • Assignments 60%Midterm 20%Final 20% • 8 (or 9) programming assignments • To get a grade of A, you have to complete all assignments. • Missing 1/3 of the lectures gets you the final grade of F.

  5. Discussion Board • telnet pl.postech.ac.kr, board 321 • Create an ID to ask questions.

  6. Anonymous Feedback • http://pl.postech.ac.kr/~gla/feedback/

  7. Objective Caml (OCaml) • Programming language for your assignments • We will use OCaml 4.01. • Read ‘The core language’ and ‘The module system’ sections in the OCaml manual.

  8. No Cheating • Read the document on the disciplinary policy. • 2016: 2 students cheated (out of 40 students) • We have developed clonechecker for OCaml. • We will check all your programs at the end of the semester. • Cheating will get you a grade of F.

  9. programming.postech.ac.kr • Linux machine for your assignments. • OCaml 4.01 is already installed. • Use your Hemos ID to log in. • Contact Hemos Team to request an ID. • Your handin directory is located at: /home/class/cs321/handin/<your Hemos ID>

  10. Assignments • All assignments will be out soon. • Finish the assignments at your pace. • Details of the instruction are all in the handout. • If you don't find your handin directory, email beomseok0203@postech.ac.kr. • You may program on Windows or Linux, but make sure that your program compiles! • Otherwise your program will not be graded.

  11. Why Type Theory? • Type: 데이터의 종류를 요약 • 타입 이론(type theory)에서 발전 • parametric polymorphism, let-polymorphism • subtyping with covariance and contra-variance • F-bounded polymorphism • higher-order kind, type-class • generalized ADT • dependent type • first-class module, functor • 일반 프로그래밍 언어에서 점차적으로 도입

  12. Welcome to CSE-321!

More Related