Project Ideas

This is a summary of all the project ideas suggested in these lecture notes.

• Module 3: Hands-On with hyggec

  • Project Idea (Easy): Extend Hygge0 and hyggec with New Arithmetic Operations

  • Project Idea (Easy): Extend Hygge0 and hyggec with New Relational Operations

  • Project Idea (Easy): Extend Hygge0 and hyggec with the Logical Operator “Exclusive Or”

  • Project Idea (Medium Difficulty): “And” and “Or” with Short-Circuit-Semantics

  • Project Idea (Medium-Hard Difficulty): Better Output for Assertion Failures

• Module 5: Mutability and Loops

  • Project Idea (Easy): C-Style Increment/Decrement Operators

  • Project Idea (Easy): C-Style Compute-Assign Operators

  • Project Idea (Easy): “Do…While” Loop

  • Project Idea (Easy): “For” Loop

  • Project Idea (Medium Difficulty): a Better “Do…While” Loop

  • Project Idea (Medium Difficulty): a “For” Loop with a Scoped Variable

• Module 6: Functions and the RISC-V Calling Convention

  • Project Idea (Medium Difficulty): Function Subtyping

  • Project Idea (Hard): Recursive Functions

  • Project Idea (Medium Difficulty): Improved Implementation of the RISC-V Calling Convention: Pass and Return Floats via Registers

  • Project Idea (Hard): Improved Implementation of the RISC-V Calling Convention: Pass more than 8 Integer (or Float) Arguments via The Stack

• Module 7: Structured Data Types and the Heap

  • Project Idea (Easy): Extend Hygge with Reference Cells

  • Project Idea (Easy): Extend Hygge with Tuples

  • Project Idea (Medium Difficulty): Mutable vs. Immutable Structure Fields

  • Project Idea (Medium Difficulty): Extend Hygge with Arrays

  • Project Idea (Hard): Arrays with Slicing and For-Each

  • Project Idea (Hard): Extend Hygge with Copying of Structures

• Module 9: Closures

  • Project Idea (Medium Difficulty): Code Generation for Top-Level Closures

  • Project Idea (Medium Difficulty): Forbid Closures of Local Variables

  • Project Idea (Hard): Code Generation for Closures of Immutable Variables

  • Project Idea (Easy): Forbid Closures of Mutable Variables

  • Project Idea (Hard): Support Closures of Mutable Variables

• Module 10: Discriminated Unions and Recursive Types

  • Project Idea (Easy): Exhaustive Pattern Matching

  • Project Idea: (Hard) Implement Code Generation for Union Type Constructors and Pattern Matching

  • Project Idea (Medium Difficulty): Implement Recursive Subtyping

  • Project Idea (Hard): Better Inference of the Pattern Matching Result Type

• Module 11: Intermediate Representations and Register Allocation

  • Project Idea (Easy-Medium Difficulty): Implement ANF Translation for (Some of) Your Hygge Extensions

  • Project Idea (Medium-Hard Difficulty): Implement ANF-Based Code Generation for More Hygge Expressions

• Module 12: Optimisation

  • Project Idea (Medium-Hard Difficulty): Implement Optimisations Based on Partial Evaluation

  • Project Idea (Medium-Hard Difficulty): Implement Copy Propagation and/or Common Subexpression Elimination

  • Project Idea (Easy-Medium Difficulty): Implement Some Peephole Optimisations