The need for easily extendable programming language tools has all but

disappeared with the proliferation of language and paradigms and new

compilation tools. A particular area of new language research is the

domain of parallel programming which often requires new language

abstractions on various levels.



We introduce a framework for building extendable

compilers with composable abstractions utilizing features of

object-oriented design, functional programming and dependent types.

We demonstrate our approach with examples from parsing and intermediate

representation formats extracted from the compiler for a parallel

Replica language and make a brief evaluation of the approach

from point of view of developer productivity.