Hello dear visitors,

I am excited!
I am excited cause my proposal “Haskell-Type-Exts”, submitted to haskell community, has been accepted for Google SoC’12!
I am going to have lots of fun this summer.
I am excited cause I am going to write a clean[2] typechecker for ASTs extracted by HSE[1].
HSE is one of the most widely used (if not the most popular) standalone parsers for Haskell 2010 plus a wide variety of extensions.
HSE is written (and maintained) by Niklas Broberg and he is also mentoring this project.

Functional programming is cool, Haskell is awesome and definitely working on its type system would be exciting.

Now that I have this luxury (thanks to committee), I would like to share it with you here, in this weblog.

Stay tuned if you are interested in Haskell and its type system.



[2] What I mean of “clean” is so far a mystery :)

About Shayan

Researcher/Programmer at Chalmers University of Technology
This entry was posted in Articles. Bookmark the permalink.

One Response to Kickoff

  1. Luke says:

    Awesome! Good luck on this project, I will have many uses for it :-)

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s