XHaskell Home PageWhat 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 DescriptionImplementationApplicationPublicationsDiscussion- Discussion
- Developers-corner
- Bug-tracking
|