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 typechecker for ASTs extracted by HSE.
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 Haskell.org 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.
 What I mean of “clean” is so far a mystery