Re: [Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Anton Tayanovskyy
I propose to use concordet voting to appoint a new king from the 100 aspiring candidates ... ;) Good point.. Just noticed that I managed to misspell Don Stewart's name :( Sorry! And thanks for pointing that out! Speaking of Concordet voiting.. :) Have you checked out Arrow's impossibility

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Hans Aberg
On 21 Mar 2009, at 01:10, Brandon S. Allbery KF8NH wrote: On 2009 Mar 20, at 17:02, Hans Aberg wrote: Therefore, as mentioned before, it might be best to install the GHC binaries and install libraries like Gtk+ from MacPorts. There is also Intel Gtk+ that binds directly to Aqua, the This

[Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Jon Fairbairn
Warren Harris warrensomeb...@gmail.com writes: Hi Jon, I agree with much of your rant, and would agree that the logo is probably the least interesting about haskell, but I think that it's worth spending a little time to spiffy up haskell's image from a marketing perspective. I don't

[Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Achim Schneider
Jon Fairbairn jon.fairba...@cl.cam.ac.uk wrote: That's where that particular design falls down. = is an ugly symbol in the first place, and while the pun with a lambda in the middle provides some intellectual satisfaction, it doesn't outweigh the fussiness of its shape or the irrelevant

Re: [Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Brent Yorgey
On Sat, Mar 21, 2009 at 12:52:49PM +0100, Achim Schneider wrote: Jon Fairbairn jon.fairba...@cl.cam.ac.uk wrote: That's where that particular design falls down. = is an ugly symbol in the first place, and while the pun with a lambda in the middle provides some intellectual satisfaction,

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Duncan Coutts
On Fri, 2009-03-20 at 14:10 -0400, Jeff Heard wrote: cabal-install works for me. The one thing that would be REALLY REALLY nice (and I'm cc-ing Duncan on this) is a .dmg for Gtk2Hs on Mac OS X. I'm sorry I can't directly help with this. I have no access to any hardware running OS X. I presume

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Duncan Coutts
On Fri, 2009-03-20 at 15:22 -0400, Jeff Heard wrote: As this continues to build, I guess the issue for me, and I'm willing to help with it, is trying to figure out how to redistribute programs written with gtk2hs. on Windows, people can just install the gtk2hs libraries via the installer --

[Haskell-cafe] Cabal properties with conditionals

2009-03-21 Thread Manlio Perillo
Hi. Assuming this configuration fragment: library xxx cc-options: -Wall if flag(HAVE_URANDOM) cc-options:-DHAVE_URANDOM In case the HAVE_URANDOM flag is defined, what will be the value of the used cc-options? 1) -DHAHE_URANDOM 2) -Wall -DHAHE_URANDOM Thanks

[Haskell-cafe] Haskell Weekly News: Issue 110 - March 21, 2009

2009-03-21 Thread Brent Yorgey
--- Haskell Weekly News http://sequence.complete.org/hwn/20090321 Issue 110 - March 21, 2009 --- Welcome to issue 110 of HWN, a newsletter covering

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Paul Adams
Ross == Ross Mellgren rmm-hask...@z.odi.ac writes: Ross While there is not a .dmg for Gtk2Hs, you can use a .dmg Ross installed GHC with a .dmg installed Gtk, and then build Ross gtk2hs straight on top of that, without having to deal with Ross the dual-GHC macports mess..

[Haskell-cafe] Re: A guess on stack-overflows - thunks build-up and tail recursion

2009-03-21 Thread G?uenther Schmidt
Hi Bas, I'd like to share some thoughts with you. Let's say I'm unable, for whatever reason, to force full evaluation of the accumulator during a foldl. So I have this huge build up of thunks, which causes a stack overflow when the thunks are being reduced. I wonder if I could write some

[Haskell-cafe] Re: [Haskell-beginners] appropriateness of haskell for GUIs

2009-03-21 Thread Adrian Neumann
Am 21.03.2009 um 13:30 schrieb Michael Mossey: Thomas Davie wrote: On 21 Mar 2009, at 00:16, Michael P Mossey wrote: Hello, I'm totally new to Haskell. I'm thinking of using it for a personal project, which is a gui-based musical score editor. The rough situation of GUI programming on

[Haskell-cafe] Re: [Haskell-beginners] laziness and optimization

2009-03-21 Thread Adrian Neumann
You should not rely on the compiler to spot such things. As far as I know GHC doesn't do automatic caching (in many cases that would hurt performance, I think). Have a look at http://haskell.org/haskellwiki/ Memoization perhaps. Am 21.03.2009 um 14:02 schrieb Michael Mossey: I understand

Re: [Haskell-cafe] Re: [Haskell-beginners] appropriateness of haskell for GUIs

2009-03-21 Thread Sebastian Sylvan
2009/3/21 Adrian Neumann aneum...@inf.fu-berlin.de Am 21.03.2009 um 13:30 schrieb Michael Mossey: Thomas Davie wrote: On 21 Mar 2009, at 00:16, Michael P Mossey wrote: Hello, I'm totally new to Haskell. I'm thinking of using it for a personal project, which is a gui-based musical score

Re: [Haskell-cafe] Re: [Haskell-beginners] appropriateness of haskell for GUIs

2009-03-21 Thread Brandon S. Allbery KF8NH
On 2009 Mar 21, at 10:59, Sebastian Sylvan wrote: 2009/3/21 Adrian Neumann aneum...@inf.fu-berlin.de Am 21.03.2009 um 13:30 schrieb Michael Mossey: Thomas Davie wrote: On 21 Mar 2009, at 00:16, Michael P Mossey wrote: Hello, I'm totally new to Haskell. I'm thinking of using it for a personal

Re: [Haskell-cafe] Re: [Haskell-beginners] laziness and optimization

2009-03-21 Thread Eugene Kirpichov
Yep. Michael: Haskell doesn't do miracles. It has a well-defined (however, very cool) evaluation model, and the compiler in 99.9% realistic cases optimizes it only by a constant factor. Things can't be much better than that because it is extremely hard or theoretically impossible (probably by some

[Haskell-cafe] [ANN] I/O library for Windows

2009-03-21 Thread Felix Martini
Hi all, winio is an I/O library for Windows using Windows API functions and has I/O completion port support. The main goal of this library is to support Simon Marlow's new Handle API once he has added that to GHC. The library also has a compatibility module for socket functions from the

[Haskell-cafe] [GSOC] About Implementing Maps using generalized tries project idea

2009-03-21 Thread Gautam Sewani
Hi, I was looking at the list of Haskell GSOC 2009 project ideas, and I came across the one in which we have to implement maps using generalized tries. However, I also found this as one of the GSOC 2008 projects. I want to know if this project is still open, or the required work has been done

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Ross Mellgren
I tried making this work, but librsvg requires pango, and pango is a huge pain in the ass -- I managed to get the whole thing to compile, but now it can't find any fonts, apparently due to some dynaloading issues. I think if you need any of the extended modules (e.g. svgcairo, gl) that

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Ross Mellgren
Minor correction -- pango in general is installed with the .DMG of Gtk... it's pangoft2 (the freetype2 bindings) that librsvg requires and aren't provided. -Ross On Mar 21, 2009, at 12:35 PM, Ross Mellgren wrote: I tried making this work, but librsvg requires pango, and pango is a huge

Re: [Haskell-cafe] [ANN] ansi-terminal, ansi-wl-pprint - ANSI terminal support for Haskell

2009-03-21 Thread Max Bolingbroke
2009/3/21 Manlio Perillo manlio_peri...@libero.it: Max Bolingbroke ha scritto: These two packages allow Haskell programs to produce much richer console output by allowing colorisation, emboldening and so on. Do you plan to extend the package to any terminal, using terminfo database?

[Haskell-cafe] Re: [ANN] ansi-terminal, ansi-wl-pprint - ANSI terminal support for Haskell

2009-03-21 Thread Achim Schneider
Manlio Perillo manlio_peri...@libero.it wrote: Do you plan to extend the package to any terminal, using terminfo database? Are there any non-ansi terminals left? I assumed they were extinct... it'd come close to using EBCDIC. -- (c) this sig last receiving data processing entity. Inspect

[Haskell-cafe] [ANN] ansi-terminal, ansi-wl-pprint - ANSI terminal support for Haskell

2009-03-21 Thread Max Bolingbroke
These two packages allow Haskell programs to produce much richer console output by allowing colorisation, emboldening and so on. Both Unix-like (OS X, Linux) and Windows operating systems are supported (via a pure Haskell ANSI emulation layer for Windows). Examples, screenshots, and lots more

Re: [Haskell-cafe] [ANN] ansi-terminal, ansi-wl-pprint - ANSI terminal support for Haskell

2009-03-21 Thread Martijn van Steenbergen
Max Bolingbroke wrote: These two packages allow Haskell programs to produce much richer console output by allowing colorisation, emboldening and so on. This will be a big help in my MUD driver. Thanks! :-) Martijn. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
If I try this, pango fails to compile with lots of error messages about error: macro names must be identifiers. I think I've seen this before - some well-known Mac OSX problem? (I'm a linux man myself - so I'm not used to the mac) 2009/3/21 Ross Mellgren rmm-hask...@z.odi.ac: I tried making

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Ross Mellgren
I didn't get any errors like that (nor do I remember ever having them), though if you want to paste them here maybe I can help with them. -Ross On Mar 21, 2009, at 1:27 PM, Colin Adams wrote: If I try this, pango fails to compile with lots of error messages about error: macro names must be

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
In file included from ../pango/pango.h:31, from pango-impl-utils.h:28, from fonts.c:30: ../pango/pango-enum-types.h:12:9: error: macro names must be identifiers ../pango/pango-enum-types.h:14:9: error: macro names must be identifiers

Re: [Haskell-cafe] [GSOC] About Implementing Maps using generalized tries project idea

2009-03-21 Thread Jamie Brandon
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/gmap-0.1 Everything in the release is working. There's some fast map/trie implementations and a bunch of map combinators. In Test.GMap there are ~800 lines of quickcheck properties. The tests use some undocumented type hackery to allow

Re: [Haskell-cafe] Data.Binary, Data.Text and errors

2009-03-21 Thread Alexander Dunlap
On Sun, Mar 15, 2009 at 9:13 PM, Bryan O'Sullivan b...@serpentine.com wrote: On Sun, Mar 15, 2009 at 8:40 PM, Alexander Dunlap alexander.dun...@gmail.com wrote: I have noticed that in both Data.Binary and Data.Text (which is still experimental, but still), the decode functions can be

[Haskell-cafe] [ANN] random-stream 0.1.1

2009-03-21 Thread Manlio Perillo
I'm pleased to announce a new version of random-stream package. In this version I have rewritten the internal API. Now the package exposes a new System.Random.URandom module, with the function: urandom :: Int - IO S.ByteString This function is an interface to the system pseudo random

[Haskell-cafe] ghci + hopengl

2009-03-21 Thread Rafael Cunha de Almeida
Hello, I'm writing a program for plotting vectorial functions and maybe something else in the future. My goal is to be able to have the following usage: Prelude :l Galo.hs Prelude Galo show3Dvec (\t - (t, t, 0)) [0.0,0.01 .. 1.0] * shows graph * Prelude Galo

[Haskell-cafe] about beta NF in lambda calculus

2009-03-21 Thread Algebras Math
hi, What is the different between 'in beta normal form' and 'has beta normal form' ? Does the former means the current form of the term is already in normal form but the latter means that it is not a normal form yet and can be reduced to be normal form? Like \x.x is in NF and (\x.x) (\x.x) has

Re: [Haskell-cafe] Re: [ANN] ansi-terminal, ansi-wl-pprint - ANSI terminal support for Haskell

2009-03-21 Thread Manlio Perillo
Achim Schneider ha scritto: Manlio Perillo manlio_peri...@libero.it wrote: Do you plan to extend the package to any terminal, using terminfo database? Are there any non-ansi terminals left? I assumed they were extinct... it'd come close to using EBCDIC.

Re: [Haskell-cafe] [ANN] ansi-terminal, ansi-wl-pprint - ANSI terminal support for Haskell

2009-03-21 Thread Manlio Perillo
Max Bolingbroke ha scritto: 2009/3/21 Manlio Perillo manlio_peri...@libero.it: Max Bolingbroke ha scritto: These two packages allow Haskell programs to produce much richer console output by allowing colorisation, emboldening and so on. Do you plan to extend the package to any terminal, using

Re: [Haskell-cafe] about beta NF in lambda calculus

2009-03-21 Thread Ryan Ingram
Given the Y combinator, Y (\x.x) has no normal form. However, (\a. (\x. x)) (Y (\x. x)) does have a normal form; (\x. x). But it only reduces to that normal form if you reduce the (\a. ...) redex, not if you reduce its argument. So depending on evaluation order you might not reach a normal form.

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Ross Mellgren
(back to the list) Answers inline: On Mar 21, 2009, at 2:42 PM, Colin Adams wrote: Yes, that was the problem, and swapping the PATH order does the trick. Thanks. no prob. I must still have the macports stuff installed. Can you tell me how to get rid of it? if you really want to get rid

Re: [Haskell-cafe] about beta NF in lambda calculus

2009-03-21 Thread Eugene Kirpichov
Thus, if you use normal-order evaluation (which Haskell uses), you will inevitably reach the normal form if and only if it exists at all. So, if all you care about is the normal form (if you don't care about computation time), then terms that *have* an NF and terms that *are* in NF are

Re: [Haskell-cafe] about beta NF in lambda calculus

2009-03-21 Thread Antti-Juhani Kaijanaho
On Sat, Mar 21, 2009 at 07:29:05PM +, Algebras Math wrote: If above is true, I am confused why we have to distinguish the terms which have NF and be in NF? isn't the terms have NF will eventually become in NF? or there are some way to avoid them becoming in NF? Spoken like a mathematician

[Haskell-cafe] ANNOUNCE: Haddock 2.4.2

2009-03-21 Thread David Waern
-- Haddock 2.4.2 A new version of Haddock, the Haskell documentation tool, is out. This is a bug fix release only, and it's the same version that will ship with GHC 6.10.2, unless any important problems are

Re: [Haskell-cafe] about beta NF in lambda calculus

2009-03-21 Thread Eugene Kirpichov
Actually I was also going to provide exactly the same example, but hesitated to :) 2009/3/21 Antti-Juhani Kaijanaho antti-juh...@kaijanaho.fi: On Sat, Mar 21, 2009 at 07:29:05PM +, Algebras Math wrote: If above is true, I am confused why we have to distinguish the terms which have NF and

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
OK - I added the --with-user-pkginfo flag. It nearly all works now - but still no svgcairo - ./configure doesn't find it. 2009/3/21 Ross Mellgren rmm-hask...@z.odi.ac: (back to the list) Answers inline: On Mar 21, 2009, at 2:42 PM, Colin Adams wrote: Yes, that was the problem, and swapping

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Ross Mellgren
Did the configure for gtk2hs claim that it was going to build svgcairo? If something is wrong with the librsvg install, it won't. -Ross On Mar 21, 2009, at 4:49 PM, Colin Adams wrote: OK - I added the --with-user-pkginfo flag. It nearly all works now - but still no svgcairo - ./configure

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
It didn't. 2009/3/21 Ross Mellgren rmm-hask...@z.odi.ac: Did the configure for gtk2hs claim that it was going to build svgcairo? If something is wrong with the librsvg install, it won't. -Ross On Mar 21, 2009, at 4:49 PM, Colin Adams wrote: OK - I added the --with-user-pkginfo flag. It

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
And the reason is that librsvg fails to find cairo, pangocairo and cairo-png. Where is it supposed to find them? 2009/3/21 Colin Adams colinpaulad...@googlemail.com: It didn't. 2009/3/21 Ross Mellgren rmm-hask...@z.odi.ac: Did the configure for gtk2hs claim that it was going to build

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Ross Mellgren
Should be from pkg-config path, make sure your PKG_CONFIG_PATH is set to include /Library/Frameworks/{GLib,Gtk,Cairo}.framework Also, I had a problem where it couldn't find libpng -- I had to add / usr/X11/lib/pkgconfig to my pkg-config path. -Ross On Mar 21, 2009, at 5:02 PM, Colin Adams

[Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-21 Thread Achim Schneider
Ross Mellgren rmm-hask...@z.odi.ac wrote: Way too many, definitely. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.

Re: [Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Ketil Malde
Achim Schneider bars...@web.de writes: :: might be truly Haskell in the sense that everybody else uses plain :, but I don't want Haskell to be associated with squareness, and typing, by itself, is hardly a distinguishing property of Haskell. I guess laziness is the most distinguishing

Re: [Haskell-cafe] ghci + hopengl

2009-03-21 Thread Duane Johnson
I've had issues with ghci and opengl... I usually have to compile my programs before they will run. I'm not sure why that's the case, but I too get strange window behavior (sometimes it freezes, other times it doesn't even show up). If you're on a Mac and would like help compiling to a

Re: [Haskell-cafe] Cabal properties with conditionals

2009-03-21 Thread Duncan Coutts
On Sat, 2009-03-21 at 14:26 +0100, Manlio Perillo wrote: Hi. Assuming this configuration fragment: library xxx cc-options: -Wall if flag(HAVE_URANDOM) cc-options:-DHAVE_URANDOM In case the HAVE_URANDOM flag is defined, what will be the value of the

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-21 Thread Henning Thielemann
On Fri, 20 Mar 2009, Nicolas Pouillard wrote: Hi folks, We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly leverage all the good things we have with *pure*, *lazy*, *Haskell* functions to the real world

[Haskell-cafe] New Cabal FAQ

2009-03-21 Thread Duncan Coutts
Hi all, I should have done this ages ago but there's now a Cabal FAQ on the Cabal website: http://haskell.org/cabal/FAQ.html It's not linked in yet, I'm looking for feedback and patches. The Cabal website is now maintained in darcs so it's easy to send in contributions: darcs get

Re: [Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Henning Thielemann
On Fri, 20 Mar 2009, Jon Fairbairn wrote: ::Haskell See the lamp in logo 33 at http://www.haskell.org/logos/poll.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Cabal properties with conditionals

2009-03-21 Thread Manlio Perillo
Duncan Coutts ha scritto: On Sat, 2009-03-21 at 14:26 +0100, Manlio Perillo wrote: Hi. Assuming this configuration fragment: library xxx cc-options: -Wall if flag(HAVE_URANDOM) cc-options:-DHAVE_URANDOM In case the HAVE_URANDOM flag is defined, what will be

Re: [Haskell-cafe] New Cabal FAQ

2009-03-21 Thread Duane Johnson
As a new Haskell user, I have to heartily agree about the sign-posts. Cabal is a superb, easy-to-use command-line tool for Haskell package management, but browsing various getting started with Haskell pages didn't lead me to clear instructions that cabal exists and that it is really

[Haskell-cafe] Google Summer of Code: Is this idea useful for the community?

2009-03-21 Thread fallintothis
I'm planning on applying for the Google Summer of Code and the more I think about it, the more excited I am over a Haskell reddit-alike[1]. I'm interested in web programming, Haskell, and reddit (being an addict for some years now). There's plenty of work to be done on such a project, there are

Re: [Haskell-cafe] Cabal properties with conditionals

2009-03-21 Thread Duncan Coutts
On Sat, 2009-03-21 at 23:05 +0100, Manlio Perillo wrote: P.S: I tried to send an email to cabal-devel some days ago, with a feature I would like to see in Cabal. But the mail was never posted to the mailing list. Is that list moderated? It's subscriber only, like all the haskell.org mailing

Re: [Haskell-cafe] Cabal properties with conditionals

2009-03-21 Thread Manlio Perillo
Duncan Coutts ha scritto: On Sat, 2009-03-21 at 23:05 +0100, Manlio Perillo wrote: P.S: I tried to send an email to cabal-devel some days ago, with a feature I would like to see in Cabal. But the mail was never posted to the mailing list. Is that list moderated? It's subscriber only, like

[Haskell-cafe] Sometimes I wish there was a global variable

2009-03-21 Thread Rafael Cunha de Almeida
Hello, I am writing a OpenGL program in haskell, it can be found in: http://github.com/aflag/galo/tree/master But I hope this e-mail will be self-contained :). My main function goes like this: (...) rotX - newIORef (0.0::GLfloat) rotY - newIORef (0.0::GLfloat) pos -

Re: [Haskell-cafe] Cabal properties with conditionals

2009-03-21 Thread Duncan Coutts
On Sun, 2009-03-22 at 01:03 +0100, Manlio Perillo wrote: Duncan Coutts ha scritto: On Sat, 2009-03-21 at 23:05 +0100, Manlio Perillo wrote: P.S: I tried to send an email to cabal-devel some days ago, with a feature I would like to see in Cabal. But the mail was never posted to the

Re: [Haskell-cafe] Re: Haskell Logo write-in candidate

2009-03-21 Thread Rick R
but the rest of it looks like a fat lady bending over. 2009/3/21 Henning Thielemann lemm...@henning-thielemann.de On Fri, 20 Mar 2009, Jon Fairbairn wrote: ::Haskell See the lamp in logo 33 at http://www.haskell.org/logos/poll.html ___

[Haskell-cafe] Re: Sometimes I wish there was a global variable

2009-03-21 Thread Maurí­cio
Notice that rotX, rotY and pos are meant to be used as comunication between the keyboardMouse and display functions. They need to be set as 0 first, so display won't do anything. Only when they user press a few buttons that those values change, so display behaves accordanly. In a state-based

Re: [Haskell-cafe] Sometimes I wish there was a global variable

2009-03-21 Thread Gregory Collins
Rafael Cunha de Almeida almeida...@gmail.com writes: My main function goes like this: (...) rotX - newIORef (0.0::GLfloat) rotY - newIORef (0.0::GLfloat) pos - newIORef (0.0::GLfloat, 0.0, 0.0) displayCallback $= display (map f range) rotX rotY pos