Programming III

Learning Outcomes

Knowledge and Understanding

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

• The key mechanisms underpinning the functional programming model
• The principles of evaluation of programming languages

Subject Specific Intellectual and Research Skills

Having successfully completed this module you will be able to:

• Discuss and perform the decomposition of problems using procedural, data and metalinguistic abstractions
• Reason about evaluation mechanisms
• Write programs in a functional style

Recursive Techniques

• recursion on numbers, lists, and trees.

Procedural Abstraction:

• Procedures as arguments
• Procedures as return values

Objects:

• Structures
• Closures
• Streams and delayed evaluation

Metalinguistic Abstraction

Environment model:

• Evaluation
• Interpreters
• Functional programming techniques in object oriented languages

Teaching and learning methods

The content of this module is delivered through lectures, the module website, directed reading and pre-recorded materials.

Students work on their understanding through a combination of independent study and preparation for timetabled activities, along with formative assessments in the form of coursework assignments.

Students work on their practical skills and technical understanding in technical laboratories.

Resources & Reading list

Textbooks

Graham Hutton (2016). Programming in Haskell. Cambridge University Press.

Assessment strategy

This module is assessed by a combination of coursework, assessed laboratories and a final assessment in the form of a computer aided examination.

Summative

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