Partial type signatures for the Effekt language

Partial type signatures are type signatures allowing wildcards in their definition. These wildcards are placeholders for other types which are inferred at compile-time. By using these wildcards, a programmer is able to annotate parts of a type signature manually and let the typer infer the rest. Therefore partial type signatures allow us to omit potentially long and complex parts of a type annotation while providing more restrictions to the type than without any annotation.

Haskell is one of the programming languages already implementing partial type signatures. Here wildcards are written as _ and are allowed in bindings, pattern and expression signatures.

The goal of this thesis is to implement partial type signatures in the Effekt programming language. Partial type signatures should be useable for different type signatures in different contexts.


Marcial Gaißert

Jonathan Brachthäuser