XHaskell: Regular Expression Types for Haskell
No Thumbnail Available
Date
2004-09-01T00:00:00Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We introduce an extension of Haskell baptized XHaskell with regular expression types, regular expression pattern matching and semantic subtyping in style of XDuce. The basic idea behind our approach is to make use of Haskell's type class system (with some modest extensions) to verify type correctness and to translate XHaskell to Haskell. A novel feature of XHaskell is to support Hindley/Milner style poly-morphism (among regular expression types) and a limited form of higher-order functions.