Plugging Haskell In (2004)
| Venue: | In Proceedings of the ACM SIGPLAN Workshop on Haskell |
| Citations: | 16 - 4 self |
BibTeX
@INPROCEEDINGS{Pang04plugginghaskell,
author = {André Pang and Don Stewart and Sean Seefried and Manuel M. T. Chakravarty},
title = {Plugging Haskell In},
booktitle = {In Proceedings of the ACM SIGPLAN Workshop on Haskell},
year = {2004},
pages = {10--21},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Extension languages enable users to expand the functionality of an application without touching its source code. Commonly, these languages are dynamically typed languages, such as Lisp, Python, or domain-specific languages, which support runtime plugins via dynamic loading of components. We show that Haskell can be comfortably used as a statically typed extension language, and that it can support type-safe dynamic loading of plugins using dynamic types. Moreover, we discuss how plugin support is especially useful to applications where Haskell is used as an embedded domain-specific language (EDSL). We explain how to realise type-safe plugins using dynamic types, runtime compilation, and dynamic linking, exploiting infrastructure provided by the Glasgow Haskell Compiler. We demonstrate the practicability of our approach with several applications that serve as running examples.
