Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Hans Aberg
On 19 Feb 2010, at 00:52, Richard O'Keefe wrote: Turning to the Wikipedia article, we find The word kangaroo derives from the Guugu Yimidhirr word gangurru, referring to a grey kangaroo Thanks, particularly for giving the name of the native language. Hope the Wikipedia article can be

Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Hans Aberg
On 19 Feb 2010, at 00:05, Nick Rudnick wrote: Mathematicians though stick to their own concepts and definitions individually. For example, I had conversations with one who calls monads triads, and then one has to cope with that. Yes. But isn't it also an enrichment by some way? Yes, one

Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Hans Aberg
On 19 Feb 2010, at 00:55, Daniel Fischer wrote: I'd always assumed ring was generalised from Z[n]. As in cyclic group, arrange the numbers in a ring like on a clockface? Maybe. As far as I know, the term ring (in the mathematical sense) first appears in chapter 9 - Die Zahlringe des

[Haskell-cafe] Cabal broken on Mac OS X?

2010-02-19 Thread Oleg Lobachev
Hello all, I suspect that it's me and not the cabal, but everything looks fine and still fails. Would someone mind to tell me, what am I doing wrong? $ cabal -V cabal-install version 0.6.2 using version 1.6.0.3 of the Cabal library $ ghc -V The Glorious Glasgow Haskell Compilation System,

Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Daniel Fischer
Am Freitag 19 Februar 2010 10:42:59 schrieb Hans Aberg: On 19 Feb 2010, at 00:55, Daniel Fischer wrote: I'd always assumed ring was generalised from Z[n]. As in cyclic group, arrange the numbers in a ring like on a clockface? Maybe. As far as I know, the term ring (in the mathematical

[Haskell-cafe] Cabal update problem

2010-02-19 Thread Maciej Podgurski
Hi, after updating to cabal-install-0.8.0/Cabal-1.8.0.2 with GHC 6.10.4, I always get an error when updating the package list: cabal update Downloading the latest package list from hackage.haskell.org cabal: Codec.Compression.Zlib: premature end of compressed stream Is there a way

[Haskell-cafe] Why is Haskell used so little in the industry?

