Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Joe Fredette
Exactly, it's not like the Hackage people are doing extensive background checks of everyone, they just want something consistent. You guys don't _really_ think my name is Joe Fredette, right? I'm actually Batman. /Joe On Apr 4, 2010, at 7:58 PM, Jesper Louis Andersen wrote: On Mon, Apr 5,

[Haskell-cafe] Finish Gtk2hs APIs update!

2010-04-05 Thread Andy Stewart
Hi all, After two weeks work, i have finish update Gtk2hs APIs to Gtk+2.18.3! Gdk and Pango APIs have update to newest version. Please report any problem to gtk2hs mail-list, we can fix it as soon as we can. Below is libraries that gtk2hs support: - libraries list start

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Heinrich Apfelmus
David House wrote: An issue came up on #haskell recently with Hackage accounts requiring real names. The person in question (who didn't send this email as he's wishing to remain anonymous) applied for a Hackage account and was turned down, as he refused to offer his real name for the username.

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Ivan Lazar Miljenovic
Joe Fredette jfred...@gmail.com writes: You guys don't _really_ think my name is Joe Fredette, right? I'm actually Batman. Batman, Joe, whatever your name is... I notice that the HWN has turned into the Haskell Whenever-I-can-be-bothered-getting-around-to-it News... _ -- Ivan Lazar

[Haskell-cafe] Re: ANN: spec2code

2010-04-05 Thread Heinrich Apfelmus
Am 01.04.10 20:53, Greg Fitzgerald wrote: After 5 years of RD, I’m proud to announce the spec2code compiler. With spec2code, developers no longer need to acknowledge the mundane details of programming, such as memory allocation, bounds-checking, byte ordering, inheritance models or performance

[Haskell-cafe] Re: Hughes' parallel annotations for fixing a space leak

2010-04-05 Thread Heinrich Apfelmus
Max Bolingbroke wrote: Heinrich Apfelmus wrote: As I understand it, GHC implements the technique from Sparud's paper, so this is a solved problem. This is not my understanding. As far as I know, the STG machine has a special notion of selector thunks, which represent projections from

Re: [Haskell-cafe] Apparently, Erlang does not have a static type system, since with hot code loading, this is intrinsically difficult.

2010-04-05 Thread wren ng thornton
Jason Dusek wrote: 2010/04/03 Casey Hawthorne cas...@istar.ca: Apparently, Erlang does not have a static type system, since with hot code loading, this is intrinsically difficult. It is doubtless hard to statically check a program that is not statically available :) Well, so long as you

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread David House
.On 5 April 2010 03:57, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: I can understand wishing to be anonymous in these kinds of situations, but in terms of submitting open source software?  Unless their employer is worried about them releasing proprietary software on Hackage, I don't

Re: [Haskell-cafe] Integers v ints

2010-04-05 Thread Jens Blanck
Thanks for your replies. In particular to Jon for the reference to the Haskell 98 standard and the comment about language design. If anyone has further references to Haskell 98 or Erlang, I'm still interested. Regarding cost, I do see the difference in factors (Integer - Int, and computable

[Haskell-cafe] ANN: HaskellTorrent/Combinatorrent v0.2.0

