Re: [Haskell-cafe] Haskell Logo Voting has started!

2009-03-20 Thread FFT
If avoiding success at all costs is the goal, wouldn't having a cool logo be counter-productive? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] least fixed points above something

2009-03-20 Thread Dan Doel
On Friday 20 March 2009 2:43:49 am Martijn van Steenbergen wrote: > Luke Palmer wrote: > > Well, it's probably not what you're looking for, but to remain true to > > the domain-theoretical roots of "fix", the "least fixed point above" can > > be implemented as: > > > > fixAbove f x = fix f `lub` x

[Haskell-cafe] Numeric literals

2009-03-20 Thread Lauri Oksanen
Hi, Is there some way to tell ghc, how to interpret numeric literals? I would like it to interpret 1 as 1 :: Integer not 1 as fromInteger (1 :: Integer) I have been playing with the following (rather ugly) code. {-# OPTIONS -XFunctionalDependencies -XMultiParamTypeClasses -XTypeSynonymInstan

Re: [Haskell-cafe] Re: categories and monoids

2009-03-20 Thread Wolfgang Jeltsch
Am Donnerstag, 19. März 2009 13:58 schrieben Sie: > An easier idea to think about would be to categorize most adjectives > applied to mathematical constructs into traits and cotraits. > > A trait refines a notion and a cotrait broadens the definition. > > When talking about a commutative ring, comm

Re: [Haskell-cafe] least fixed points above something

2009-03-20 Thread Ryan Ingram
On Fri, Mar 20, 2009 at 1:01 AM, Dan Doel wrote: > However, to answer Luke's wonder, I don't think fixAbove always finds fixed > points, even when its preconditions are met. Consider: > >  f []     = [] >  f (x:xs) = x:x:xs > >  twos = 2:twos How about > fixAbove f x = x `lub` fixAbove f (f x)

[Haskell-cafe] Re: Query on list comprehension

2009-03-20 Thread Jon Fairbairn
"Richard O'Keefe" writes: > The problem we were asked about was specifically > a > aa > aaa > The code (iterate ('a':) "\n") does not give the right answer. > It's not just that it produces an infinite list instead of three > strings, it doesn't even start with the right string. It s

Re: [Haskell-cafe] server directory layout for cabal-install?

2009-03-20 Thread Duncan Coutts
On Thu, 2009-03-19 at 11:50 +0100, Johannes Waldmann wrote: > Thanks. Now the 00-index.tar.gz works. > > When studying the access log of my web server, > I found that the cabal client (cabal-install/0.6.0) > does not want $pkg/$ver/$pkg-$ver.tar.gz > but uses packages/$pkg-$ver/tarball instead >

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Bulat Ziganshin
Hello Colin, Friday, March 20, 2009, 9:18:59 AM, you wrote: > How am I supposed to edit a page on the Haskell wiki? > If I click on an "Edit this page" link, then Firefox prompts me to > choose a tool to open an application/x-external-editor. When i just it should be a problem with your config,

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

2009-03-20 Thread Colin Paul Adams
> "Neil" == Neil Mitchell writes: >>> semi-rant warning: >>> >>> This whole badge/logo business seems to me to be an excellent >>> example of Parkinson's law of triviality (choosing the colour >>> of the bikeshed). We have a large (too large) number of >>> variations

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

2009-03-20 Thread Neil Mitchell
>> semi-rant warning: >> >> This whole badge/logo business seems to me to be an excellent example >> of Parkinson's law of triviality (choosing the colour of the >> bikeshed). We have a large (too large) number of variations on >> relatively few themes and a really sophisticated voting system, but

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

2009-03-20 Thread Jon Fairbairn
Warren Harris writes: > After spending a bit of time trying to decide how to vote, I > ended up deciding that my favorite would be a hybrid of > several of the designs (#9 & #49 FalconNL, and #50 George > Pollard). It's probably too late to include this in the > voting, but here it is nonethel

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

2009-03-20 Thread Sittampalam, Ganesh
Jon Fairbairn wrote: > > semi-rant warning: > > This whole badge/logo business seems to me to be an excellent example > of Parkinson's law of triviality (choosing the colour of the > bikeshed). We have a large (too large) number of variations on > relatively few themes and a really sophisticated

Re: [Haskell-cafe] Using cabal to build an exportable library?

2009-03-20 Thread Duncan Coutts
On Fri, 2008-12-19 at 12:53 -0800, Justin Bailey wrote: > I've been following this instructions at > http://www.haskell.org/haskellwiki/Calling_Haskell_from_C to build a > Haskell library which I can call from a C program. I'd like to use > cabal to do the build in the future. As I'm sure you real

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Colin Paul Adams
> "Bulat" == Bulat Ziganshin writes: Bulat> Hello Colin, Bulat> Friday, March 20, 2009, 9:18:59 AM, you wrote: > How am I supposed to edit a page on the Haskell wiki? >> If I click on an "Edit this page" link, then Firefox prompts me >> to choose a tool to open an applicatio

Re: [Haskell-cafe] Checking in packages to Hackage early in development cycle?

2009-03-20 Thread Colin Paul Adams
> "Duncan" == Duncan Coutts writes: Duncan> On Thu, 2009-03-19 at 12:56 -0400, Brandon S. Allbery KF8NH wrote: >> On 2009 Mar 19, at 12:39, Brandon S. Allbery KF8NH wrote: > > On 2009 Mar 19, at 12:30, Colin Paul Adams wrote: > >>> "Max" == Max Rabkin writes: >> >> >> >>

Re: [Haskell-cafe] Checking in packages to Hackage early in development cycle?

2009-03-20 Thread minh thu
2009/3/20 Colin Paul Adams : >> "Duncan" == Duncan Coutts writes: > >Duncan> On Thu, 2009-03-19 at 12:56 -0400, Brandon S. Allbery KF8NH wrote: >>> On 2009 Mar 19, at 12:39, Brandon S. Allbery KF8NH wrote: >> > On 2009 Mar 19, at 12:30, Colin Paul Adams wrote: >> >>> "Max" == Max R

Re: [Haskell-cafe] Checking in packages to Hackage early in development cycle?

2009-03-20 Thread Duncan Coutts
On Thu, 2009-03-19 at 12:56 -0400, Brandon S. Allbery KF8NH wrote: > On 2009 Mar 19, at 12:39, Brandon S. Allbery KF8NH wrote: > > On 2009 Mar 19, at 12:30, Colin Paul Adams wrote: > >>> "Max" == Max Rabkin writes: > >> > >> Max> On Thu, Mar 19, 2009 at 4:41 PM, Manlio Perillo > >> Max> w

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

2009-03-20 Thread GüŸnther Schmidt
Hi all, I've been running into stack-overflow problems for some time now. Here is what I gathered so far. I used to think that the build up of thunks caused the stack overflow when, as it turns out, it does not. I apparently can have a huge thunk build up eventhough I use a supposedly accu

Re: [Haskell-cafe] Checking in packages to Hackage early in development cycle?

2009-03-20 Thread Duncan Coutts
On Fri, 2009-03-20 at 10:39 +, Colin Paul Adams wrote: > Duncan> We call it the Package versioning policy (PVP) > > Duncan> http://www.haskell.org/haskellwiki/Package_versioning_policy > > Duncan> Package authors are encouraged but not required to follow > Duncan> it. In the

Re: [Haskell-cafe] Logo Vote crashed? (was: Haskell Logo write-in candidate)

2009-03-20 Thread Malcolm Wallace
Warren Harris wrote: > After spending a bit of time trying to decide how to vote, I ended up > deciding that my favorite would be a hybrid of several of the designs > (#9 & #49 FalconNL, and #50 George Pollard). It's probably too late to > include this in the voting, but here it is nonetheless:

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

2009-03-20 Thread Bas van Dijk
On Fri, Mar 20, 2009 at 11:59 AM, GüŸnther Schmidt wrote: > I apparently can have a huge thunk build up eventhough I use a supposedly > accumulative, tail-recursive algorithm. This is correct. If you don't strictly evaluate your accumulator before you tail recursive, a thunk will build up. See th

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

2009-03-20 Thread Ketil Malde
GüŸnther Schmidt writes: > Apparently it is the evaluation of this huge build-up that causes the > stack-overflow but not the thunk-build-up *as such*. > Do I understand this correctly? I think that is correct. Prelude> foldl (+) 0 [1..100] *** Exception: stack overflow Prelude> fold

Re: [Haskell-cafe] Re: categories and monoids

2009-03-20 Thread Edward Kmett
Yes, even in English semi- is a prefix, so it falls under the purview of morphology, the borderline between syntax and phonetics where linguists on either side of the divide shove things they don't want to think about, but it was the nearest example to hand. =) On the other hand, non-associative r

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

2009-03-20 Thread GüŸnther Schmidt
Thanks Bas and Ketil, the point I wanted to stress though is that the stack overflow does actually not occur doing the recursive algorithm, just a build-up of thunks. The algorithm itself will eventually complete without the stack overflow. The problem occurs when the result value is needed a

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

2009-03-20 Thread Edsko de Vries
The problem occurs when the result value is needed and thus the thunks need to be reduced, starting with the outermost, which can't be reduced without reducing the next one etc and it's these reduction steps that are pushed on the stack until its size cause a stack-overflow. Yes, tha

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

2009-03-20 Thread GŸuenther Schmidt
Thanks Bas and Ketil, the point I wanted to stress though is that the stack overflow does actually not occur doing the recursive algorithm, just a build-up of thunks. The algorithm itself will eventually complete without the stack overflow. The problem occurs when the result value is needed and

Re: [Haskell-cafe] Numeric literals

2009-03-20 Thread Roel van Dijk
On Fri, Mar 20, 2009 at 10:06 AM, Lauri Oksanen wrote: > Hi, > > Is there some way to tell ghc, how to interpret  numeric literals? I > would like it to interpret > 1 as 1 :: Integer > not > 1 as fromInteger (1 :: Integer) Check out this section from the haskell language report: http://www.hask

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

2009-03-20 Thread Bas van Dijk
On Fri, Mar 20, 2009 at 2:01 PM, GüŸnther Schmidt wrote: > The problem occurs when the result value is needed and thus the thunks need > to be reduced, starting with the outermost, which can't be reduced without > reducing the next one etc and it's these reduction steps that are > pushed on t

Re: [Haskell-cafe] Numeric literals

2009-03-20 Thread Lennart Augustsson
I think your best bet is -fno-implicit-prelude, and defining fromInteger = id :: Integer->Integer. On Fri, Mar 20, 2009 at 10:06 AM, Lauri Oksanen wrote: > Hi, > > Is there some way to tell ghc, how to interpret  numeric literals? I > would like it to interpret > 1 as 1 :: Integer > not > 1 as fr

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Alexander Dunlap
On Fri, Mar 20, 2009 at 3:24 AM, Colin Paul Adams wrote: >> "Bulat" == Bulat Ziganshin writes: > >    Bulat> Hello Colin, >    Bulat> Friday, March 20, 2009, 9:18:59 AM, you wrote: > >> How am I supposed to edit a page on the Haskell wiki? > >    >> If I click on an "Edit this page" link, the

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Colin Paul Adams
> "Alexander" == Alexander Dunlap writes: Alexander> On Fri, Mar 20, 2009 at 3:24 AM, Colin Paul Adams Alexander> wrote: >>> "Bulat" == Bulat Ziganshin >>> writes: >> >>    Bulat> Hello Colin, >>    Bulat> Friday, March 20, 2009, 9:18:59 AM, you wrote:

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

2009-03-20 Thread Claus Reinke
The problem occurs when the result value is needed and thus the thunks need to be reduced, starting with the outermost, which can't be reduced without reducing the next one etc and it's these reduction steps that are pushed on the stack until its size cause a stack-overflow. Yes, tha

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

2009-03-20 Thread Matthew Brecknell
GüŸnther Schmidt wrote: > the point I wanted to stress though is that the stack overflow does > actually not occur doing the recursive algorithm, just a build-up of thunks. You can also observe this with suitable "trace" statements. For example: > import Debug.Trace > import System.Environment >

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Alexander Dunlap
On Fri, Mar 20, 2009 at 7:31 AM, Colin Paul Adams wrote: >> "Alexander" == Alexander Dunlap writes: > >    Alexander> On Fri, Mar 20, 2009 at 3:24 AM, Colin Paul Adams >    Alexander> wrote: >    >>> "Bulat" == Bulat Ziganshin >    >>> writes: >    >> >    >>    Bulat> Hello Colin,

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Colin Paul Adams
> "Alexander" == Alexander Dunlap writes: >> What Editing tab? -- Colin Adams Preston Lancashire >> It's on the left-hand side of the page, at least on my screen. I guess Alexander> it doesn't really look like a tab, but there's a link Alexander> that says "Editing" on the

[Haskell-cafe] Forcing evaluation when seq or strictness annotation are not possible [was: guess on stack-overflows - thunks build-up and tail recursion]

2009-03-20 Thread Gü?nther Schmidt
Hi all, here I am again with my all time favorite unsolved problem: stack overflows. The advice I have received so far from the Haskell community (this list and #haskell) was to use strictness annotation or seq in most cases. And indeed it did help. It certainly helped when I used a data str

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

2009-03-20 Thread Don Stewart
It would be great to have a video of this in action up on youtube. You can simply 'recordmydesktop' on linux (and likely elsewhere), then upload the result. It also helps the general adoption cause, having Haskell more visible and accessible. claus.reinke: >>> The problem occurs when the result v

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

2009-03-20 Thread Mark Spezzano
Hi, I’ve been thinking of changing over to an iMac from my crappy old PC running Windows Vista. Question: Does the iMac have good support for Haskell development? Question: What environment setups do people commonly use (e.g. Eclipse Xcode etc)? Question: Are there any caveats I sh

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Alexander Dunlap
On Fri, Mar 20, 2009 at 8:07 AM, Colin Paul Adams wrote: >> "Alexander" == Alexander Dunlap writes: > > >    >> What Editing tab?  -- Colin Adams Preston Lancashire >    >> > > It's on the left-hand side of the page, at least on my screen. I guess >    Alexander> it doesn't really look like a

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

2009-03-20 Thread Cristiano Paris
2009/3/20 Mark Spezzano : > Hi, > > I’ve been thinking of changing over to an iMac from my crappy old PC running > Windows Vista. > > Question: Does the iMac have good support for Haskell development? > > Question: What environment setups do people commonly use (e.g. Eclipse Xcode > etc)? > > Quest

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

2009-03-20 Thread Jeff Heard
Critiano, despite that thread, yes, there is decent support for Haskell on Mac OS X. The main problem is that the ports system to install Gtk2Hs isn't terribly great, as in it mostly doesn't work, but if you're willing to get Gtk2Hs compiled on your own, then after that, I've found it to be nearly

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

2009-03-20 Thread Thomas Davie
On 20 Mar 2009, at 16:56, Mark Spezzano wrote: Hi, I’ve been thinking of changing over to an iMac from my crappy old PC running Windows Vista. Question: Does the iMac have good support for Haskell development? As good as, if not better than other platforms I've found, you get none of t

Re: [Haskell-cafe] Editing Haskell wiki pages

2009-03-20 Thread Colin Paul Adams
> "Alexander" == Alexander Dunlap writes: Alexander> On Fri, Mar 20, 2009 at 8:07 AM, Colin Paul Adams Alexander> wrote: >>> "Alexander" == Alexander Dunlap >>> writes: >> >> >>    >> What Editing tab?  -- Colin Adams Preston Lancashire   >>  >>

Re: [Haskell-cafe] Logo Vote crashed?

2009-03-20 Thread Anton van Straaten
Malcolm Wallace wrote: However, despite having not yet cast any vote, I now find that the voting site gives me: 404 Not Found The requested URL /~andru/cgi-perl/civs/vote.pl was not found on this server. The URL I have starts with /w8/ : http://www.cs.cornell.edu/w8/~andru/cgi-perl/civs/

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

2009-03-20 Thread Don Stewart
tom.davie: > > Other than chose the graphics card carefully, an iMac will do you very well. > > Hope that helps. This is very useful. Could the Mac users add information (and screenshots?) to the OSX wiki page, http://haskell.org/haskellwiki/OSX

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

2009-03-20 Thread Peter Verswyvelen
I agree... On Fri, Mar 20, 2009 at 11:14 AM, Neil Mitchell wrote: > >> semi-rant warning: > >> > >> This whole badge/logo business seems to me to be an excellent example > >> of Parkinson's law of triviality (choosing the colour of the > >> bikeshed). We have a large (too large) number of variati

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

2009-03-20 Thread Thomas Davie
On 20 Mar 2009, at 18:08, Don Stewart wrote: tom.davie: Other than chose the graphics card carefully, an iMac will do you very well. Hope that helps. This is very useful. Could the Mac users add information (and screenshots?) to the OSX wiki page, http://haskell.org/haskellwiki/OSX

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

2009-03-20 Thread Don Stewart
tom.davie: > > On 20 Mar 2009, at 18:08, Don Stewart wrote: > >> tom.davie: >>> >>> Other than chose the graphics card carefully, an iMac will do you >>> very well. >>> >>> Hope that helps. >> >> This is very useful. >> >> Could the Mac users add information (and screenshots?) to the OSX wiki >>

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

2009-03-20 Thread Thomas Davie
On 20 Mar 2009, at 18:46, Don Stewart wrote: tom.davie: On 20 Mar 2009, at 18:08, Don Stewart wrote: tom.davie: Other than chose the graphics card carefully, an iMac will do you very well. Hope that helps. This is very useful. Could the Mac users add information (and screenshots?) to

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

2009-03-20 Thread Don Stewart
tom.davie: > > On 20 Mar 2009, at 18:46, Don Stewart wrote: > >> tom.davie: >>> >>> On 20 Mar 2009, at 18:08, Don Stewart wrote: >>> tom.davie: > > Other than chose the graphics card carefully, an iMac will do you > very well. > > Hope that helps. This is very use

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

2009-03-20 Thread Martijn van Steenbergen
Don Stewart wrote: Yes, anything that is relevant to the development experience on this platform. Remember: it is more than just getting ghc. How do they get hold of new libraries and apps? Is cabal-install available? Since GHC is written in Haskell, do you need to have another Haskell compil

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

2009-03-20 Thread Don Stewart
martijn: > Don Stewart wrote: >> Yes, anything that is relevant to the development experience on this >> platform. Remember: it is more than just getting ghc. How do they get >> hold of new libraries and apps? Is cabal-install available? > > Since GHC is written in Haskell, do you need to have ano

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

2009-03-20 Thread Jeff Heard
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. There exists a ports build for it, but it won't use the GHC that is installed via .dmg to build it - it insists instead on installing ghc again via ports, w

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

2009-03-20 Thread Miguel Mitrofanov
No, you don't. On 20 Mar 2009, at 21:03, Martijn van Steenbergen wrote: Don Stewart wrote: Yes, anything that is relevant to the development experience on this platform. Remember: it is more than just getting ghc. How do they get hold of new libraries and apps? Is cabal-install available? Si

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

2009-03-20 Thread Martijn van Steenbergen
Don Stewart wrote: martijn: Don Stewart wrote: Yes, anything that is relevant to the development experience on this platform. Remember: it is more than just getting ghc. How do they get hold of new libraries and apps? Is cabal-install available? Since GHC is written in Haskell, do you need to

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

2009-03-20 Thread Donn Cave
> Yes, anything that is relevant to the development experience on this > platform. Remember: it is more than just getting ghc. How do they get > hold of new libraries and apps? Is cabal-install available? I would be wondering about OS-specific functionality. For example, it might be worth mentio

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

2009-03-20 Thread Bjorn Buckwalter
Haskell on Mac OS X has been mostly painless for me. I have a PowerPC mac which means there are rarely binaries for me to download from haskell.org. I've either used MacPorts or compiled the GHC from source, both have worked well. I prefer the latter, but you'll probably want MacPorts anyway for

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

2009-03-20 Thread Jason Dusek
2009/03/20 Mark Spezzano : > Question: Does the iMac have good support for Haskell > development? Yes. I generally use the Mac binary of GHC and then install C libs with MacPorts. > Question: What environment setups do people commonly use (e.g. > Eclipse Xcode etc)? I use screen and vim. I

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

2009-03-20 Thread Ross Mellgren
While there is not a .dmg for Gtk2Hs, you can use a .dmg installed GHC with a .dmg installed Gtk, and then build gtk2hs straight on top of that, without having to deal with the dual-GHC macports mess.. http://www.haskell.org/haskellwiki/Gtk2hs#Using_the_GTK.2B_OS_X_Framework -Ross On Mar 20

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

2009-03-20 Thread Nicolas Pouillard
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 of files. We are happy to present the safe-lazy-i

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

2009-03-20 Thread Warren Harris
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. Although I downplayed much of my design decisions by focusin

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

2009-03-20 Thread Anton Tayanovskyy
Didn't Haskell have a syntax king? I vote for a logo king: let Don Steward decide which logo is best. --A ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

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

2009-03-20 Thread Jeff Heard
That one doesn't work with OpenGL, however and won't in the forseeable future.Incidentally, just now doing a ports install gtk2hs gives me the following error on my brand new MacBook: $ sudo port install gtk2hs ... stuff happens normally ... then: opt/local/bin/ghc +RTS -RTS -c tools/hierarc

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

2009-03-20 Thread Jeff Heard
Ah wait... I can't read. section 4.1.2 explains the macports installation. I'll try that. On Fri, Mar 20, 2009 at 2:56 PM, Jeff Heard wrote: > That one doesn't work with OpenGL, however and won't in the forseeable > future.    Incidentally, just now doing a ports install gtk2hs gives > me the

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

2009-03-20 Thread Ross Mellgren
Ah, true. Sorry, my mistake -- I forgot that wasn't supported with the framework version. -Ross On Mar 20, 2009, at 2:56 PM, Jeff Heard wrote: That one doesn't work with OpenGL, however and won't in the forseeable future.Incidentally, just now doing a ports install gtk2hs gives me the fo

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

2009-03-20 Thread Jeff Heard
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 -- although this does bork a little because it assumes you hav

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

2009-03-20 Thread David Leimbach
On Fri, Mar 20, 2009 at 11:06 AM, Don Stewart wrote: > martijn: > > Don Stewart wrote: > >> Yes, anything that is relevant to the development experience on this > >> platform. Remember: it is more than just getting ghc. How do they get > >> hold of new libraries and apps? Is cabal-install availab

Re: [Haskell-cafe] what does "atomically#" mean?

2009-03-20 Thread Daryoush Mehrtash
I am having hard time making sense of GHC.Conc. Is there a writeup that describes the significance of "#", or the meaning of "primOp" and "primType"? Thanks Daryoush On Sun, Dec 7, 2008 at 11:48 PM, Don Stewart wrote: > dmehrtash: > >Any idea was the atomically# mean in the following cod

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

2009-03-20 Thread Don Stewart
Good to hear you're shipping graphical Haskell apps, Jefferson. Well done. We do have tools for packaging for various distros: * Mac OSX: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mkbndl * Windows http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bamse

Re: [Haskell-cafe] Numeric literals

2009-03-20 Thread Lauri Oksanen
Thanks for answers. Here is some working code if somebody plays later with similar things. {-# OPTIONS -XNoImplicitPrelude -XFunctionalDependencies -XMultiParamTypeClasses -XFlexibleInstances #-} module Test ( Integer , Double , fromInteger , fromRational , (+) ) where im

Re: [Haskell-cafe] what does "atomically#" mean?

2009-03-20 Thread Martijn van Steenbergen
This might be of some help: http://www.haskell.org/ghc/docs/6.10.1/html/users_guide/syntax-extns.html Daryoush Mehrtash wrote: I am having hard time making sense of GHC.Conc. Is there a writeup that describes the significance of "#", or the meaning of "primOp" and "primType"? _

[Haskell-cafe] Grokking zippers

2009-03-20 Thread Nathan Bloomfield
Hello all- I'm trying to understand the categorical guts underlying zippers. In the Haskell wikibook (and other places) I've seen zippers described roughly as the derivatives of functors. However, I haven't been able to find any references that develop this idea rigorously. For instance, what exac

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

2009-03-20 Thread Don Stewart
dons: > Good to hear you're shipping graphical Haskell apps, Jefferson. Well done. > > We do have tools for packaging for various distros: > > * Mac OSX: > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mkbndl > > * Windows > http://hackage.haskell.org/cgi-bin/hackage

[Haskell-cafe] Re: categories and monoids

2009-03-20 Thread Achim Schneider
Wolfgang Jeltsch wrote: > Is ___semi___ and adjective at all? In German, we say ___halb___ instead of > ___semi___ and the semi ring becomes a Halbring. > "Halbring" as in "halber Ring", isn't it? Synonymous with "partly a ring" (which uses an adverb)... In german, you can tack almost any word ty

Re: [Haskell-cafe] Grokking zippers

2009-03-20 Thread Martijn van Steenbergen
Hi Nathan, Nathan Bloomfield wrote: arrow? I'm interested in studying this concept in more depth, but I can't find a definition to start with. Any pointers to good books or papers would be greatly appreciated. :) The wiki page already gives some pointers to papers; have those been of any he

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

2009-03-20 Thread David Leimbach
On Fri, Mar 20, 2009 at 1:05 PM, David Leimbach wrote: > > > On Fri, Mar 20, 2009 at 11:06 AM, Don Stewart wrote: > >> martijn: >> > Don Stewart wrote: >> >> Yes, anything that is relevant to the development experience on this >> >> platform. Remember: it is more than just getting ghc. How do th

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

2009-03-20 Thread Jeff Heard
Don, good to know; I hadn't checked for packaging tools outside of cabal in Hackage :) 2009/3/20 Don Stewart : > dons: >> Good to hear you're shipping graphical Haskell apps, Jefferson. Well done. >> >> We do have tools for packaging for various distros: >> >>     * Mac OSX: >>     http://hackage.

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

2009-03-20 Thread Bulat Ziganshin
Hello Jeff, Friday, March 20, 2009, 10:22:35 PM, you 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 in

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

2009-03-20 Thread Hans Aberg
On 20 Mar 2009, at 21:05, David Leimbach wrote: > Since GHC is written in Haskell, do you need to have another Haskell > compiler installed before GHC 6.10.1 can be installed through MacPorts? It bootstraps itself. ??? GHC does or MacPorts does. My experience was that you needed GHC to

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

2009-03-20 Thread Don Stewart
bulat.ziganshin: > Hello Jeff, > > Friday, March 20, 2009, 10:22:35 PM, you 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 th

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

2009-03-20 Thread Bulat Ziganshin
Hello Don, Saturday, March 21, 2009, 12:06:48 AM, you wrote: >> i distribute my gtk2hs program for windows and linux. no problems, i >> just included runtime libraries provided by gtk2hs team. it was with >> gtk2hs 0.9.12.1 though, may be they don't provided updated archive for >> newer gtk2hs ve

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

2009-03-20 Thread Don Stewart
bulat.ziganshin: > Hello Don, > > Saturday, March 21, 2009, 12:06:48 AM, you wrote: > > >> i distribute my gtk2hs program for windows and linux. no problems, i > >> just included runtime libraries provided by gtk2hs team. it was with > >> gtk2hs 0.9.12.1 though, may be they don't provided updated

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

2009-03-20 Thread Miguel Mitrofanov
MacPort developers tweak sources into packages which can install by themselves. So one just types sudo port install ghc and it does the rest. Here is info about ghc: $ port info ghc ghc 6.8.3, Revision 1, lang/ghc (Variants: universal, darwin_6, darwin_7, darwin_8_powerpc, darwin_8_i386, dar

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

2009-03-20 Thread Hans Aberg
On 20 Mar 2009, at 22:44, Miguel Mitrofanov wrote: Here is info about ghc: $ port info ghc ghc 6.8.3, Revision 1, lang/ghc (Variants: universal, darwin_6, darwin_7, darwin_8_powerpc, darwin_8_i386, darwin_9_powerpc, darwin_9_i386, no_opengl) http://haskell.org/ A bit out of date: MigMit

Re: [Haskell-cafe] Grokking zippers

2009-03-20 Thread Sean Leather
Martijn van Steenbergen wrote: > > Nathan Bloomfield wrote: > >> arrow? I'm interested in studying this concept in more depth, but I can't >> find a definition to start with. >> >> Any pointers to good books or papers would be greatly appreciated. :) >> > > The wiki page already gives some pointer

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

2009-03-20 Thread Achim Schneider
Don Stewart wrote: > bulat.ziganshin: > > > > http://freearc.org > > > > btw, it have 35.000 downloads ATM > > Awesome, and congratulations! > > I wonder: have you thought about adding a cabal file, so we can > package it automatically for all the Linux distros? Then you'd have > access to t

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

2009-03-20 Thread Hans Aberg
On 20 Mar 2009, at 22:44, Miguel Mitrofanov wrote: A bit out of date: MigMit:~ MigMit$ port info ghc ghc @6.10.1, Revision 8 (lang, haskell) ...blah-blah... Maybe, your $(port version) is still 1.600? Yes, now it worked: $ port version Version: 1.700 $ port info ghc ghc @6.10.1, Revision 9

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

2009-03-20 Thread Felipe Lessa
On Fri, Mar 20, 2009 at 07:42:28PM +0100, Nicolas Pouillard wrote: > 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

Re: [Haskell-cafe] Numeric literals

2009-03-20 Thread Lennart Augustsson
That's a horrible definition of fromRational. Use fromRational = P.fromRational. On Fri, Mar 20, 2009 at 9:09 PM, Lauri Oksanen wrote: > Thanks for answers. Here is some working code if somebody plays later > with similar things. > > {-# OPTIONS >  -XNoImplicitPrelude >  -XFunctionalDependencies

Re: [Haskell-cafe] Re: A guess on stack-overflows - thunksbuild-upand tail recursion

2009-03-20 Thread Claus Reinke
It would be great to have a video of this in action up on youtube. You can simply 'recordmydesktop' on linux (and likely elsewhere), then upload the result. I'm curious: how would a non-interactive animation running in Flash in a browser be better than an interactive animation running in Java in

Re: [Haskell-cafe] least fixed points above something

2009-03-20 Thread Dan Doel
On Friday 20 March 2009 5:23:37 am Ryan Ingram wrote: > On Fri, Mar 20, 2009 at 1:01 AM, Dan Doel wrote: > > However, to answer Luke's wonder, I don't think fixAbove always finds > > fixed points, even when its preconditions are met. Consider: > > > > f [] = [] > > f (x:xs) = x:x:xs > > > >

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

2009-03-20 Thread Brandon S. Allbery KF8NH
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 won;t work as you expect: since there's a dependency on ghc,

Re: [Haskell-cafe] random shuffle and random list partition

2009-03-20 Thread Manlio Perillo
Yitzchak Gale ha scritto: Hi Manlio, Manlio Perillo wrote: For my Netflix Prize project I have implemented two reusable modules. The first module implements a random shuffle on immutable lists... The second module implements a function used to partition a list into n sublists of random length.

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

2009-03-20 Thread wren ng thornton
GüŸnther Schmidt wrote: the point I wanted to stress though is that the stack overflow does actually not occur doing the recursive algorithm, just a build-up of thunks. The algorithm itself will eventually complete without the stack overflow. The problem occurs when the result value is needed

Re: [Haskell-cafe] Re: A guess on stack-overflows - thunksbuild-upand tail recursion

2009-03-20 Thread Duane Johnson
I just found out about GHood through this thread, and since it impressed me very much to see something so cool, I feel bad making this comment... but I am always disturbed by the flickering effect produced by java applets in my browser (FF 3.0) while scrolling. From an implementation stand

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

2009-03-20 Thread Heinrich Apfelmus
Anton Tayanovskyy wrote: > Didn't Haskell have a syntax king? I vote for a logo king: let Don > Steward decide which logo is best. --A I propose to use concordet voting to appoint a new king from the 100 aspiring candidates ... ;) Regards, apfelmus -- http://apfelmus.nfshost.com __

Re: [Haskell-cafe] Numeric literals

2009-03-20 Thread Lauri Oksanen
True. Thanks. - Lauri On Sat, Mar 21, 2009 at 1:05 AM, Lennart Augustsson wrote: > That's a horrible definition of fromRational.  Use > fromRational = P.fromRational. > > On Fri, Mar 20, 2009 at 9:09 PM, Lauri Oksanen wrote: >> Thanks for answers. Here is some working code if somebody plays lat