From AST definition to monadic DSL
A nicer way to write code generators in Template Haskell
A nicer way to write code generators in Template Haskell
Can the functional programming paradigm help implementing emulators ?
Leveraging GHC's CSE to optimise complex pattern matching
Using Template Haskell to derive the structure of records and simulate structural subtyping
A ROX on self-hosting media and how it impacted the way I consume multimedia
Packed Data x Haskell = Portable(Type-safety + performance)
'Reimplementing' data-reify for GADTs
Going through the implementation of support for Videos in Meelo
How the project came to be & what the original goals were