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

2010-04-06 Thread Miguel Mitrofanov
Out of curiosity: is there something wrong with my nickname migmit? I'm not gonna change it anyway. On 6 Apr 2010, at 09:52, Edward Z. Yang 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

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

2010-04-06 Thread Jonas Almström Duregård
Maybe users could choose between using a real name and being given a random one (like AnonymousN). This will (1) protect from data mining, (2) protect from government persecution and (3) keep the damned 1337 Haxxor names away from Hackage :) On 6 April 2010 08:02, Miguel Mitrofanov

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

2010-04-06 Thread Pekka Enberg
On Tue, Apr 6, 2010 at 7:32 AM, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: 5) No-one is convincing anyone else to their point of view, so we have a stale mate. Can you really legally distribute your software under an open source license if you don't use your real name? At least the Linux

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

2010-04-06 Thread wren ng thornton
Ertugrul Soeylemez wrote: Human identity is much more than just a file descriptor or a map key, and people from academia often don't get this, because they don't have to fear using their real names. Particularly in economically illiberal countries being known as the author of a certain Haskell

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

2010-04-06 Thread Ketil Malde
Pekka Enberg penb...@cs.helsinki.fi writes: Can you really legally distribute your software under an open source license if you don't use your real name? I think it would be hard to enforce any copyright license without revealing the connection between your pseudonym and real person, but I

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

2010-04-06 Thread Colin Paul Adams
Pekka == Pekka Enberg penb...@cs.helsinki.fi writes: Pekka On Tue, Apr 6, 2010 at 7:32 AM, Ivan Miljenovic Pekka ivan.miljeno...@gmail.com wrote: 5) No-one is convincing anyone else to their point of view, so we have a stale mate. Pekka Can you really legally distribute

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

2010-04-06 Thread Sittampalam, Ganesh
Ivan Miljenovic wrote: 5) No-one is convincing anyone else to their point of view, so we have a stale mate. Would allowing pseudonyms but requiring them to be explicitly marked as such be an acceptable compromise? Ganesh

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

2010-04-06 Thread David House
2010/4/6 Jonas Almström Duregård jonas.dureg...@gmail.com: Maybe users could choose between using a real name and being given a random one (like AnonymousN). This will (1) protect from data mining, (2) protect from government persecution and (3) keep the damned 1337 Haxxor names away from

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

2010-04-06 Thread David House
On 6 April 2010 05:01, 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 position have. Had I been told a convincing

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

