Re: [Haskell-cafe] Typefuck: Brainfuck in the type system
On Thu, Nov 19, 2009 at 10:47 AM, Cristiano Paris wrote: > 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 dou...@dougalstanton.net // http://www.dougalstanton.net ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Typefuck: Brainfuck in the type system
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? Cristiano ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Typefuck: Brainfuck in the type system
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 > ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Typefuck: Brainfuck in the type system
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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Typefuck: Brainfuck in the type system
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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Typefuck: Brainfuck in the type system
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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] 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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe