June 2011 - Haskell-Cafe

Fwd: Re: Hackage Server not reachable
by Steffen Schuldenzucker 22 Jun '11

22 Jun '11

Forwarding to -cafe. -------- Original Message -------- Subject: Re: [Haskell-cafe] Hackage Server not reachable Date: Wed, 22 Jun 2011 20:43:59 +1000 From: Stuart Coyle <stuart.coyle(a)gmail.com> To: Steffen Schuldenzucker <sschuldenzucker(a)uni-bonn.de> Cabal fails with a timeout like this: stuart@Panforte:~/Code/gift-parser# cabal update Downloading the latest package list from hackage.haskell.org <http://hackage.haskell.org> cabal: timeout From traceroute it seems that I'm having routing problems. traceroute to hackage.haskell.org <http://hackage.haskell.org> (69.30.63.204), 64 hops max, 52 byte packets 1 moodle-server (192.168.1.1) 1.834 ms 0.923 ms 0.904 ms 2 10.67.0.1 (10.67.0.1) 18.781 ms 10.031 ms 14.738 ms 3 rdl2-ge2.gw.optusnet.com.au <http://rdl2-ge2.gw.optusnet.com.au> (198.142.160.5) 13.442 ms 11.920 ms 8.767 ms 4 mas2-ge10-1-0-904.gw.optusnet.com.au <http://mas2-ge10-1-0-904.gw.optusnet.com.au> (211.29.125.138) 55.286 ms 56.473 ms 58.150 ms 5 mas3-ge11-0.gw.optusnet.com.au <http://mas3-ge11-0.gw.optusnet.com.au> (211.29.125.241) 61.473 ms 58.477 ms 56.198 ms 6 203.208.192.169 (203.208.192.169) 202.737 ms 207.018 ms 209.159 ms 7 lap-brdr-03.inet.qwest.net <http://lap-brdr-03.inet.qwest.net> (63.146.26.145) 173.527 ms 174.207 ms lap-brdr-03.inet.qwest.net <http://lap-brdr-03.inet.qwest.net> (63.146.26.149) 172.122 ms 8 tuk-edge-13.inet.qwest.net <http://tuk-edge-13.inet.qwest.net> (67.14.4.206) 235.820 ms 237.548 ms 246.359 ms 9 206.81.193.22 (206.81.193.22) 334.748 ms 511.734 ms 303.460 ms 10 209.162.220.81 (209.162.220.81) 310.886 ms 244.478 ms 241.544 ms 11 * * * 12 * * * 13 * * * continues like this.... I'll get a fix from this end. Time to call the ISP. I wonder if any others in Australia on Optus' network are having the same issue? Thanks all. On Wed, Jun 22, 2011 at 7:16 PM, Steffen Schuldenzucker <sschuldenzucker(a)uni-bonn.de <mailto:sschuldenzucker@uni-bonn.de>> wrote: On 06/22/2011 11:02 AM, Stuart Coyle wrote: I cannot reach the hackage server so cabal can't download packages. Have I the correct address? http://hackage.haskell.org Yes. stuart@rumbaba:~# resolveip hackage.haskell.org <http://hackage.haskell.org> <http://hackage.haskell.org> IP address of hackage.haskell.org <http://hackage.haskell.org> <http://hackage.haskell.org> is 69.30.63.204 Same result for me. I also cannot access any of the Hackage web pages. No problem here. What is the error for you? hackage.haskell.org <http://hackage.haskell.org> doesn't seem to answer pings btw. -- Steffen -- Stuart Coyle stuart dot coyle at gmail dot com

1 0

Hackage Server not reachable
by Stuart Coyle 22 Jun '11

22 Jun '11

I cannot reach the hackage server so cabal can't download packages. Have I the correct address? http://hackage.haskell.org stuart@rumbaba:~# resolveip hackage.haskell.org IP address of hackage.haskell.org is 69.30.63.204 I also cannot access any of the Hackage web pages. I suspect that my ISP may be filtering or that their DNS is giving me the wrong info. -- Stuart Coyle stuart dot coyle at gmail dot com

3 2

yi + cabal-dev
by Alex Rozenshteyn 22 Jun '11

22 Jun '11

I'm trying to run yi. More precisely, I'm trying to run yi in its own sandbox, created by cabal-dev. yi uses dyre to recompile its config file. Unsurprisingly, this fails, since ghc doesn't know anything about the yi install unless pointed to a separate package database. Has anyone gotten a similar setup to work, or does anyone have any suggestions? -- Alex R

3 5

Category theory as a design tool
by Arnaud Bailly 22 Jun '11

22 Jun '11

Hello, I ha

5 5

Using cmake with haskell
by Robert Clausecker 22 Jun '11

22 Jun '11

Hello readers of haskell-cafe! I asked this question on Stackoverflow: http://stackoverflow.com/q/5969616/417501 Because I want to get a good answer, I cross post it here. It may be interesting: Is it possible to use cmake for Haskell projects? I am planning a project written in Haskell, maybe there are some parts in C as well. For the buildsystem I decided against the common choice for Haskell programs cabal, mainly because I want to learn how building programs in other languages works. I heard about CMake and I think it is a pretty cool product. Although I have no knowledge in how to use it, I want use CMake for that project, just to find out how it works. Googleing did not reveal any facts about how to use cmake with haskell, and all tutorials I read were rather confusing. Is it possible, and if yes, how is it possible, to compile a projectwritten in Haskell using CMake? Robert Clausecker