2010-02-19 Thread Gabi
I posted a question about it in StackOverflow (http://stackoverflow.com/questions/2284875/why-is-haskell-used-so-little-in-the-industry) Haskell gets some beating there. Please Hasellers, join the discussion and give your opinion there. -- Regards, Gabi http://bugspy.net

[Haskell-cafe] Re: Cabal broken on Mac OS X?

2010-02-19 Thread Christian Maeder
Oleg Lobachev schrieb: Hello all, I suspect that it's me and not the cabal, but everything looks fine and still fails. Would someone mind to tell me, what am I doing wrong? $ cabal -V cabal-install version 0.6.2 using version 1.6.0.3 of the Cabal library This version of cabal cannot

[Haskell-cafe] fast, strongly typed heterogeneous collections

2010-02-19 Thread Alberto G. Corona
Hi What is the speed of hProjectByLabel/s in Data.HList.Record? . The documentation in hackage http://hackage.haskell.org/packages/archive/HList/latest/doc/html/Data-HList-Record.html#t%3AH2ProjectByLabelsdoes not mention it. Perhaps this is because Hlist is designed for supposedly short records

Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Hans Aberg
On 19 Feb 2010, at 12:12, Daniel Fischer wrote: ...As far as I know, the term ring (in the mathematical sense) first appears in chapter 9 - Die Zahlringe des Körpers - of Hilbert's Die Theorie der algebraischen Zahlkörper. Unfortunately, Hilbert gives no hint why he chose that name (Dedekind,

[Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Christian Maeder
Maciej Podgurski schrieb: Hi, after updating to cabal-install-0.8.0/Cabal-1.8.0.2 with GHC 6.10.4, I always get an error when updating the package list: cabal update Downloading the latest package list from hackage.haskell.org cabal: Codec.Compression.Zlib: premature end of

Re: [Haskell-cafe] fast, strongly typed heterogeneous collections

2010-02-19 Thread Serguey Zefirov
2010/2/19 Alberto G. Corona agocor...@gmail.com: What is the speed of hProjectByLabel/s in Data.HList.Record? . The documentation in hackage does not mention it. Perhaps this is because Hlist is designed for supposedly short records and this does not matter too much. looking at the code I

Re: [Haskell-cafe] Cabal update problem

2010-02-19 Thread Valery V. Vorotyntsev
after updating to cabal-install-0.8.0/Cabal-1.8.0.2 with GHC 6.10.4, I always get an error when updating the package list:   cabal update   Downloading the latest package list from hackage.haskell.org   cabal: Codec.Compression.Zlib: premature end of compressed stream Would you please send

Re: [Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Maciej Podgurski
Am 19.02.2010 12:57 schrieb Christian Maeder: Maciej Podgurski schrieb: Hi, after updating to cabal-install-0.8.0/Cabal-1.8.0.2 with GHC 6.10.4, I always get an error when updating the package list: cabal update Downloading the latest package list from hackage.haskell.org cabal:

Re: [Haskell-cafe] Cabal update problem

2010-02-19 Thread Maciej Podgurski
Am 19.02.2010 13:55 schrieb Valery V. Vorotyntsev: after updating to cabal-install-0.8.0/Cabal-1.8.0.2 with GHC 6.10.4, I always get an error when updating the package list: cabal update Downloading the latest package list from hackage.haskell.org cabal: Codec.Compression.Zlib: premature

Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Daniel Fischer
Am Freitag 19 Februar 2010 01:49:05 schrieb Nick Rudnick: Daniel Fischer wrote: Am Donnerstag 18 Februar 2010 19:19:36 schrieb Nick Rudnick: Hi Hans, agreed, but, in my eyes, you directly point to the problem: * doesn't this just delegate the problem to the topic of limit

Re: [Haskell-cafe] Re: Cabal broken on Mac OS X?

2010-02-19 Thread Oleg Lobachev
Hello, On Feb 19, 2010, at 12:35 , Christian Maeder wrote: I suspect that it's me and not the cabal, but everything looks fine and still fails. Would someone mind to tell me, what am I doing wrong? $ cabal -V cabal-install version 0.6.2 using version 1.6.0.3 of the Cabal library This

Re: [Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Christian Maeder
Sorry, I've got no further idea (except reinstalling everything). http://hackage.haskell.org/trac/hackage/ticket/562 may be related. Did your installation of cabal-install-0.8.0 also reinstall HTTP and zlib packages? Good luck Christian Maciej Podgurski schrieb: Am 19.02.2010 12:57 schrieb

Re: [Haskell-cafe] Category Theory woes

2010-02-19 Thread Daniel Fischer
Am Freitag 19 Februar 2010 02:48:59 schrieb Nick Rudnick: Hi, wow, a topic specific response, at last... But I wish you would be more specific... ;-) A *referrer* (object) refers to a *referee* (object) by a *reference* (arrow). Doesn't work for me. Not in Ens (sets, maps), Grp

Re: [Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Maciej Podgurski
Am 19.02.2010 15:29 schrieb Christian Maeder: Sorry, I've got no further idea (except reinstalling everything). http://hackage.haskell.org/trac/hackage/ticket/562 may be related. Did your installation of cabal-install-0.8.0 also reinstall HTTP and zlib packages? Yes, I installed the

Re: [Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Bas van Gijzel
I had the same problem on Windows XP when doing cabal install cabal-install. I fixed it by just replacing the cabal-install executable by the old one used in the haskell platform. Cheers, Bas On 19 February 2010 16:11, Maciej Podgurski maciej.podgur...@googlemail.com wrote: Am 19.02.2010

Re: [Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Maciej Podgurski
But the platform only includes cabal-install-0.6.2. My intention was getting the merge-all-package-documentation-into-single-html feature :-) Best wishes, Maciej Am 19.02.2010 16:50 schrieb Bas van Gijzel: I had the same problem on Windows XP when doing cabal install cabal-install. I fixed

Re: [Haskell-cafe] Re: Cabal update problem

2010-02-19 Thread Daniel Kahlenberg
Hello, I guess I did the follwoing to bypass this problems. With the platform provided* cabal.exe at first place in the PATH variable, I run: - cabal update - cabal install cabal-install-0.6.4 The only thing remaining was, I had the Cabal-1.8.0.2 and related entries in my local

Re: [Haskell-cafe] sendfile leaking descriptors on Linux?

2010-02-19 Thread Jeremy Shaw
Hello, I think to make progress on this bug we really need a failing test case that other people can reproduce. I have hacked up small server that should reproduce the error (using fdWrite instead of sendfile). And a small C client which is intended to reproduce the error -- but doesn't. I have

[Haskell-cafe] Re: darcs 2.4 release candidate 2

2010-02-19 Thread Ben Franksen
Hi All This rc release is still notably slower on some operations than older releases. My test case is a large project named RTEMS (a real-time OS), that we wish to import into darcs (at work) to better track our own additions and modifications. To repeat, download two adjacent releases, e.g.

[Haskell-cafe] Re: darcs 2.4 release candidate 2

2010-02-19 Thread Ben Franksen
Ben Franksen wrote: b...@sarun[1]: .../rtems/rtems-4.9.0 time darcs whatsnew -l Well, it is still running after 18 minutes! Top reports something like PID USER PR NI VIRT RES SHR S %CPU %MEMTIME+ COMMAND 5702 ben 20 0 1112m 933m 3628 R 92.2 28.3 18:26.08 darcs

[Haskell-cafe] Re: darcs 2.4 release candidate 2

2010-02-19 Thread Ben Franksen
Ben Franksen wrote: b...@sarun[1]: .../rtems/rtems-4.9.0 /usr/local/bin/darcs --version 2.2.1 (release) b...@sarun[1]: .../rtems/rtems-4.9.0 time /usr/local/bin/darcs whatsnew -l # ...long output elided... /usr/local/bin/darcs whatsnew -l 381,45s user 6,34s system 92% cpu 7:00,90 total

Re: [Haskell-cafe] fast, strongly typed heterogeneous collections

2010-02-19 Thread Khudyakov Alexey
В сообщении от 19 февраля 2010 15:20:30 Serguey Zefirov написал: And, actually, what looks like O(n) at the compile time is O(1) at runtime. This is so because it is really hard to create types at runtime. ;) What did you mean by really hard? One have to use black magic and ask demons for

[Haskell-cafe] Re: fast, strongly typed heterogeneous collections

2010-02-19 Thread Benedikt Huber
Alberto G. Corona schrieb: Hi What is the speed of hProjectByLabel/s in Data.HList.Record? . The documentation in hackage http://hackage.haskell.org/packages/archive/HList/latest/doc/html/Data-HList-Record.html#t%3AH2ProjectByLabelsdoes not mention it. Perhaps this is because Hlist is

[Haskell-cafe] Scarry parallel garbage collection behavior (6.12.1, Mac OSX)

2010-02-19 Thread Pavel Perikov
Hi, list. This is a long post, sorry. The bottom line: specifying +RTS -Nn where n number of cores slows the program compiled with 6.12.1 by orders of magnitude under Mac OSX. Turning off parallel garbage collections with -qg resolves the problem. Independent verification is appreciated.

Re: [Haskell-cafe] fast, strongly typed heterogeneous collections

2010-02-19 Thread Serguey Zefirov
2010/2/19 Khudyakov Alexey alexey.sklad...@gmail.com: And, actually, what looks like O(n) at the compile time is O(1) at runtime. This is so because it is really hard to create types at runtime. ;) What did you mean by really hard? One have to use black magic and ask demons for help or

[Haskell-cafe] What happened in Ohloh?

2010-02-19 Thread Paul Johnson
If you go to http://www.ohloh.net/languages/compare?l0=haskellmeasure=projects and look at the number (not percentage) of Haskell projects you see it rise exponentially until the start of 2008 and then suddenly drop away. Does anyone know what happened? Assuming this is just an artefact

Re: [Haskell-cafe] What happened in Ohloh?

2010-02-19 Thread Gwern Branwen
On Fri, Feb 19, 2010 at 5:20 PM, Paul Johnson p...@cogito.org.uk wrote: If you go to http://www.ohloh.net/languages/compare?l0=haskellmeasure=projects and look at the number (not percentage) of Haskell projects you see it rise exponentially until the start of 2008 and then suddenly drop away.  

Re: [Haskell-cafe] What happened in Ohloh?

2010-02-19 Thread Don Stewart
paul: If you go to http://www.ohloh.net/languages/compare?l0=haskellmeasure=projects and look at the number (not percentage) of Haskell projects you see it rise exponentially until the start of 2008 and then suddenly drop away. Does anyone know what happened? Assuming this is just

Re: [Haskell-cafe] What happened in Ohloh?

2010-02-19 Thread Don Stewart
paul: I'd like to use this kind of graph at work as evidence that Haskell is on a growth trajectory. You might be more interested in data from Hackage: http://www.galois.com/blog/2009/03/23/one-million-haskell-downloads/ runched when we passed the 1M downloads mark a year ago (closer to

[Haskell-cafe] Haskell - Heterogeneous Data Structures - Nested Pairs and functional references

2010-02-19 Thread Günther Schmidt
Hallo Heinrich, entschuldige bitte wenn ich Dich ausserhalb der Cafe-Liste kontaktiere, aber so langsam wird's mir peinlich Auf meinen Post Heterogeneous Data Structures - Nested Pairs and functional references vom 16.02.2010 in der Cafe-Liste habe ich eine interessante Antwort

[Haskell-cafe] games of chance

2010-02-19 Thread Dupont Corentin
Hello, are you aware of a framework to find probabilities in a given game of chance, in Haskell? l would like to compute probabilities like: roll 3 dices, sum the result, then roll 3 other dices, sum the result, what is the probability to obtain the same sum? Cheers, Corentin

Re: [Haskell-cafe] games of chance

2010-02-19 Thread Mark Wassell
Take a look at: http://hackage.haskell.org/package/probability and http://web.engr.oregonstate.edu/~erwig/pfp/ Mark Dupont Corentin wrote: Hello, are you aware of a framework to find probabilities in a given game of chance, in Haskell? l would like to compute probabilities like: roll 3

Re: [Haskell-cafe] Pointfree composition for higher arity

2010-02-19 Thread wren ng thornton
Sean Leather wrote: The second option approaches the ideal pointfreeness (or pointlessness if you prefer), but I'd like to go farther: (...) :: (c - d) - (a - b - c) - a - b - d (...) f g x y = f (g x y) infixr 9 ... I go with infixl 8 personally. It seems to play better with some of the