The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity

Authors:
Atze Dijkstra;Jeroen Fokker;S. Doaitse Swierstra
Affiliations:
Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, Netherlands;Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, Netherlands;Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, Netherlands
Venue:
Implementation and Application of Functional Languages
Year:
2008

Citing 19
Cited 0

Literate programming

The Computer Journal
Eli: a complete, flexible compiler construction system

Communications of the ACM
Algebra of programming

Algebra of programming
A transformation-based optimiser for Haskell

Science of Computer Programming - Special issue on the 6th European symposium on programming
Types and programming languages

Types and programming languages
Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
JastAdd: an aspect-oriented compiler construction system

Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Compiling Haskell by Program Transformation: A Report from the Trenches

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Stratego: A Language for Program Transformation Based on Rewriting Strategies

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
A Tool Box for Compiler Construction

CC '90 Proceedings of the Third International Workshop on Compiler Construction
Merging Monads and Folds for Functional Programming

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages

IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
Secrets of the Glasgow Haskell Compiler inliner

Journal of Functional Programming
Ott: effective tool support for the working semanticist

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
The jastadd extensible java compiler

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
The JastAdd system — modular extensible compiler construction

Science of Computer Programming
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Ruler: programming type rules

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Typing haskell with an attribute grammar

AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our approach splits both language and implementation into smaller, manageable steps, and uses specific tools to generate parts of the compiler from higher level descriptions.