Constraint-Based Type-Directed Program Synthesis
Programming Languages
2019-07-09 v1
Abstract
We explore an approach to type-directed program synthesis rooted in constraint-based type inference techniques. By doing this, we aim to more efficiently synthesize polymorphic code while also tackling advanced typing features such as GADTs that build upon polymorphism. Along the way, we also present an implementation of these techniques in Scythe, a prototype live, type-directed programming tool for the Haskell programming language and reflect on our initial experience with the tool.
Cite
@article{arxiv.1907.03105,
title = {Constraint-Based Type-Directed Program Synthesis},
author = {Peter-Michael Osera},
journal= {arXiv preprint arXiv:1907.03105},
year = {2019}
}
Comments
Extended version of report that appeared in TyDe 2019