HKU Moodle

All course materials are online at https://github.com/1iyiwei/pyml/

Welcome to Principles of Programming Languages!

This course covers central concepts in programming languages, language design and implementation, and programming paradigms.The course will have a practical focus, encouraging students to implement a progressively more sophisticated programming language illustrating various concepts and ideas from functional, imperative and object-oriented programming. These concepts include for example static scoping, closures, inheritance, mutable state, and type systems. All such features are widely used by many existing programming languages.

The programming language Haskell, which is a functional language, will be used in for the coursework and will serve as a prime example of a modern, functional language. Haskell is an obvious choice for this class because of its excellent support for declaring the abstract syntax of a programming language and writing various analyses over that syntax.

The course teaches the basics of functional programming using the language Haskell. The main goal is introduce students to fundamental programming concepts such as recursion, abstraction, lambda expressions and higher-order functions and data types. The course will also study the mathematical reasoning involved in the design of functional programs and techniques for proving properties about functions so defined. With the adoption of lambda expressions recent versions of Java, C++ or C#, functional programming and related programming techniques are becoming increasingly more relevant even for programmers of languages that are not traditionally viewed as functional. This course is important to introduce students to such techniques.

This course introduces various technologies and tools that are useful for software development, including Linux, C++ STL, C , shell scripts and Python. 

This is a self-learning course (flipped class), we will provide learning materials for you to follow. Instructors and teaching assistants are available in the laboratories as a facilitators and provide assistant to help your learning.

Students are required to follow the learning materials in the laboratory sessions and submit in class exercises every week, and work on daily programming practices every weekday.

We wish you enjoy learning programming in this course!

This course introduces various technologies and tools that are useful for software development, including Linux, C++ STL, C , shell scripts and Python. 

This is a self-learning course (flipped class), we will provide learning materials for you to follow. Instructors and teaching assistants are available in the laboratories as a facilitators and provide assistant to help your learning.

Students are required to follow the learning materials in the laboratory sessions and submit in class exercises every week.