Re: [Haskell-cafe] Need Cabal/library building help for windows

2008-03-18 Thread Alistair Bayley
On 17/03/2008, Felix Martini [EMAIL PROTECTED] wrote: Ryan Ingram wrote: For reference, I'm using GHC6.8.1 on WinXP. setup.hs: ld is required but it could not be found. I did have the same issue with GHC 6.8.1 on Windows. It is fixed in version 6.8.2.

[Haskell-cafe] Haskell board game, anyone?

2008-03-18 Thread Benjamin L. Russell
Maybe off topic, but when I saw this, I thought, Why isn't there a Haskell version of this game? (Or is there?) C-jump is a neat idea, mapping something fun (downhill skiing) with programming. I look at this game and wonder what it would look like in the wonderful world of higher-order

Re: [Haskell-cafe] Re: all threads are blocked by recvFrom

2008-03-18 Thread Vitaliy Akimov
2008/3/17, Adam Langley [EMAIL PROTECTED]: On Mon, Mar 17, 2008 at 2:29 AM, Vitaliy Akimov The important point here is that the recvFrom calls in Network.Socket[1] don't block. Yes, this is the answer. Network.Socket.socket calls System.Posix.Internals.setNonBlockingFD to set socket

Re: [Haskell-cafe] Need Cabal/library building help for windows

2008-03-18 Thread Felix Martini
Alistair Bayley wrote: Upgrading GHC to fix this seems a little extreme. You can just add gcc-lib (i.e. C:\ghc\ghc-6.8.1\gcc-lib) to your path. Version 6.8.2 is a bugfix release over 6.8.1 and fixes other bugs as well. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Re: ANN: haskell-src-exts 0.3.2

2008-03-18 Thread C.M.Brown
Hi Nikolas, I supppose you're talking about HaRe, that Thomas Schilling linked to. I have no idea how that system is built so I can't answer your question. But in principle I don't see why not. :-) In principle it would actually be quite difficult. HaRe is Haskell 98, built upon the

Re: [Haskell-cafe] Haskell board game, anyone?

2008-03-18 Thread Marc Weber
C-jump is a neat idea, mapping something fun (downhill skiing) with programming. I look at this game and wonder what it would look like in the wonderful world of higher-order functions. http://haskell.org/haskellwiki/Potential_projects Greetings Marc Weber

Re: [Haskell-cafe] Re: ANN: haskell-src-exts 0.3.2

2008-03-18 Thread Thomas Schilling
Do you have any program transformation DSL to make things easier? Or quickcheck tests or anything to make things easier? On 18 mar 2008, at 11.28, C.M.Brown wrote: Hi Nikolas, I supppose you're talking about HaRe, that Thomas Schilling linked to. I have no idea how that system is built

Re: [Haskell-cafe] Re: all threads are blocked by recvFrom

2008-03-18 Thread Vitaliy Akimov
So that's why it doesn't work on Windows, I think I should find some way to make a socket unblocking after its creation. Unfortunally this way seems to be wrong. Error codes for winsockets and BSD-sockets are different. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Re: ANN: haskell-src-exts 0.3.2

2008-03-18 Thread C.M.Brown
I believe that the limitation is that they use Programatica's parser to get an AST to run their refactorings on. I think they've looked several times at using ghc's apis to do this, but hit various problems. I think that the main problem is that no other parser preserves things like code

[Haskell-cafe] haskell.org is accepted to GSoC

2008-03-18 Thread Malcolm Wallace
Google announced last night that Haskell.org has been accepted as a mentoring organisation for this year's Summer of Code (amongst 175 Open Source organisations). http://code.google.com/soc/2008/ The game is on! Student applications open at 1900 UTC on Mon 24th March, and close at 2400 UTC

[Haskell-cafe] Small question about something easy

2008-03-18 Thread iliali16
Hi guys I am a bit new to haskell but I am doing good till now. I have to write a function that takes 2 inputs and then reutns one composite output. Now my problem is that I have to make composition of that function meaning that I have to access in some way the output of the function before it

Re: [Haskell-cafe] Need Cabal/library building help for windows