2010-04-05 Thread Jesper Louis Andersen
Goodbye HaskellTorrent, hello Combinatorrent! Due to the internationally acclaimed Boing!'er Shae Erisson, HaskellTorrent has been renamed into Combinatorrent. We thus present Combinatorrent v0.2, Easter eggs release. This release marks yet another milestone in getting a decent bittorrent client

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Ross Paterson
On Sun, Apr 04, 2010 at 10:28:26PM +0100, David House wrote: An issue came up on #haskell recently with Hackage accounts requiring real names. The person in question (who didn't send this email as he's wishing to remain anonymous) applied for a Hackage account and was turned down, as he

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread David House
On 5 April 2010 12:52, Ross Paterson r...@soi.city.ac.uk wrote: Basically http://meatballwiki.org/wiki/RealNameUserAdvantages, especially simplicity, trust and recognizability. Allow me to respond to some of these points. I find none of them particularly convincing, especially not when compared

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Martijn van Steenbergen
+1 for lifting this restriction. On 4/4/10 23:28, David House wrote: An issue came up on #haskell recently with Hackage accounts requiring real names. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Joe Fredette
Unfortunately, Ivan, it's not so much the Whenever-I-can-be-bothered and more the Joe-had-4-finals-in-2-weeks-and-3-papers-to-write. HWN should be back shortly. Come Summertime, I suspect all of these delays will stop, but with a 7 class semester, something's gotta give. /Joe On Apr 5,

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Gwern Branwen
On Sun, Apr 4, 2010 at 5:28 PM, David House dmho...@gmail.com wrote: Hi, An issue came up on #haskell recently with Hackage accounts requiring real names. The person in question (who didn't send this email as he's wishing to remain anonymous) applied for a Hackage account and was turned

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Mihai Maruseac
Maybe some can help him with this. On Mon, Apr 5, 2010 at 4:31 PM, Joe Fredette jfred...@gmail.com wrote: Unfortunately, Ivan, it's not so much the Whenever-I-can-be-bothered and more the Joe-had-4-finals-in-2-weeks-and-3-papers-to-write. HWN should be back shortly. Come Summertime, I

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Ivan Lazar Miljenovic
Joe Fredette jfred...@gmail.com writes: Unfortunately, Ivan, it's not so much the Whenever-I-can-be-bothered and more the Joe-had-4-finals-in-2-weeks-and-3-papers-to-write. HWN should be back shortly. Hang on, I thought your name was Batman, not Joe... -- Ivan Lazar Miljenovic

Re: [Haskell-cafe] Where are the haskell elders?

2010-04-05 Thread Kim-Ee Yeoh
Something I've noticed is the phenomenon of Help Vampires [1] on this list. Amy Hoy: As soon as an open source project, language, or what- have-you achieves a certain notoriety—its half-life, if you will— they swarm in, seemingly draining the very life out of the community itself. She

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Joe Fredette
Thats what I _want_ you to think. :) On Apr 5, 2010, at 10:28 AM, Ivan Lazar Miljenovic wrote: Joe Fredette jfred...@gmail.com writes: Unfortunately, Ivan, it's not so much the Whenever-I-can-be-bothered and more the Joe-had-4-finals-in-2-weeks-and-3-papers-to-write. HWN should be back

Re: [Haskell-cafe] Haskell on Debian

2010-04-05 Thread Alex Rozenshteyn
Anyone? On Wed, Mar 31, 2010 at 9:18 PM, Alex Rozenshteyn rpglove...@gmail.comwrote: $ ghc-pkg check outputs nothing $ ghc-pkg list unix /var/lib/ghc-6.12.1/package.conf.d unix-2.4.0.0 /home/alex/.ghc/x86_64-linux-6.12.1/package.conf.d unix appears to be in the build-depends of the

Re: [Haskell-cafe] Haskell on Debian

2010-04-05 Thread Daniel Fischer
Am Montag 05 April 2010 17:19:35 schrieb Alex Rozenshteyn: Anyone? base isn't listed among the build-depends of the executable, so the obvious thing is to add base to the build-depends and see what happens then (might also be necessary for some other packages). I'm not sure whether iterating

Re: [Haskell-cafe] Haskell on Debian

2010-04-05 Thread Alex Rozenshteyn
I did try that; after adding a bunch of packages to the .cabal file and trying to build i get this: [ 1 of 81] Compiling Plugin.Dict.DictLookup ( Plugin/Dict/DictLookup.hs, dist/build/lambdabot/lambdabot-tmp/Plugin/Dict/DictLookup.o ) Plugin/Dict/DictLookup.hs:33:4: Ambiguous type variable

Re: [Haskell-cafe] Haskell on Debian

2010-04-05 Thread Daniel Fischer
Am Montag 05 April 2010 17:39:29 schrieb Alex Rozenshteyn: I did try that; after adding a bunch of packages to the .cabal file and trying to build i get this: [ 1 of 81] Compiling Plugin.Dict.DictLookup ( Plugin/Dict/DictLookup.hs, dist/build/lambdabot/lambdabot-tmp/Plugin/Dict/DictLookup.o )

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Jonas Almström Duregård
In addition, the concept is rather silly, as one can just take a pseudonym without any of us knowing: When I registered I was prompted to verify my identity by means of my university email (as opposed to my gmail account), which would complicate using a pseudonym. This being said, I have no

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Marc Weber
Well, Is the real name uniq enough? I mean if I google for Marc Weber many Haskell related posts show up. So yes, this is me - but there are also many false hits. So I for my part do no longer trust google results if I want to judge a person. It gives some hints - you can verify by asking the

