[Haskell-cafe] Typefuck: Brainfuck in the type system

Johnny Morrice spoon at killersmurf.com
Mon Nov 16 12:19:30 EST 2009

Greetings list,

I was um well, drinking beer and thought it would be amusing to write a
brainfuck interpreter which runs within the GHC type checker so I did,
using type families.

I haven't decided whether or not to put it on hackage (it is rather
silly after all) but I have a link to a cabalized package and
instructions on how to work it in an entry on my blog, here:

Enjoy the ridiculousness.


More information about the Haskell-Cafe mailing list