Suggesting Valid Hole Fits for Typed-Holes in Haskell

Suggesting Valid Hole Fits for Typed-Holes in Haskell
复制标题

在 Haskell 中为类型孔建议有效的孔配合

DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Matthías Páll Gissurarson
Matthías Páll Gissurarson
中科院分区：
--
文献类型：
--
作者：
Matthías Páll Gissurarson

文献摘要

被引文献

相似文献

大多数程序都是从某种规格说明开发的，类型系统允许 程序员通过类型将此规范的一部分传达给编译器。 然后，可以使用这些类型来验证实现是否与此分部匹配 规范.但是这些类型是否可以在开发过程中帮助程序员， 超出验证？在这篇论文中，我提出了一个轻量级的，实用的扩展 GHC的类型孔，提高用户体验，并促进风格， 这就是所谓的“类型驱动的开发”。
Most programs are developed from some sort of specification, and type systems allow programmers to communicate part of this specification to the compiler via the types. The types can then be used to verify that the implementation matches this partial specification. But can the types be used to aid programmers during development, beyond verification? In this thesis I present a lightweight and practical extension to the typed-holes of GHC that improves user experience and facilitates a style of programming called “Type-Driven Development”.