Suggesting Valid Hole Fits for Typed-Holes in Haskell

Visa enkel post
dc.contributor.authorGissurarson, Matthías Páll
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T14:54:56Z
dc.date.available2019-07-03T14:54:56Z
dc.date.issued2018
dc.description.abstractMost 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”.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/256110
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectComputer and Information Science
dc.titleSuggesting Valid Hole Fits for Typed-Holes in Haskell
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeComputer science – algorithms, languages and logic (MPALG), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
256110.pdf
Storlek:
1.05 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen