My favorites | Sign in
Project Logo
                
Search
for
Updated Feb 28, 2008 by luzhuomi
homepage  

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

Discussion


Sign in to add a comment
Hosted by Google Code