Spring 2023 - CMPT 383 D100
Comparative Programming Languages (3)
Class Number: 6760
Delivery Method: In Person
Course Times + Location:
Mo 12:30 PM – 2:20 PM
AQ 3159, Burnaby
We 12:30 PM – 1:20 PM
BLU 9660, Burnaby
1 778 782-4480
Prerequisites:CMPT 225 and (MACM 101 or (ENSC 251 and ENSC 252)), all with a minimum grade of C-.
Various concepts and principles underlying the design and use of modern programming languages are considered in the context of procedural, object-oriented, functional and logic programming languages. Topics include data and control structuring constructs, facilities for modularity and data abstraction, polymorphism, syntax, and formal semantics.
This course introduces the fundamental concepts behind different kinds of imperative and functional programming languages. It covers several topics about formal semantics, type checking, type inference, and the basics of functional programming. Students will learn to give semantics to program constructs, interpret program elements, check the correctness of types, and automatically detect the type of expressions in a program.
- Functional programming
- Lambda calculus
- Formal semantics
- Type checking
- Type inference
COURSE-LEVEL EDUCATIONAL GOALS:
The goal of this course is to help students
- Gain hands-on experience of functional programming in Haskell
- Learn the difference between different programming paradigms
- Have an in–depth understanding of programming language foundations
- Understand types in programming languages
- Improve programming skills
- Homework 30%
- Programming Assignments 35%
- Midterm Exam 25%
- Quiz 10%
Details will be confirmed in the first week of classes.
MATERIALS + SUPPLIES:
- Learn You a Haskell for Great Good, Miran Lipovaca, No Starch Press, 2011, 9781593272838
- Programming in Haskell, Graham Hutton, Cambridge University Press, 2016, 9781316626221
- Types and Programming Languages, Benjamin C. Pierce, The MIT Press, 2002, 9780262162098
REQUIRED READING NOTES:
Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
SFU’s Academic Integrity website http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.
Each student is responsible for his or her conduct as it affects the university community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the university. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the university. http://www.sfu.ca/policies/gazette/student/s10-01.html