Re: [Haskell-cafe] Where are the haskell elders?

2010-04-05 Thread Ben Millwood
On Mon, Apr 5, 2010 at 3:35 PM, Kim-Ee Yeoh a.biurvo...@asuhan.com wrote: Something I've noticed is the phenomenon of Help Vampires [1] on this list. Amy Hoy: As soon as an open source project, language, or what- have-you achieves a certain notoriety—its half-life, if you will— they swarm

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Hein Hundal
I don't like using my real name on line unless I am 100% sure that I want my statements recorded for all time and available to anyone. Using a pseudonym allows me to be more honest in my opinions and it allows me to join groups without wondering how my membership in that group will be viewed

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Gour
On Mon, 5 Apr 2010 13:59:50 +0100 David == David House dmho...@gmail.com wrote: David Moreover it makes things more difficult for everyone else. If David someone uses their pseudonym on IRC, on the wiki, on the mailing David lists, on their website and so on and so forth, that's how I David

[Haskell-cafe] GSOC Haskell Project

2010-04-05 Thread Mihai Maruseac
Hello haskellers (men and women)! I had an idea about a graphical debugger for Haskell but it has proven to be not really so much useful. However, I was directed into trying to implement a backtrace-printing debugger as it is known that the community will benefit from it. With this idea in mind,

[Haskell-cafe] Haskell JSON requests from your blog, roll your own Try Haskell!

2010-04-05 Thread Christopher Done
For those interested, http://chrisdone.com/posts/2010-04-05-haskell-json-service-tryhaskell.html I've updated the Haskell JSON service I whipped up a month ago and made it much simpler, written some sample code for how to include this in your blog or tutorials. It supports the JSONP way of

Re: [Haskell-cafe] Re: libraries [was GUI haters]

2010-04-05 Thread aditya siram
Cocoa is probably the best GUI toolkit (open-source or otherwise) that I've seen. However it ties your app to the Mac (and the iPhone). And I don't believe there is a mature Haskell bridge. Cross-platform GUI's like GTK don't look as nice but functions pretty well for what they do. Unfortunately

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Casey McCann
2010/4/5 Jonas Almström Duregård jonas.dureg...@gmail.com: This being said, I have no problem with this restriction. In fact, trying to determine the origin of code before agreeing to distribute it sounds like sound procedure. How so? What does knowing the real name of some code's author tell

Re: [Haskell-cafe] Re: libraries [was GUI haters]

2010-04-05 Thread Jean-Denis Koeck
I'm building a desktop application using Haskell for the logic and Qt/C++ for the GUI (the haskell source is foreign-exported into a shared library). It's been hard to pull off, but it works quite well when you get past the compilation issues. Question to the Mac users on the list: do you find