2010-04-06 Thread David House
On 6 April 2010 05:32, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: 5) No-one is convincing anyone else to their point of view, so we have a stale mate. Let me summarise the main arguments against the restriction: 1. It stops people from contributing to hackage. (It is immaterial that if

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

2010-04-06 Thread Johan Tibell
On Tue, Apr 6, 2010 at 5:24 AM, 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 I really like the simplicity of the Cassandra page: http://cassandra.apache.org/

Haskell+Cassandra was: RE: [Haskell-cafe] Re: Haskell.org re-design

2010-04-06 Thread Dr . Martin Grabmüller
Maybe a bit off-topic, but as Johan mentioned the Cassandra web site... Are there any Haskellers out there using Cassandra with Haskell? Thanks, Martin -Original Message- From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Johan Tibell

Re: Haskell+Cassandra was: RE: [Haskell-cafe] Re: Haskell.org re-design

2010-04-06 Thread Johan Tibell
On Tue, Apr 6, 2010 at 11:41 AM, Dr. Martin Grabmüller martin.grabmuel...@eleven.de wrote: Maybe a bit off-topic, but as Johan mentioned the Cassandra web site... Are there any Haskellers out there using Cassandra with Haskell? Not yet but I plan to write a binding for it if I ever get time.

Re: Haskell+Cassandra was: RE: [Haskell-cafe] Re: Haskell.org re-design

2010-04-06 Thread Sean Leather
On Tue, Apr 6, 2010 at 11:47, Johan Tibell wrote: On Tue, Apr 6, 2010 at 11:41 AM, Dr. Martin Grabmüller martin.grabmuel...@eleven.de wrote: Maybe a bit off-topic, but as Johan mentioned the Cassandra web site... Are there any Haskellers out there using Cassandra with Haskell? Not yet

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

2010-04-06 Thread Ivan Lazar Miljenovic
David House dmho...@gmail.com writes: 2. Inconsistency. If someone is known by their pseudonym on the mailing list, IRC, haskellwiki, blogs and so on, that is how I know them. How am I meant to find out their real name, in general? The rest of the internet works off pseudonyms and it is more

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

2010-04-06 Thread Ivan Lazar Miljenovic
Miguel Mitrofanov miguelim...@yandex.ru writes: Out of curiosity: is there something wrong with my nickname migmit? How it was derived is at least apparent, as opposed to nicknames that have nothing to do with people's real names. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com

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

2010-04-06 Thread roma
On Tue, 06 Apr 2010 20:06:27 +1000, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: I've been over this thread and couldn't see anywhere where you'd made an attempt to refute these arguments, so I guess you take them as solid. On the other hand, every argument put forward by the

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

2010-04-06 Thread Bulat Ziganshin
Hello aditya, Saturday, April 3, 2010, 6:56:23 AM, you wrote: Haskell. And I'm also wondering why metaprogramming is used much more in Ocaml than in Haskell. reasons are two-folded: haskell is more powerful language. in particular, there are lots of generic programming approaches besides TH.

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

2010-04-06 Thread Ketil Malde
David House dmho...@gmail.com writes: Let me summarise the main arguments against the restriction: 1. It stops people from contributing [..] 2. Inconsistency [..] 3. Privacy issues [..] 4. It inteferes with people's freedom - who has the right to dictate what name a person (or, for that

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

2010-04-06 Thread Serguey Zefirov
2010/4/6 r...@ro-che.info: On Tue, 06 Apr 2010 20:06:27 +1000, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: I've been over this thread and couldn't see anywhere where you'd made an attempt to refute these arguments, so I guess you take them as solid. On the other hand, every

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

2010-04-06 Thread Ivan Lazar Miljenovic
Ketil Malde ke...@malde.org writes: 5. It encourages dishonesty: if you want to contribute but not reveal your real name, you have the option to lie about it, and can be fairly confident your lie will never be called. This to me sounds like a reason _for_ the policy (actually, a stricter

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

2010-04-06 Thread Andres Loeh
Let me summarise the main arguments against the restriction: 1. It stops people from contributing [..] 2. Inconsistency [..] 3. Privacy issues [..] 4. It inteferes with people's freedom - who has the right to dictate what name a person (or, for that matter, a group of people) should

[Haskell-cafe] Confusions about the Haskell Platform (for Mac)

2010-04-06 Thread Sean Leather
1. Why can't the platform download site be hosted on www.haskell.org instead of hackage.haskell.org? I see that there's a redirect, but (imho) it would be ideal to have www.haskell.org/platform be the standard URL in my browser. It is easier to remember (for typing) and more obvious (for

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

2010-04-06 Thread David Virebayre
And another +1 from me too. Keeping the policy will only achieve that people who want to stay anonymous will stay away from hackage, and that's not something (IMHO) we should want. David. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Re: Confusions about the Haskell Platform (for Mac)

2010-04-06 Thread Sean Leather
On Tue, Apr 6, 2010 at 13:47, Sean Leather wrote: 1. [...] 7. 8. The binaries do not work on Leopard (10.5.8). $ /usr/local/bin/cabal dyld: unknown required load command 0x8022 Trace/BPT trap This was previously reported at

Re: [Haskell-cafe] FRP, arrows and loops

2010-04-06 Thread Maciej Piechotka
On Fri, 2010-04-02 at 14:51 -0400, Christopher Lane Hinson wrote: On Fri, 2 Apr 2010, Maciej Piechotka wrote: 1. How to interpret ArrowLoop? I have two possible implementations: type RunSF a = a Dynamic () data SF a b c = SF (a (Dynamic, b, RunSF, Set Unique) (c, Set Unique, SF a b

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

2010-04-06 Thread Ross Paterson
On Tue, Apr 06, 2010 at 10:10:09AM +0100, David House wrote: 3. Privacy issues. Some people simply cannot reveal their real names. I've already said I was prepared to make exceptions in such cases, but perhaps you missed that. ___ Haskell-Cafe mailing

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

2010-04-06 Thread Tony Finch
I note that in some jurisdictions there is no such thing as a real name. You can change your name for legal purposes (on official documentation and so forth) simply by asserting that this is the name you prefer to be known by. Your legal name doesn't have to be the same as your everyday name (mine

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

2010-04-06 Thread Heinrich Apfelmus
Edward Z. Yang 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. I agree, and this is why I phased out apfelmus in favor of the pseudonym Heinrich Apfelmus. So, a more accurate policy would be to

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

2010-04-06 Thread Roel van Dijk
On Tue, Apr 6, 2010 at 1:08 PM, Serguey Zefirov sergu...@gmail.com wrote: http://lambda-the-ultimate.org is one lovely community that has that restriction: http://lambda-the-ultimate.org/policies#Policies LtU has no restriction on user names. From LtU's policy: Anonymity and the use of

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

2010-04-06 Thread Jake McArthur
On Tue, Apr 6, 2010 at 6:08 AM, Serguey Zefirov sergu...@gmail.com wrote: http://lambda-the-ultimate.org is one lovely community that has that restriction: http://lambda-the-ultimate.org/policies#Policies I quote the policy in full here: Many of us here post with our real, full names.

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

2010-04-06 Thread Steve Schafer
On Tue, 06 Apr 2010 14:57:30 +0200, you wrote: I agree, and this is why I phased out apfelmus in favor of the pseudonym Heinrich Apfelmus. You mean your name isn't really Applesauce? Steve Schafer ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

2010-04-06 Thread Don Stewart
leather: 1. Why can't the platform download site be hosted on www.haskell.org instead of hackage.haskell.org? I see that there's a redirect, but (imho) it would be ideal to have www.haskell.org/platform be the standard URL in my browser. It is easier to remember (for typing) and more

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

2010-04-06 Thread Heinrich Apfelmus
Jacques Carette wrote: Jason Dagit wrote: Are you implying that template haskell is not typed? Indeed. [...] Compare with metaocaml where if you can compile you meta-program (i.e. code generator), then you are guaranteed that it can only ever produce valid, well-typed code. Not so with

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

2010-04-06 Thread Mads Lindstrøm
Hi Don Stewart wrote: 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

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

2010-04-06 Thread Heinrich Apfelmus
aditya siram wrote: 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. There is hoc http://code.google.com/p/hoc/ but it's not on hackage and seems a

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

2010-04-06 Thread Daniel Fischer
Am Dienstag 06 April 2010 14:57:30 schrieb Heinrich Apfelmus: Edward Z. Yang 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. I agree, and this is why I phased out apfelmus in favor of the

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

2010-04-06 Thread Nicolas Pouillard
On Tue, 06 Apr 2010 15:08:45 +0200, Heinrich Apfelmus apfel...@quantentunnel.de wrote: Jacques Carette wrote: Jason Dagit wrote: Are you implying that template haskell is not typed? Indeed. [...] Compare with metaocaml where if you can compile you meta-program (i.e. code

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

2010-04-06 Thread Heinrich Apfelmus
Jean-Denis Koeck wrote: Question to the Mac users on the list: do you find that Qt applications feel native enough on your platform ? If not, any tips ? Well, that depends on your definition of enough. :) The most important thing is probably that cross platform applications always look

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

2010-04-06 Thread Ketil Malde
Mads Lindstrøm mads_lindstr...@yahoo.dk writes: It may seem unfair that I put byte-strings and char-strings in the same bucket, but libraries do use byte-strings to contain characters. For example, Parsec has a [Char] and a bytestring interface. It bears noting that Data.ByteString and

[Haskell-cafe] Re: Seeking advice about monadic traversal functions

2010-04-06 Thread Heinrich Apfelmus
Darryn Reid wrote: Martijn van Steenbergen wrote: A small remark: I prefer using applicative notation for this: go Next (Single x t1) = Single x $ rewrite f t1 go Next (Fork t1 t2 ) = Fork $ rewrite f t1 * rewrite f t2 Thanks for your comment and advice. Could you explain a little

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

2010-04-06 Thread Jacques Carette
One thing I should have mentionned - TH and camlp4 are really equivalents. And camlp4 is as-typed-as TH (or not, depending on your point of view). I am co-author of a camlp4 extension, and I must admit that coding in camlp4 was not enjoyable, while coding in metaocaml (eventually) is. [I

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

2010-04-06 Thread Nicolas Pouillard
On Tue, 06 Apr 2010 09:37:59 -0400, Jacques Carette care...@mcmaster.ca wrote: One thing I should have mentionned - TH and camlp4 are really equivalents. And camlp4 is as-typed-as TH (or not, depending on your point of view). I am co-author of a camlp4 extension, and I must admit that

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

2010-04-06 Thread Thomas Schilling
Well, they make the wannabe-designer mistake of using justified text in HTML, even worse, for columns just 3 words wide. The overall layout, is pretty nice though. It's essentially the standard Web 2.0 layout (compare http://basecamphq.com/, http://www.blinksale.com/,

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

2010-04-06 Thread Mario Blažević
Patrick LeBoutillier wrote: ... Basically I'm looking for a bit of feedback/info: - Does anyone know if there are already similar projets out there? You've already got some references, you can also look at http://hackage.haskell.org/package/scc which includes a shell language. - Does

[Haskell-cafe] Re: HXT Namespaces and XPath

2010-04-06 Thread Uwe Schmidt
Hi Mads, In HXT, namespace prefixes bound by an XML document are valid in the context of an XPath. How do avoid that? An example program will clarify: simpleXml :: String simpleXml = soap:Body xmlns:soap=\http://www.w3.org/2003/05/soap-envelope\/ nsEnv :: [(String, String)] nsEnv =

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

2010-04-06 Thread Sean Leather
A question of my own: is there any written design (an academic paper would be perfect) of a functional shell language? A few: http://www.citeulike.org/user/spl/tag/shell More resources: http://www.cse.unsw.edu.au/~pls/thesis-topics/functionalshell.html Regards, Sean

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

2010-04-06 Thread Stephen Tetley
On 6 April 2010 15:09, Mario Blažević mblaze...@stilo.com wrote:        A question of my own: is there any written design (an academic paper would be perfect) of a functional shell language? Olin Shivers has written a detailed paper on Scsh.

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

2010-04-06 Thread Daniel Peebles
I'm definitely not a design/color person, but has anyone considered using kuler.adobe.com as a source of nice color schemes, since we seem to have an issue coming up with attractive combinations? On Tue, Apr 6, 2010 at 9:58 AM, Thomas Schilling nomin...@googlemail.comwrote: Well, they make the

[Haskell-cafe] Re: HXT error handling

2010-04-06 Thread Uwe Schmidt
Hi Mads, I am trying to use HXT to evaluate XPath expressions. The XPath expressions are not specified by myself, but by users of my program. However, the idea behind HXT's error handling confuses me. Maybe somebody can enlighten me. This program fragment: evalXPath :: String - String

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

2010-04-06 Thread Jonas Almström Duregård
I think this is a bad idea as it ruins recognisability. How am I meant to know that anonymous1 on hackage is the same person as mrfoo on haskellwiki, for example? I should not have to point out how unreliable this method of identifying individuals is... I suppose there is no way of preventing

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

2010-04-06 Thread Gregory Collins
Sean Leather leat...@cs.uu.nl writes: 4. The current link for the Mac image points to http://hackage.haskell.org/platform/2010.1.0.0/haskell-platform-2010.1.0.1-i386.dmg . Note the inconsistency between the version in the directory and file names. You can think of that one as the second

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

2010-04-06 Thread Gwern Branwen
On Tue, Apr 6, 2010 at 11:17 AM, Stephen Tetley stephen.tet...@gmail.com wrote: On 6 April 2010 15:09, Mario Blažević mblaze...@stilo.com wrote:        A question of my own: is there any written design (an academic paper would be perfect) of a functional shell language? Olin Shivers has

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

2010-04-06 Thread Sean Leather
Hi Gregory, Thanks for the reply. Gregory Collins wrote: Sean Leather writes: 4. The current link for the Mac image points to http://hackage.haskell.org/platform/2010.1.0.0/haskell-platform-2010.1.0.1-i386.dmg . Note the inconsistency between the version in the directory and file

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

2010-04-06 Thread Gregory Collins
Sean Leather leat...@cs.uu.nl writes: Too bad the installer still doesn't work -- I'm working on it everyone, but the Mac installer system is incredibly crufty and broken, and Snow Leopard broke a lot of stuff for me. Is it possible to build the installer on a Leopard

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

2010-04-06 Thread Thomas Schilling
Well, I used http://www.colorschemedesigner.com/ On 6 April 2010 16:20, Daniel Peebles pumpkin...@gmail.com wrote: I'm definitely not a design/color person, but has anyone considered using kuler.adobe.com as a source of nice color schemes, since we seem to have an issue coming up with

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

2010-04-06 Thread Jeff Heard
There's colourlovers.com as well On Apr 6, 2010, at 12:41 PM, Thomas Schilling nomin...@googlemail.com wrote: Well, I used http://www.colorschemedesigner.com/ On 6 April 2010 16:20, Daniel Peebles pumpkin...@gmail.com wrote: I'm definitely not a design/color person, but has anyone

[Haskell-cafe] hsql repository

2010-04-06 Thread Daniil Elovkov
Hello I've looked at hsql-* packages at hackage and found that they have progressed to 1.8.1. However, as always there is no hsql-oracle on hackage. It was usually found in the repository. But I can't find where the repository is. Places, like code.haskell.org and htoolkit.sourceforge.net

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

2010-04-06 Thread Stephen Tetley
On 6 April 2010 16:56, Gwern Branwen gwe...@gmail.com wrote: The Scsh manual is worth reading just for the introductory material. Hi Gwern The Scsh manual is worth reading for the Acknowledgements section - which is somewhat famous. Looking over them both it seems most of the material in the

[Haskell-cafe] Re: HXT error handling

2010-04-06 Thread Mads Lindstrøm
Hi Uwe This is a right point. Here the current XPath calling interface is too simple. A separation into XPath parsing and evaluation would be more flexible. The parsing (and error handling of XPath syntax errors) could be done once. I will extend the interface to support this. That would be

[Haskell-cafe] Re: HXT Namespaces and XPath

2010-04-06 Thread Mads Lindstrøm
Hi Uwe I read your reply multiple times, but I am still confused. I think either I misunderstand you or I did not explain myself properly in the first mail. Hi Mads, In HXT, namespace prefixes bound by an XML document are valid in the context of an XPath. How do avoid that? An

[Haskell-cafe] Re: HXT error handling

2010-04-06 Thread Uwe Schmidt
Hi Mads, This is a right point. Here the current XPath calling interface is too simple. A separation into XPath parsing and evaluation would be more flexible. The parsing (and error handling of XPath syntax errors) could be done once. I will extend the interface to support this.

Re: [Haskell-cafe] Re: HXT Namespaces and XPath

2010-04-06 Thread Mads Lindstrøm
Hi Replying to myself: I think another example will clarify my point. The code: simpleXmlOne, simpleXmlTwo :: String simpleXmlOne = a:Foo xmlns:a=\http://foo.org\/ simpleXmlTwo = b:Foo xmlns:b=\http://foo.org\/ nsEnv :: [(String, String)] nsEnv = [ (notFoo, http://notfoo.org;) ]

[Haskell-cafe] Re: GSOC Haskell Project

2010-04-06 Thread Mihai Maruseac
Hello again Following a feedback (courtesy of lispy) of my proposal on #haskell, I come to complete it with some bits here and there. First, a short analysis on the impact that this tool will have on the community. I now that right now there are plenty of clever tricks for debugging your code,

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

2010-04-06 Thread Thomas Schilling
Another attempt: http://i.imgur.com/ENvl7.png On 6 April 2010 10:36, Johan Tibell johan.tib...@gmail.com wrote: On Tue, Apr 6, 2010 at 5:24 AM, 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

[Haskell-cafe] Re: GSOC Haskell Project

2010-04-06 Thread Mihai Maruseac
Oops, forgot to add the third link: my homepage is at http://people.rosedu.org/people/mihai_maruseac On Tue, Apr 6, 2010 at 10:11 PM, Mihai Maruseac mihai.marus...@gmail.com wrote: Hello again Following a feedback (courtesy of lispy) of my proposal on #haskell, I come to complete it with some

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

2010-04-06 Thread Max Bolingbroke
This is a very nice design. However shouldn't other pages e.g. the wiki template be redesigning to match as well? If this is not going to happen, then I would almost prefer sticking to the current design for consistency's sake. On 6 April 2010 20:11, Thomas Schilling nomin...@googlemail.com

[Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Job Vranish
Is haskell supposed to always infer the most general type (barring extensions)? I found a simple case where this is not true: f _ = undefined where _ = y :: Int - Int y x = undefined where _ = f x Haskell infers the types of 'y' and 'f' as: f :: Int - a y :: Int - Int This

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

2010-04-06 Thread Thomas Schilling
Here's a matching Wiki style: http://i.imgur.com/XkuzH.png On 6 April 2010 20:35, Max Bolingbroke batterseapo...@hotmail.com wrote: This is a very nice design. However shouldn't other pages e.g. the wiki template be redesigning to match as well? If this is not going to happen, then I would

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Brandon S. Allbery KF8NH
On Apr 6, 2010, at 15:56 , Job Vranish wrote: Is haskell supposed to always infer the most general type (barring extensions)? Look up the monomorphism restriction. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread John Van Enk
I don't believe that the monomorphism restriction has anything to do with this. Removing it does not generalize the type. On Tue, Apr 6, 2010 at 4:46 PM, Brandon S. Allbery KF8NH allb...@ece.cmu.edu wrote: On Apr 6, 2010, at 15:56 , Job Vranish wrote: Is haskell supposed to always infer the

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Edward Z. Yang
Excerpts from Brandon S. Allbery KF8NH's message of Tue Apr 06 16:46:28 -0400 2010: On Apr 6, 2010, at 15:56 , Job Vranish wrote: Is haskell supposed to always infer the most general type (barring extensions)? Look up the monomorphism restriction. Hey Brandon, I tested the code with

[Haskell-cafe] Established names for a couple of list functionals?

2010-04-06 Thread Stephen Tetley
Hello all Having traversals with special behaviour for the first or last element is useful for my current work: -- first element special -- anacrusisMap :: (a - b) - (a - b) - [a] - [b] anacrusisMap _ _ [] = [] anacrusisMap f g (a:as) = f a : map g as -- last element special -- cabooseMap

Re: [Haskell-cafe] Announce: hothasktags

2010-04-06 Thread Erlend Hamberg
On Thursday 1. April 2010 22.46.47 Luke Palmer wrote: I'd like to draw attention to a little script I wrote. I tend to use qualified imports and short names like new and filter. This makes hasktags pretty much useless, since it basically just guesses which one to go to. hothasktags is a

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Ross Paterson
On Tue, Apr 06, 2010 at 03:56:32PM -0400, Job Vranish wrote: f _ = undefined where _ = y :: Int - Int y x = undefined where _ = f x Because f and y are mutually recursive, their types are inferred together, so y gets the type Int - Int (as given), which forces f :: Int - a.

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Job Vranish
So in Haskell 98, would the added constraints result in a type error? - Job On Tue, Apr 6, 2010 at 5:12 PM, Ross Paterson r...@soi.city.ac.uk wrote: On Tue, Apr 06, 2010 at 03:56:32PM -0400, Job Vranish wrote: f _ = undefined where _ = y :: Int - Int y x = undefined where

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Thomas Schilling
Yes, it has to do with mutually recursive bindings. If you add a type signature, you break the mutual recursion. Mutually recursive functions are type-checked together and then generalised. Similarly, polymorphic recursion cannot be inferred either, but is possible by adding a type signature.

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread John Meacham
On Tue, Apr 06, 2010 at 03:56:32PM -0400, Job Vranish wrote: Why does haskell not infer the most general type for these functions? Is it a limitation of the algorithm? a limitation of the recursive let binding? Any insight would be appreciated :) This is due to when Haskell does

[Haskell-cafe] what are the safety conditions for unsafeIOToST

2010-04-06 Thread Nicolas Frisby
I haven't been able to find it via Google or Haddock. An old message suggests is was just a matter of exceptions? I only want to use the IO for generating Data.Uniques to pair with STRefs in order to make a map of them. I'm guessing this would be a safe use since it's exception free (... right?).

Re: [Haskell-cafe] Established names for a couple of list functionals?

2010-04-06 Thread Ivan Lazar Miljenovic
Stephen Tetley stephen.tet...@gmail.com writes: -- first element special -- anacrusisMap :: (a - b) - (a - b) - [a] - [b] anacrusisMap _ _ [] = [] anacrusisMap f g (a:as) = f a : map g as I've done something like this, and gave it the extremely imaginative name of firstOthers. But it

[Haskell-cafe] Simple binary-protocol through network test

2010-04-06 Thread Yves Parès
Hello, I'm trying to use the packages Network and Control.Monad.BinaryProtocol together, with a very simple program in which a client sends an operation to the server, which computes the result and sends it back. But the server holds when trying to receive (Server.hs, line 22), whereas the

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

2010-04-06 Thread Ivan Lazar Miljenovic
Thomas Schilling nomin...@googlemail.com writes: Another attempt: http://i.imgur.com/ENvl7.png I like the layout, but hate the colour scheme. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Simple binary-protocol through network test

2010-04-06 Thread Gregory Crosswhite
Yay, I'm glad to see someone else using my package. :-) Hmm, your program seems to work for me. I compiled and ran the Server (with ghc --make), then compiled and ran the Client, and then typed Operation 1.0 Mult 2.0 into the Client process, and the result it got was 2.0

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

2010-04-06 Thread Thomas Schilling
On 6 April 2010 22:39, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Thomas Schilling nomin...@googlemail.com writes: Another attempt:  http://i.imgur.com/ENvl7.png I like the layout, but hate the colour scheme. Wow, hate is a very strong word. In any case, though, I'm pretty sure

Re: [Haskell-cafe] Simple binary-protocol through network test

2010-04-06 Thread Yves Parès
Weird... I use GHC 6.12.1, and I run Ubuntu 9.10 (32bits version). Would have I miss something? Like a flush or a close? Logically, I don't see where I would... Gregory Crosswhite-2 wrote: Yay, I'm glad to see someone else using my package. :-) Hmm, your program seems to work for me.

[Haskell-cafe] [haskell.org Google Summer of Code] Student Applications Due Friday!

2010-04-06 Thread Edward Kmett
This is a friendly reminder that student applications for the summer of code are due to Google by Friday, April 9th. http://socghop.appspot.com/document/show/gsoc_program/google/gsoc2010/timeline That is just *3 days* from now! Keep in mind that while we've been tracking general interest in

[Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-06 Thread Thomas Tuegel
Hello again! Based on the invaluable feedback I've received, I've made some revisions to the proposal I made a few days ago (at the end of this post, after my signature). I apologize for the length of my post, but I'd like once again to solicit feedback on this. Any commentary is very helpful!

Re: [Haskell-cafe] Simple binary-protocol through network test

2010-04-06 Thread Gregory Crosswhite
Hmm, I am guessing it is more likely that the problem is that the I/O system changed from 6.10.4 to 6.12.1 somehow in a way that broke the package. You could try turning off all buffering in the handle using hSetBuffering and seeing if that works. Cheers, Greg On Apr 6, 2010, at 3:44 PM,

Re: [Haskell-cafe] Why does Haskell not infer most general type?

2010-04-06 Thread Ross Paterson
On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote: So in Haskell 98, would the added constraints result in a type error? Yes, because the types of the mutually recursive identifiers would be inferred together without using the type signatures, and then would fail to match the declared

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-06 Thread Gregory Crosswhite
Rather that starting from scratch, you should strongly consider adapting something like test-framework to this task, as it already has done the heavy work of creating a way to combine tests from different frameworks into a single suite and includes such features as displaying a progress bar

Re: [Haskell-cafe] Simple binary-protocol through network test

2010-04-06 Thread Yves Parès
Okay, so I turned off every buffering using hSetBuffering hdl NoBuffering on both Client and Server, but I doesn't fix it... BTW, I tried to do the same without your package, i.e. simply through Lazy ByteString and Binary, but it doesn't work either, I come up against the same issue. Gregory

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-06 Thread Thomas Tuegel
On Tue, Apr 6, 2010 at 7:03 PM, Gregory Crosswhite gcr...@phys.washington.edu wrote: Rather that starting from scratch, you should strongly consider adapting something like test-framework to this task, as it already has done the heavy work of creating a way to combine tests from different

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-06 Thread Rogan Creswick
On Tue, Apr 6, 2010 at 4:03 PM, Gregory Crosswhite gcr...@phys.washington.edu wrote: Rather that starting from scratch, you should strongly consider adapting something like test-framework to this task, as it already has done the heavy work of creating a way to combine tests from different

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

2010-04-06 Thread Ivan Miljenovic
On 7 April 2010 08:40, Thomas Schilling nomin...@googlemail.com wrote: On 6 April 2010 22:39, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: I like the layout, but hate the colour scheme. Wow, hate is a very strong word. OK, I dislike the colour scheme. Happy now? ;-) -- Ivan

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

2010-04-06 Thread Thomas Schilling
On 7 April 2010 00:57, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: On 7 April 2010 08:40, Thomas Schilling nomin...@googlemail.com wrote: On 6 April 2010 22:39, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: I like the layout, but hate the colour scheme. Wow, hate is a very

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

2010-04-06 Thread Ivan Miljenovic
On 7 April 2010 10:02, Thomas Schilling nomin...@googlemail.com wrote: On 7 April 2010 00:57, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: OK, I dislike the colour scheme.  Happy now? ;-) That's still not constructive.  I.e, is it the black, the gray, the orange? OK, it's the black; it

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-06 Thread Gregory Crosswhite
On Apr 6, 2010, at 4:40 PM, Thomas Tuegel wrote: Now, if you're telling me I'm going off in the wrong direction by proposing to integrate a test framework into Cabal itself, that's another story. Should I pare down my proposal to only include support for a proper 'Test' stanza in the

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

2010-04-06 Thread Gregory Crosswhite
I concur that the latest version with the softer colors looks a lot nicer, and I approve of the overall design. I think that you should go back to using a change in the foreground color rather than the background color for the links in the main description, since at the moment it looks ugly.

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-06 Thread Thomas Tuegel
On Tue, Apr 6, 2010 at 7:43 PM, Rogan Creswick cresw...@gmail.com wrote: test-framework and test-runner both address the second problem, and those solutions can be kept separate, at least for now.  Figuring out the best way to specify test commands, dependencies, build/execution order, etc. is

Re: [Haskell-cafe] what are the safety conditions for unsafeIOToST

2010-04-06 Thread Roman Leshchinskiy
On 07/04/2010, at 07:33, Nicolas Frisby wrote: I haven't been able to find it via Google or Haddock. An old message suggests is was just a matter of exceptions? I don't think that's correct. You can implement unsafePerformIO in terms unsafeIOToST: unsafePerformIO :: IO a - a unsafePerformIO

  1   2   >