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

Joe Fredette jfredett at gmail.com
Mon Nov 16 12:23:56 EST 2009

Awesome, however, I don't know what the policy is for such --  
interesting -- names on Hackage. Normally I believe the response to  
"Should I put it on Hackage" is a resounding, immediate "Absolutely."  
In this case, perhaps a small name change to avoid any possibility of  


On Nov 16, 2009, at 12:19 PM, Johnny Morrice wrote:

> 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:
> http://killersmurf.blogspot.com/2009/11/typefuck.html
> Enjoy the ridiculousness.
> Johnny
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list