Re: [Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-05 Thread Jacques Carette
Don Stewart wrote: I think we don't see as much metaprogramming because of other language features -- laziness, operator syntax, and type classes -- make a bunch of common designs work without needing metaprogramming. While true, there are also 2 other reasons for meta-programmers are not

[Haskell-cafe] Break Function Using Lazy Pairs

2010-04-05 Thread aditya siram
Hi all, For the past couple of weeks I've been trying to understand tying-the-knot style programming in Haskell. A couple of days ago, Heinrich Apfelmus posted the following 'break' function as part of an unrelated thread: break [] = ([],[]) break (x:xs) = if x == '\n' then ([],xs) else

Re: [Haskell-cafe] Re: True Random Numbers

2010-04-05 Thread James Cook
As the maintainer of random-fu, I'd be interested to know whether you find it useful after further inspection. It does, in fact, support using /dev/random as its entropy source. I don't know what exact sort of things you're wanting to do, but very basic usage (random Int in IO from

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Jason Dusek
2010/04/05 Casey McCann syntaxgli...@gmail.com: Not to mention that pseudonymity is overwhelmingly the norm on the internet. I suppose this is the collision of two cultures. Lambda the Ultimate also encourages (but does not require) real names. I think this has to do with academic values,

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread David House
On 5 April 2010 23:52, Jason Dusek jason.du...@gmail.com wrote:  There certainly is a significant subculture of anonymity on  the internet but maybe it has spread beyond its useful limits?  There are places where it is helpful (Allberry's examples  above come to mind) but I don't think

Re: [Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-05 Thread Jason Dagit
On Mon, Apr 5, 2010 at 12:27 PM, Jacques Carette care...@mcmaster.cawrote: Don Stewart wrote: I think we don't see as much metaprogramming because of other language features -- laziness, operator syntax, and type classes -- make a bunch of common designs work without needing metaprogramming.

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Jeff Wheeler
On Mon, Apr 5, 2010 at 6:00 PM, David House dmho...@gmail.com wrote: You're coming at this from the wrong angle. Rather than saying, why should we allow pseudonyms? we should ask why are we restricting the freedom of users that just wish to contribute code? Exactly. I don't understand the

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Ivan Lazar Miljenovic
David House dmho...@gmail.com writes: If I'm honest, I'm really surprised so many people have replied in favour of the restriction. I've stated an explicit way in which it's hurting the community, and the only person to say anything in the policy's defence other that well, why not? has been

Re: [Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-05 Thread Casey McCann
On Mon, Apr 5, 2010 at 7:05 PM, Jason Dagit da...@codersbase.com wrote: On Mon, Apr 5, 2010 at 12:27 PM, Jacques Carette care...@mcmaster.ca wrote: 2. people who care about types use a typed meta-language (like metaocaml) instead of an untyped template layer atop a (fantastic!) typed language.

Re: [Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-05 Thread Jacques Carette
Jason Dagit wrote: While true, there are also 2 other reasons for meta-programmers are not all over Haskell: 1. efficiency nuts are already using C++ templates and don't see why they would switch, 2. people who care about types use a typed meta-language (like

Re: [Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-05 Thread Jacques Carette
Casey McCann wrote: Not to speak for Jacques, :-) and then you followed that up with a post with which I fully agree. Jacques but my impression is that while TH itself is typed--it's just more Haskell after all--it doesn't do much to prevent you from generating code that is not well-typed.

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Christopher Done
This discussion makes me ponder whether someone like _why the lucky stiff would ever contribute Haskell packages, hehe. I can count on two hands people I know in various programming communities who have identity issues but are prolific creators. Are we missing out? Probably. But at least there is

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Ivan Miljenovic
On 6 April 2010 10:48, Christopher Done chrisd...@googlemail.com wrote: This discussion makes me ponder whether someone like _why the lucky stiff would ever contribute Haskell packages, hehe. I think we can do without someone who hides behind anonymity and then suddenly decides to go and delete

[Haskell-cafe] How do I use ByteString?

2010-04-05 Thread Günther Schmidt
Hi all, I've never found an easy way to deal with ByteStrings. I'm using the RSA library and it en- and decodes Data.ByteString.Lazy.ByteString. I initially start with Strings, ie. [Char], but there is no function to convert the 2 back and forth. There is however a function which takes

Re: [Haskell-cafe] How do I use ByteString?

2010-04-05 Thread Ivan Miljenovic
2010/4/6 Günther Schmidt gue.schm...@web.de: I initially start with Strings, ie. [Char], but there is no function to convert the 2 back and forth. There is however a function which takes [Word8] to BytesString and back. The problem is one of encoding. If you use the Char8 Bytestring variants,

Re: [Haskell-cafe] How do I use ByteString?

2010-04-05 Thread Gregory Crosswhite
Look in Data.ByteString.Char8 Cheers, Greg On Apr 5, 2010, at 6:27 PM, Günther Schmidt wrote: Hi all, I've never found an easy way to deal with ByteStrings. I'm using the RSA library and it en- and decodes Data.ByteString.Lazy.ByteString. I initially start with Strings, ie. [Char],

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Lyndon Maydwell
How would enforcing a 'real names' policy affect a contributor like _why (http://en.wikipedia.org/wiki/Why_the_lucky_stiff)? I assume they would not join the community. I get the feeling that this discussion is somehow linked to haskell's type-system, but have no idea why...

Re: [Haskell-cafe] How do I use ByteString?

2010-04-05 Thread Don Stewart
gue.schmidt: Hi all, I've never found an easy way to deal with ByteStrings. I'm using the RSA library and it en- and decodes Data.ByteString.Lazy.ByteString. I initially start with Strings, ie. [Char], but there is no function to convert the 2 back and forth. There is however a

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Christopher Done
On 6 April 2010 01:52, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: On 6 April 2010 10:48, Christopher Done chrisd...@googlemail.com wrote: This discussion makes me ponder whether someone like _why the lucky stiff would ever contribute Haskell packages, hehe. I think we can do without

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Lyndon Maydwell
I hardly think you can say that _why had a negative impact on the ruby community... On Tue, Apr 6, 2010 at 9:53 AM, Christopher Done chrisd...@googlemail.com wrote: On 6 April 2010 01:52, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: On 6 April 2010 10:48, Christopher Done

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Possibily not Samuel Bronson after all?
Gwern Branwen gwern0 at gmail.com writes: It must've been put in place in the past year or two; I've never made any bones about using a pseudonym, and I had no trouble getting a Hackage account back when it was starting up. It may have helped that you appear to be using a pseudonym somewhat

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Ertugrul Soeylemez
David House dmho...@gmail.com wrote: * Reputation. Using a RealName is the most credible way to build a combined online and RealLife identity. (Some people don't want this, for whatever reasons.) I agree that the restriction should be lifted. A lot of very smart people do not want their real

[Haskell-cafe] Re: Haskell.org re-design

2010-04-05 Thread Simon Michael
On 4/2/10 5:28 AM, Thomas Schilling wrote: How about something more colourful? http://i.imgur.com/7jCPq.png No-one replied to this, but I like it. You sacrificed some information density for a simple, engaging, low-stress page (which can still rotate in new content frequently). Anything

Re: [Haskell-cafe] Re: Haskell.org re-design

2010-04-05 Thread Ivan Miljenovic
On 6 April 2010 13:24, Simon Michael si...@joyful.com wrote: On 4/2/10 5:28 AM, Thomas Schilling wrote: How about something more colourful? http://i.imgur.com/7jCPq.png No-one replied to this, but I like it. You sacrificed some information density for a simple, engaging, low-stress page

Re: [Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Luke Palmer
On Mon, Apr 5, 2010 at 9:18 PM, Ertugrul Soeylemez e...@ertes.de wrote: David House dmho...@gmail.com wrote: * Reputation. Using a RealName is the most credible way to build a combined online and RealLife identity. (Some people don't want this, for whatever reasons.) I agree that the

Re: [Haskell-cafe] Data Structures GSoC

2010-04-05 Thread Nathan Hunter
Well, one of my most important questions has been indirectly answered. It seems like Map is still the main point of interest, and Jamie Brandon's list of remaining objectiveshttp://www.haskell.org/pipermail/haskell-cafe/2009-March/058270.html include modifying the API to work with the edison or

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Ertugrul Soeylemez
Luke Palmer lrpal...@gmail.com wrote: So all in all there is no convincing argument for the restriction, but at least two convincing arguments against. When you say convincing, you are talking about yourself being convinced, right? So this paragraph means The arguments against my

Re: [Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Ivan Miljenovic
On 6 April 2010 14:28, Ertugrul Soeylemez e...@ertes.de wrote: Luke Palmer lrpal...@gmail.com wrote: When you say convincing, you are talking about yourself being convinced, right?  So this paragraph means The arguments against my position haven't convinced me, but the arguments for my

Re: [Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Jake McArthur
On 04/05/2010 11:32 PM, Ivan Miljenovic wrote: 4) The people who support the policy don't see why anyone has a problem with it. I have seen no logical explanation of *why* anybody supports this policy. I've only seen vague hand-wavy statements like people who use real names are more

[Haskell-cafe] Re: Hackage accounts and real names

2010-04-05 Thread Ertugrul Soeylemez
Ivan Miljenovic ivan.miljeno...@gmail.com wrote: On 6 April 2010 14:28, Ertugrul Soeylemez e...@ertes.de wrote: Luke Palmer lrpal...@gmail.com wrote: When you say convincing, you are talking about yourself being convinced, right?  So this paragraph means The arguments against my position

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Edward Z. Yang
This is a pretty terrible reason, but I'm going to throw it out there: I like real names because they're much more aesthetically pleasing. In my younger days, I once decided, Hey, I should get a pseudonym and I picked something fairly ridiculous, just because everyone else was doing it. I would

Re: [Haskell-cafe] Hackage accounts and real names

2010-04-05 Thread Ivan Miljenovic
On 6 April 2010 15:52, Edward Z. Yang ezy...@mit.edu wrote: This is a pretty terrible reason, but I'm going to throw it out there: I like real names because they're much more aesthetically pleasing.  In my younger days, I once decided, Hey, I should get a pseudonym and I picked something