In English

Suggesting Valid Hole Fits for Typed-Holes in Haskell

Matthías Páll Gissurarson
Göteborg : Chalmers tekniska högskola, 2018. 119 s.
[Examensarbete på avancerad nivå]

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”.

Nyckelord: Typed-Holes, Haskell, GHC, Type-Driven Development, Functional Programming



Publikationen registrerades 2018-10-08. Den ändrades senast 2018-10-08

CPL ID: 256110

Detta är en tjänst från Chalmers bibliotek