GHC Fork Implementing Unsaturated Type Families for Haskell Research

A fork of the Glasgow Haskell Compiler implements the -XUnsaturatedTypeFamilies extension described in a research paper. The paper details an extension augmenting Haskell's type arrow to support partial application of type families, which can lead to substantial code-size reduction. The work was authored by Csongor Kiss of Imperial College London.

Use Cases

• Testing the -XUnsaturatedTypeFamilies language extension based on the described compiler modifications
• Reproducing the paper's results on code-size reduction in type-level libraries
• Studying the soundness proof and implementation details of the unmatchable arrow (↠)
• Exploring higher-order type-level programming techniques in Haskell

Strengths

• Implements a specific, novel language extension (-XUnsaturatedTypeFamilies) with a provided soundness proof
• The associated paper claims substantial code-size reduction (circa 80%) in type-level libraries
• Source is a research artifact linked to a paper from a recognized institution (Imperial College London)

Limitations

• Description metadata is limited; actual data quality requires manual inspection after download
• Column-level documentation is absent; field semantics must be inferred after download
• Row count is unknown, which may limit suitability assessment

Provenance

Source

Csongor Kiss, Imperial College London

Collection Method

Fork of the Glasgow Haskell Compiler (GHC) for research purposes