XHaskell Home Page
What is XHaskell?
XHaskell ("trans-Haskell") is an extension of Haskell with regular expression types, regular expression pattern matching and semantic-subtyping in style of XDuce.
The goal of this project is to incorporate features for dealing with semi-structured data into general-purpose functional language such as Haskell and ML.
What is new?
[Paper] XHaskell - Adding Regular Expression Type to Haskell Martin Sulzmann and Kenny Zhuo Ming Lu 2007 to Appear in Proc of IFL 2007 (ps)
[Slide] XHaskell - Adding Regular Expression Type to Haskell Presented in SingHaskell 2007 (pdf)
[Slide] XHaskell - Adding Regular Expression Type to Haskell Presented in IFL 2007 (ps)
[Technical Report] A Faithful Semantics for Hindley/Milner with Regular Expression Types (Extended Version) Martin Sulzmann and Kenny Zhuo Ming Lu 2007 July(ps)
[XHaskell Implementation] XHaskell now understands type classes, therefore it supports Monads.
- With auto-generated parser combinators and IO monad, you can develop your application fully in XHaskell.
[XHaskell Implementation] XHaskell supports star-comprehension and XPath-style combinator.
- You can re-cast most of your strongly-typed XQuery scripts into XHaskell.
[XHaskell Implementation] XHaskell features with a module system.
With GHC-as-a-library, XHaskell allows you to import Haskell module into a XHaskell module, by writing import YourHaskellModuleName.
[XHaskell Implementation] A better interface with HaXml.
You can easily integrate your HaXml legacy code with XHaskell applications by using the XHaskell library call toHaXml and fromHaXml.
Language Description
Implementation
Application
Publications