Typefuck: Brainfuck in the type system

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

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 offense? /Joe 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

On Mon, Nov 16, 2009 at 12:23 PM, Joe Fredette
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 offense?
/Joe
Too late: http://hackage.haskell.org/package/brainfuck http://hackage.haskell.org/package/loli -- gwern

Well then, send it up to the great Hackage machine! If the f-bombs are allowed... I think my package names are about to get alot less SFW... On Nov 16, 2009, at 12:26 PM, Gwern Branwen wrote:
On Mon, Nov 16, 2009 at 12:23 PM, Joe Fredette
wrote: 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 offense?
/Joe
Too late: http://hackage.haskell.org/package/brainfuck http://hackage.haskell.org/package/loli
-- gwern

My personal opinion is that such f-bombs really have no place on what is a font of software dissemination. My point of view is a fallacy however. Consider a new, viable programming language which has a syntax based entirely on GG-Allin lyrics. Obviously this would disgust a decent programmer (aren't we all decent :) One would be pressed to prove that this new language has no scientific value only in order to avoid his disgusting poetry, which could be difficult (and perhaps pointless, which would be worse than difficult) But I think I am fuzzing out beyond what the point of this originally was... yes - this discussion reminds me of both Wadler's law and the phenomenon of Cargo Cults, as according to the Wiki Wiki web (see http://c2.com/cgi/wiki?CargoCult) -- what I mean by this is that however it might be labelled on a software archive, such a program is surely and deeply ****ed. Johnny On Mon, 2009-11-16 at 12:28 -0500, Joe Fredette wrote:
Well then, send it up to the great Hackage machine! If the f-bombs are allowed...
I think my package names are about to get alot less SFW...
On Nov 16, 2009, at 12:26 PM, Gwern Branwen wrote:
On Mon, Nov 16, 2009 at 12:23 PM, Joe Fredette
wrote: 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 offense?
/Joe
Too late: http://hackage.haskell.org/package/brainfuck http://hackage.haskell.org/package/loli
-- gwern

On Mon, Nov 16, 2009 at 6:26 PM, Gwern Branwen
... Too late: ... http://hackage.haskell.org/package/loli
What's the point with loli? Cristiano

On Thu, Nov 19, 2009 at 10:47 AM, Cristiano Paris
On Mon, Nov 16, 2009 at 6:26 PM, Gwern Branwen
wrote: ... Too late: ... http://hackage.haskell.org/package/loli
What's the point with loli?
Mrs Lopsided has all the loli. D -- Dougal Stanton dougal@dougalstanton.net // http://www.dougalstanton.net
participants (5)
-
Cristiano Paris
-
Dougal Stanton
-
Gwern Branwen
-
Joe Fredette
-
Johnny Morrice