13 17

Re: [Haskell-cafe] Why aren't there anonymous sum types in Haskell?
by wren ng thornton 22 Jun '11

22 Jun '11

On 6/21/11 6:54 PM, Casey McCann wrote: > That said, I don't think either retains the tidy algebraic properties > that disjoint unions and tuples have, so I'm not sure if calling them > sums and products is actually correct. I don't think there are any problems[1]. Categorically speaking, a product of A and B is simply a thing, which we can call Foo[2], along with two projections, f :: Foo -> A and oo :: Foo -> B[3], such that the Foo is the "closest" thing to A and B[4]. I chose the funny names intentionally. Nothing in the definition of products says that there has to be any kind of notion of order between the components, only that the composite has projections for each component and that it has no extra junk. Consequently A*B is isomorphic to B*A, which means they are essentially the same thing[5]. The choice of order is just a convention. For a slightly stronger notion of products we can look to monoidal categories which have that A*(B*C) is isomorphic to (A*B)*C, again meaning that they're essentially the same thing. Outside of category theory, we can look to domain theory (or the associated CPO categories), but domain products and smash products both have the same order independence as categorical products. For coproducts, dually. [1] modulo the A:+:A ~ A issue. [2] More conventionally called A*B, but remember: that's just a name. [3] More traditionally, pi_1 and pi_2, or fst and snd, or... [4] That is, for any other Bar with b :: Bar -> A and ar :: Bar -> B, there is a unique function from Bar to Foo such that everything commutes. [5] The clever reader will notice that they are not *exactly* the same thing, not identical; however, category theorists rarely care about the differences between isomorphic things unless it's mucking up a proof. -- Live well, ~wren

2 1

Getting library documentation for installed packages on Windows
by John Ky 21 Jun '11

21 Jun '11

Hi all, Lately I've been finding the Network module missing from the docs I download from the GHC website, which brings me to the question: Is there any way I could generate libraries for this, the core libraries and all installed cabal packages into one reference so I can work offline? Cheers, -John

1 0

Best Linux Distro for >>=
by Tom Murphy 21 Jun '11

21 Jun '11

Hi List, If my choice of Lunix distro depended 100% on its solidness as a Haskell devel platform (I am), what would you all recommend? Thanks for your time, Tom

9 14

Re: [Haskell-cafe] Choice of Linux distro redux
by John Wagner 21 Jun '11

21 Jun '11

Friends: When you say that support for GHCi is in general best among the Linux distros (unordered) "Gentoo, Arch, Fedora and Debian (I think Testing)", is Ubuntu to be inferred from Debian, or is there some scandalous and well-known to all (but me) malady that lingers around the bellies of Ubuntu distros that interferes with the purity of Glasgow, producing side-effects? My grandfather was a Scot, so I can be trusted: tell me if I should cast off Canonical ways. Thanks, John Wagner -- John Wagner Alhambra and Los Angeles

3 2

Re: [Haskell-cafe] [Haskell-beginners] boomBangs xs = [ if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x]
by Jack Henahan 21 Jun '11

21 Jun '11

Hi Anthony. What you've got there is a list comprehension. I'll try to break down what it says for you. The basic structure of a list comprehension is function <arguments> = [ description of the list ] In this function, the argument 'xs' is a Haskell idiom. We use 'xs' to mean "a list of x's". 'xs' doesn't *have* to be a list (since you can call anything 'xs'), but conventionally it is. So 'boomBang xs' simply means "the function boomBangs takes a list xs as an argument." Now the odd part, the list comprehension itself. The first part describes what will be in the list, and the second part limits it. What this comprehension does is construct a list of all the odd members of the list 'xs' (in this case, they're numbers) and map "BOOM!" to values under 10, and "BANG!" to anything above 10. So what is says is "if the nth number in my list is less than 10, I want you to make the nth element of the new list "BOOM!", otherwise I want you to make it "BANG!". Furthermore, I only want you to consider odd values of x from my list." So testList xs = [ x | x <- xs, odd x ] called with the list [1,4,8,9,12,15] would return [1,9,15] -- That is, all the odd members of the list xs Now, if 'x' is the expression 'if x < 10 then "BOOM!" else "BANG!"', the list returned is instead ["BOOM!","BOOM!","BANG!"] Decent explanation? Or have I just muddled the issue? On Jun 21, 2011, at 3:58 PM, anthony niro wrote: > Hello, > > My name is Anthony i have few question about Haskell. > > I was reading a tutorial everything goes well. but now i have few things that i dont understang. > > HERE: > > boomBangs xs = [ if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x] > > > > I dont understand this line except the "if" "then" "else". > What is xs? > what is the | ? > and why doing this " | x <- xs, odd x]" > > why x <- xs????? what is that > > and what is odd x? > > thx everyone for answer me. > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://www.haskell.org/mailman/listinfo/beginners

1 0