Constraint-based type-directed program synthesis
Constraint-based type-directed program synthesis
复制标题
DOI：
10.1145/3331554.3342608
复制
发表时间：
2019-07
期刊：
影响因子：
--
通讯作者：
Peter-Michael Osera
中科院分区：
文献类型：
--
作者：
Peter-Michael Osera
我们探索一种植根于基于约束的类型推理技术的类型导向程序综合方法。通过这样做，我们的目标是更有效地合成多态代码，同时解决高级类型功能，例如基于多态性的 GADT。在此过程中，我们还在 Scythe 中展示了这些技术的实现，Scythe 是 Haskell 编程语言的原型实时类型导向编程工具，并反思了我们使用该工具的初步经验。
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.