POPL 2023 (series) / PADL 2023 (series) / PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages /
Embedding Functional Logic Programming in Haskell via a Compiler Plugin
Tue 17 Jan 2023 11:30 - 12:00 at The Loft - Functional (Logic) Programming Chair(s): William E. Byrd
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.
| Slides (Slides.pdf) | 286KiB |
Tue 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Functional (Logic) ProgrammingPADL at The Loft Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
11:00 30mTalk | RICE: An Optimizing Curry Compiler PADL Steven Libby University of Portland | ||
11:30 30mTalk | Embedding Functional Logic Programming in Haskell via a Compiler Plugin PADL Kai-Oliver Prott University of Kiel, Germany, Finn Teegen University of Kiel, Germany, Jan Christiansen Flensburg University of Applied Sciences, Germany DOI File Attached | ||
12:00 30mTalk | Program Synthesis Using Example Propagation PADL Niek Mulleners Utrecht University, Johan Jeuring Utrecht University, Bastiaan Heeren Open University of the Netherlands, Netherlands | ||