Handbook home
Declarative Programming (COMP90048)
Graduate courseworkPoints: 12.5On Campus (Parkville)
You’re currently viewing the 2019 version of this subject
About this subject
Contact information
Semester 1
Dr Peter Schachte
Overview
| Availability | Semester 1 |
|---|---|
| Fees | Look up fees |
AIMS
Declarative programming languages provide elegant and powerful programming paradigms which every programmer should know. This subject presents declarative programming languages and techniques.
INDICATIVE CONTENT
- The dangers of destructive update
- Functional programming
- Recursion
- Strong type systems
- Parametric polymorphism
- Algebraic types
- Type classes
- Defensive programming practice
- Higher order programming
- Currying and partial application
- Lazy evaluation
- Monads
- Logic programming
- Unification and resolution
- Nondeterminism, search, and backtracking
Intended learning outcomes
Select appropriate languages for each component task in a project
Generic skills
- Ability to utilise systematic thinking in problem solving
- Intellectual curiosity and creativity, including understanding of the philosophical and methodological bases of research activity
- Openness to new ideas and unconventional critiques of received wisdom
- Capacity for independent critical thought, rational inquiry and self-directed learning
Last updated: 3 November 2022