Type-safe pattern combinators

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

Macros still haven't made their way into typed higher-order programming languages such as Haskell and Standard ML. Therefore, to extend the expressiveness of Haskell or Standard ML, one must express new linguistic features in terms of functions that fit within the static type systems of these languages. This is particularly challenging when introducing features that span across multiple types and that bind variables. We address this challenge by developing, in a step by step manner, mechanisms for encoding patterns and pattern matching in Haskell in a type-safe way.
Original languageEnglish
JournalJournal of Functional Programming
Volume19
Issue number2
Pages (from-to)145156
ISSN0956-7968
DOIs
Publication statusPublished - 2009

Cite this