2008-03-18 Thread Duncan Coutts
On Tue, 2008-03-18 at 09:28 +, Alistair Bayley wrote: On 17/03/2008, Felix Martini [EMAIL PROTECTED] wrote: Ryan Ingram wrote: For reference, I'm using GHC6.8.1 on WinXP. setup.hs: ld is required but it could not be found. I did have the same issue with GHC 6.8.1 on Windows.

Re: [Haskell-cafe] Small question about something easy

2008-03-18 Thread Thomas Schilling
On 18 mar 2008, at 13.51, Luke Palmer wrote: On Tue, Mar 18, 2008 at 12:24 PM, iliali16 [EMAIL PROTECTED] wrote: Now the problem comes here: play (p1 :: p2) state |play p1 state == (i1,state1) play p2 state1 == (i2,state2) = (i1+++i2,state2) I know that if I manage to do

Re: [Haskell-cafe] Small question about something easy

2008-03-18 Thread Luke Palmer
On Tue, Mar 18, 2008 at 12:24 PM, iliali16 [EMAIL PROTECTED] wrote: Now the problem comes here: play (p1 :: p2) state |play p1 state == (i1,state1) play p2 state1 == (i2,state2) = (i1+++i2,state2) I know that if I manage to do that function the one above with this sign ::

Re: [Haskell-cafe] Re: GADT rhymes with cat

2008-03-18 Thread Reinier Lamers
Op 17-mrt-2008, om 5:39 heeft Emir Pasalic het volgende geschreven: And is the plural 'gatte'? :) Not in Dutch, then it's 'gaten' (which is irregular, and the Afrikaners don't like irregularities, so they regularized it). Reinier ___ Haskell-Cafe

Re: [Haskell-cafe] Small question about something easy

2008-03-18 Thread iliali16
Thanks to all of you I got it I was missing the notation. Thanks again! iliali16 wrote: Hi guys I am a bit new to haskell but I am doing good till now. I have to write a function that takes 2 inputs and then reutns one composite output. Now my problem is that I have to make composition of

[Haskell-cafe] Converting image2PS function

2008-03-18 Thread iliali16
Hi guys again just want to ask you I have this function ready -- Creates a Postscript file from an Image -- page shows -200 = x = 200, 300 = y = 300 -- boundaries, plus origin plotted on output image2PS:: Image - String - IO() image2PS (Image contents) filename = writeFile filename

Re: [Haskell-cafe] Converting image2PS function

2008-03-18 Thread Daniel Fischer
Am Dienstag, 18. März 2008 16:00 schrieb iliali16: Hi guys again just want to ask you I have this function ready but when I use it for example image2PS spiral iliali it tells me that the iliali is undefined. What do you thing how should I use it. Thanks in advance! image2PS spiral iliali

Re: [Haskell-cafe] Converting image2PS function

2008-03-18 Thread Tillmann Rendel
iliali16 wrote: I have this function ready image2PS:: Image - String - IO() but when I use it for example image2PS spiral iliali it tells me that the iliali is undefined. iliali is a variable, which has to be bound so it can be used, e.g. iliali = iliali main = image2PS spiral

Re: [Haskell-cafe] Re: all threads are blocked by recvFrom

2008-03-18 Thread Adam Langley
On Tue, Mar 18, 2008 at 3:41 AM, Vitaliy Akimov [EMAIL PROTECTED] wrote: Unfortunally this way seems to be wrong. Error codes for winsockets and BSD-sockets are different. Hmm, Networking broken on Windows would seem to be a pretty big issue. One of the Windows peeps like to speak up here?

Re: [Haskell-cafe] Converting image2PS function

2008-03-18 Thread iliali16
Thanks very much Daniel Fischer-4 wrote: Am Dienstag, 18. März 2008 16:00 schrieb iliali16: Hi guys again just want to ask you I have this function ready but when I use it for example image2PS spiral iliali it tells me that the iliali is undefined. What do you thing how should I use

[Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Justin Bailey
From a recent interview[1] with the guy leading Ruby development on .NET at Microsoft: You spend less time writing software than you spend maintaining software. Optimizing for writing software versus maintaining software is probably the wrong thing to do. Static typing makes it harder to

Re: [Haskell-cafe] Re: all threads are blocked by recvFrom

2008-03-18 Thread Vitaliy Akimov
It's not an issue of error codes. Though error code of WSAEWOULDBLOCK and EAGAIN is different this is not the problem. You've posted a link to preprocessed source code. And there is no implementation of throwErrnoIfMinus1Retry_repeatOnBlock for Windows. This function for Windows treat

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Fraser Wilson
I find it interesting that change is equated with maintenance. I would say that maintenance is a very small subset of change. It's true that you can change a program in a dynamically typed language more easily, in the same way that changes are easier to make if you don't use source control and

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Jules Bean
Justin Bailey wrote: From a recent interview[1] with the guy leading Ruby development on .NET at Microsoft: You spend less time writing software than you spend maintaining software. Optimizing for writing software versus maintaining software is probably the wrong thing to do. Static typing

[Haskell-cafe] Re: ANN: Parsec 3.0.0

2008-03-18 Thread Derek Elkins
On Thu, 2008-03-06 at 09:31 -0800, John MacFarlane wrote: * A compatibility Text.ParserCombinators.Parsec tree for the old Parsec. It's not perfect, but it should work with most Parsec 2 code. A data point: I recompiled pandoc with the new Text.ParserCombinators.Parsec

Re: [Haskell-cafe] build recent(ish) ghc on macos 10.3.9 powerpc?

2008-03-18 Thread Rene Wagner
Hi Uwe, On Sat, 2008-03-15 at 14:04 -0700, Uwe Hollerbach wrote: I'm trying for now to build ghc 6.6.1 -- so I started by upgrading gcc to 3.4.6. That's working. So, with that in place, I went to the porting ghc to a new arch page and started going through the steps. I'm using a laptop

[Haskell-cafe] Re: Dynamic typing makes you more productive?

2008-03-18 Thread ChrisK
Jules Bean wrote: Justin Bailey wrote: From a recent interview[1] with the guy leading Ruby development on .NET at Microsoft: You spend less time writing software than you spend maintaining software. Optimizing for writing software versus maintaining software is probably the wrong thing

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Bulat Ziganshin
Hello Justin, Tuesday, March 18, 2008, 7:41:15 PM, you wrote: is probably the wrong thing to do. Static typing makes it harder to maintain software because it's harder to change it. Two years ago I would have agreed with that statement. Now - no way. f few weeks ago i made a post to main

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Don Stewart
jgbailey: From a recent interview[1] with the guy leading Ruby development on .NET at Microsoft: You spend less time writing software than you spend maintaining software. Optimizing for writing software versus maintaining software is probably the wrong thing to do. Static typing makes it

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Thomas Schilling
On 18 mar 2008, at 19.47, Don Stewart wrote: jgbailey: From a recent interview[1] with the guy leading Ruby development on .NET at Microsoft: You spend less time writing software than you spend maintaining software. Optimizing for writing software versus maintaining software is probably

Re: [Haskell-cafe] Re: Type parameters in type families

2008-03-18 Thread Ryan Ingram
On 3/17/08, Hugo Pacheco [EMAIL PROTECTED] wrote: On the other side, it fails to compile when this signature is explicit: fff :: forall d x. (FunctorF d) = d - F d x - F d x fff a = fmapF a id Interestingly, this works when you also give a type signature to id: fff :: forall d x. (FunctorF d)

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Donn Cave
On Mar 18, 2008, at 12:00 PM, Thomas Schilling wrote: ... I think it's worth to try to make it clear that static typing can help programmers new to the code easily check where things are used and gives them the confidence that their changes won't introduce unintended side effects. It's

[Haskell-cafe] Two Lectureships in Nottingham

2008-03-18 Thread Graham Hutton
Dear all, We are advertising two new Lectureships (Assistant Professorships) in Computer Science at the University of Nottingham in England. Applications in the area of functional programming are particularly welcome. Further details are available from:

Re: [Haskell-cafe] type families, fun deps, lattices imposed on/by types

2008-03-18 Thread Isto Aho
Hi thanks for your answers Manuel, Using your idea of separating the lattice and conversion from the definition of multiplication, you can at least save yourself the class instances: Ok type family Join a b :: * Aah, meet and join but of course - memory memory memory seems to get easily

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Jeremy Shaw
At Tue, 18 Mar 2008 09:41:15 -0700, Justin Bailey wrote: From a recent interview[1] with the guy leading Ruby development on .NET at Microsoft: You spend less time writing software than you spend maintaining software. Optimizing for writing software versus maintaining software is

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread carmen
is probably the wrong thing to do. Static typing makes it harder to maintain software because it's harder to change it. ive found Ruby code is harder to change. you have to invest a significant amount of time duplicating virtually every expression in your entire system in test-form (with

[Haskell-cafe] NW Functional Programming Interest Group

2008-03-18 Thread Greg Meredith
All, Apologies for multiple listings. A small cadre of us are organizing a Northwest Functional Programming Interest Group (hey... NWFPIG, that's kinda funny). Our next meeting is at the The Seattle Public Library 1000 - 4th Ave. Seattle, WA 98104 from 18:30 - 20:00 on March 19th. On this

[Haskell-cafe] intersection of sets

2008-03-18 Thread Walt Potter
All, We're running out of space when we intersect two large sets. We've imported Data.Set. Any suggestions? Thanks, Walt ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Satnam Singh of Microsoft Research

2008-03-18 Thread Galchin Vasili
Hello, Recently Satnam Singh of Microsoft Research gave a talk at Google about concurrency, Haskell STM, etc. Was there a transcript of this talk? Thanks, Vasili ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] intersection of sets

2008-03-18 Thread Tim Chevalier
On 3/18/08, Walt Potter [EMAIL PROTECTED] wrote: All, We're running out of space when we intersect two large sets. We've imported Data.Set. Any suggestions? What optimization and other compiler flags (heap size, etc.) are you using? Have you tried profiling? Cheers, Tim -- Tim

Re: [Haskell-cafe] Satnam Singh of Microsoft Research

2008-03-18 Thread Adam Langley
2008/3/18 Galchin Vasili [EMAIL PROTECTED]: Recently Satnam Singh of Microsoft Research gave a talk at Google about concurrency, Haskell STM, etc. Was there a transcript of this talk? Do you have the exact date of this talk? I can't see that anyone called Satnam has given a talk at Google.

Re: [Haskell-cafe] intersection of sets

2008-03-18 Thread Tim Chevalier
[ccing to list] On 3/18/08, Walt Potter [EMAIL PROTECTED] wrote: Tim, We're using -O2 to optimize, but not changing the heap size. We're trying to get the profiling running on our file. The sets have about 25 million elements each. Each element is a sequence of length 16. We'll want

Re: [Haskell-cafe] Satnam Singh of Microsoft Research

2008-03-18 Thread Galchin Vasili
oops ... my bad ... it was at Standford's CS dept on Feb 29 at 1:30: This presentation describes a variety of ways to write parallel and concurrent programs in the lazy functional language Haskell. We start off by introducing par/pseq annotations which provide guidance to the run-time about how

[Haskell-cafe] Re: Satnam Singh of Microsoft Research

2008-03-18 Thread Chris Ball
Hi, It would be great to get more than the above! The Feedback Directed Implicit Parallelism part is available in a paper from ICFP 2007: http://research.microsoft.com/~tharris/papers/2007-fdip.pdf There might be papers online for the other segments of the talk, too. - Chris. --

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread ajb
G'day all. Quoting Jeremy Shaw [EMAIL PROTECTED]: I like to imagine it works like this: bad static type dynamic typing good static typing. More succinctly: Algol Smalltalk ML Or perhaps: C Ruby Haskell Cheers, Andrew Bromage ___

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread Jon Harrop
On Wednesday 19 March 2008 00:14:30 [EMAIL PROTECTED] wrote: Quoting Jeremy Shaw [EMAIL PROTECTED]: I like to imagine it works like this: bad static type dynamic typing good static typing. More succinctly: Algol Smalltalk ML Or perhaps: C Ruby Haskell What are the

Re: [Haskell-cafe] Dynamic typing makes you more productive?

2008-03-18 Thread John Meacham
My current set of tools are Haskell / \ Perl --- C I often use all three in one project. I think they complement each other well as they are all relative extremes in their genre. John -- John Meacham - ⑆repetae.net⑆john⑈

Re: [Haskell-cafe] build recent(ish) ghc on macos 10.3.9 powerpc?

2008-03-18 Thread Uwe Hollerbach
Hello, haskellers, a few days ago I had asked about building recent ghc on macos 10.3.9. I have made a bit of progress along those lines, here's a small update on what worked and what didn't. Instead of trying to proceed with the porting procedure, I went back to an install: I ended up going to