[PADL'23] Embedding Functional Logic Programming in Haskell via a Compiler Plugin

[PADL'23] Embedding Functional Logic Programming in Haskell via a Compiler Plugin

Kai-Oliver Prott, Finn Teegen, Jan Christiansen

We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get many language extensions that GHC provides for free in the embedded language. As a result, we obtain a seamless embedding of a functional logic language, without having to implement a full compiler. We briefly show that our approach can be used to embed other domain-specific languages as well. Furthermore, we can use such a plugin to built a full blown compiler for our language.