TY - CPAPER
AU - Kai-Oliver Prott
AU - Finn Teegen
AU - Jan Christiansen
AB - 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 build a full blown compiler for our language.
BT - Practical Aspects of Declarative Languages
CY - Boston, MA, USA
DO - 10.1017/978-3-031-24841-2_3
N2 - 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 build a full blown compiler for our language.
PB - Springer
PP - Boston, MA, USA
PY - 2023
T2 - Practical Aspects of Declarative Languages
TI - Embedding Functional Logic Programming in Haskell via a Compiler Plugin
ER -