Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A compiler architecture for domain-specific type error diagnosis

A compiler architecture for domain-specific type error diagnosis AbstractDomain-specific languages (DSLs) permeate current programming practices. An important kind of DSLs includes those developed and integrated within a host language, which we call embedded or internal DSLs. Unfortunately, embedded DSLs usually fall short on domain-specific error diagnosis, that is, they do not give control to DSL authors over how errors are reported to the programmer. As a consequence, implementation details of the DSL leak through in error messages, and programmers need to understand the internals of the DSL implementation to fix their code in a productive way. This paper addresses the challenge of building a compiler with integrated support for domain-specific error diagnosis. We assume that the type system is described using a constraint-based approach, and constraint solving is specified using rewrite rules. Domain information can then be injected at constraint gathering time via type rules, during constraint solving via specialized rules and axioms, and finally at blaming and reparation time via transformations. Furthermore, we define error contexts as a way to control the order in which solving and blaming proceeds. We engineer domain-specific error diagnosis in such a way that the compiler can also reuse the techniques for improving general error diagnosis. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Open Computer Science de Gruyter

A compiler architecture for domain-specific type error diagnosis

Serrano, Alejandro; Hage, Jurriaan
Open Computer Science , Volume 9 (1): 19 – Feb 1, 2019
Download PDF
19 pages

Loading next page...
 
/lp/de-gruyter/a-compiler-architecture-for-domain-specific-type-error-diagnosis-wKdTkPGM9t
Publisher
de Gruyter
Copyright
© 2019 Alejandro Serrano and Jurriaan Hage, published by De Gruyter Open
eISSN
2299-1093
DOI
10.1515/comp-2019-0002
Publisher site
See Article on Publisher Site

Abstract

AbstractDomain-specific languages (DSLs) permeate current programming practices. An important kind of DSLs includes those developed and integrated within a host language, which we call embedded or internal DSLs. Unfortunately, embedded DSLs usually fall short on domain-specific error diagnosis, that is, they do not give control to DSL authors over how errors are reported to the programmer. As a consequence, implementation details of the DSL leak through in error messages, and programmers need to understand the internals of the DSL implementation to fix their code in a productive way. This paper addresses the challenge of building a compiler with integrated support for domain-specific error diagnosis. We assume that the type system is described using a constraint-based approach, and constraint solving is specified using rewrite rules. Domain information can then be injected at constraint gathering time via type rules, during constraint solving via specialized rules and axioms, and finally at blaming and reparation time via transformations. Furthermore, we define error contexts as a way to control the order in which solving and blaming proceeds. We engineer domain-specific error diagnosis in such a way that the compiler can also reuse the techniques for improving general error diagnosis.

Journal

Open Computer Science – de Gruyter

Published: Feb 1, 2019

References

  • Elm Team Source code for Elm type checker file Type Solve hs
  • Modular type inference with local Assumptions of Functional
    Vytiniotis
  • Team Docs for scala annotation implicitNotFound Retrieved from https www scala lang org api scala annotation implicitNotFound html
    Scala
  • Wies Practical - based type error localization In Proceedings of the th SIGPLAN International Conference on Functional Programming
    Pavlinovic
  • Understanding Functional Dependencies via Constraint Handling Rules of Functional
    Sulzmann
  • Toward general diagnosis of static errors In Proceedings of the st on Principles of Programming Languages New York
    Zhang
  • Instance chains : type class programming without overlapping instances In Proceeding of the th SIGPLAN international conference on Functional programming
    Morris
  • Heuristics for type error discovery and recovery In Implementation and Application of Functional in
    Hage
  • Principal type - schemes for functional programs In Proceedings of the th on Principles of Programming Languages
    Damas
  • Practical type inference for arbitrary - rank types of Functional
    Peyton Jones
  • practical framework for type inference error Explanation In Proceedings of the International Conference on Object - Oriented Programming Systems Languages Applications
    Loncaric
  • Heeren Quality Type Error Messages Ph thesis Universiteit Utrecht The Netherlands September
  • Erdweg Sound type - dependent syntactic language extension In Proceedings of the rd on Principles of Programming Languages
    Lorenzen
  • flexible search framework for CHR In Constraint Handling Rules in
    De Koninck
  • How to repair type errors automatically In Trends in Functional Programming
    McAdam
  • Reflect on Your Mistakes Lightweight Domain - Specific Error Messages Presented at http davidchristiansen dk drafts error reflection submission pdf
    Christiansen
  • Type error diagnosis for embedded DSLs by two - stage specialized type rules In : Proceedings of the th on and Springer - Verlag New York
    Serrano
  • Lightweight Soundness for Towers of Language Extensions In Proceedings of the Workshop on Partial Evaluation and Program Manipulation
    Serrano
  • Higher - order abstract syntax In Proceedings of the conference on Programming language design and implementation
    Pfenning
  • Associated type synonyms In Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
    Chakravarty
  • Report https www haskell org onlinereport haskell
    Marlow
  • Guarded impredicative polymorphism In of the th Conference on Programming and Implementation
    Serrano
  • Custom type errors Available at https ghc haskell org trac ghc wiki Proposal CustomTypeErrors
    Diatchki
  • Building domain - specific embedded languages Special issue : position statements on strategic directions in computing research Article No
    Hudak
  • On the unification of substitutions in type inference In Implementation of in
    McAdam
  • Improving Human - Compiler Interaction Through Customizable Type Feedback https infoscience epfl ch record files splash pdf
    Plociniczak
  • Proofs about a folklore let - polymorphic type inference algorithm on and
    Lee
  • DSL Designing Implementing Using Domain Specific Languages
    Voelter
  • Domain specific type error diagnosis Technical Report Department of Utrecht University
    Hage
  • Type inference and type error diagnosis for with extensions Ph thesis University of Melbourne Australia
    Wazny
  • Algebraic Data Types In and FLOPS in vol
    Hagiya
  • typechecker plugin for units of measure : domain - specific constraint solving in GHC In Proceedings of the on
    Gundry
  • Heeren Type class directives In of in
    Hage
  • Type processing by constraint reasoning In and in
    Stuckey
  • Heeren Strategies for Solving Constraints in Type and Effect Systems Electronic Notes in
    Hage