Pickering, Matthew T

English

Multi-stage programming languages have long promised programmers the means to program libraries with specific performance guarantees. Despite this, the adoption into mainstream high-level languages such as Haskell, Scala and OCaml has been very slow. In particular, our focus, Typed Template Haskell has been implemented for a number of years but the ecosystem has failed to adopt the multi-stage ideas. The situation hasn’t been helped by a number of soundness and expressivity issues with the current implementation.In this thesis we tackle the problem of soundly combining multi-stage features with other features as commonly found in modern programming languages. The main contribution is the design and implementation of a language which combines multiple stages with implicit arguments and an elaboration phase. The goal is to provide a firmer foundation for future implementations and to enable library writers to use multi-stage features with confidence in conjunction with the rest of the Haskell language

Explore Bristol Research

Understanding the interaction between elaboration and quotation

https://research-information.bris.ac.uk/files/298086479/Final_Copy_2021_03_23_Pickering_M_PhD.pdf

Understanding the interaction between elaboration and quotation

Abstract

Similar works

Full text

Available Versions

Explore Bristol Research