Advanced Programming Language Concepts

Learning Outcomes

Knowledge and Understanding

Having successfully completed this module, you will be able to demonstrate knowledge and understanding of:

• Advanced Type Systems
• Advanced language features in modern programming languages
• Modern programming idioms

Subject Specific Practical Skills

Having successfully completed this module you will be able to:

• Write code to incorporate advanced programming techniques
• Verify code using advanced type systems

Subject Specific Intellectual and Research Skills

Having successfully completed this module you will be able to:

• Refactor code to take advantage of modern programming idioms

• Metaprogamming: Macro Systems and Quote Based Metaprogramming
• Software Composition: Mixins, Aspects and Traits
• Memory Management: Effects and Region Based Memory Management
• Advanced Type Systems: Linear typing, Ownership types, Gradual Typing, Dependent Types
• Programming with Lenses
• Algebraic Effects

The main language used to demonstrate these concepts in practice will be Rust and Haskell. Liquid Haskell or Idris will be used to demonstrate dependent typing. Typescript will be used to demonstrate Gradual Typing.

Lectures and practical tutorials

Summative

This is how we’ll formally assess what you have learned in this module.

Referral

This is how we’ll assess you if you don’t meet the criteria to pass this module.

Repeat

An internal repeat is where you take all of your modules again, including any you passed. An external repeat is where you only re-take the modules you failed.