Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Erik de Castro Lopo
Ivan Miljenovic wrote: Would other Australians be interested in having our own Hackathon (why should all those northerners have all the fun)? Agreed! I'm thinking about organising it to be in the July break between university semesters. I'm a working programmer who has no idea when the

Re: [Haskell-cafe] how to listen on a specific IP using the network library

2010-03-16 Thread Alexander Solla
On Mar 15, 2010, at 12:09 PM, Jeremy Shaw wrote: In happstack we use a really horrible trick involving template haskell where we see if the SockAddrInet6 constructor exists at compile time and conditionally compile different versions of the code that way. But it is really ugly. Maybe a

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Ivan Lazar Miljenovic
Erik de Castro Lopo mle...@mega-nerd.com writes: I'm a working programmer who has no idea when the university semesters start and end. Please don't leave me out :-). [snip] As the father of a school age child, I have some rather high demands on my 4 weeks of annual leave. For me, it would be

[Haskell-cafe] Code that doesn't compile - but should :)

2010-03-16 Thread Giuseppe Maggiore
Hi! Can anyone tell me why this code does not work? I cannot seem to figure why it is broken... {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables, TypeOperators, TypeSynonymInstances #-}

Re: [Haskell-cafe] Code that doesn't compile - but should :)

2010-03-16 Thread Ivan Lazar Miljenovic
Giuseppe Maggiore giuseppe...@gmail.com writes: Hi! Can anyone tell me why this code does not work? I cannot seem to figure why it is broken... The error message (and how you got it) would help... {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances,

Re: [Haskell-cafe] Code that doesn't compile - but should :)

2010-03-16 Thread Giuseppe Maggiore
The error message (obtained by loading the file with ghci) is: GHCi, version 6.10.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Main

Re: [Haskell-cafe] Code that doesn't compile - but should :)

2010-03-16 Thread Chris Eidhof
What about this? {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables, TypeOperators, TypeSynonymInstances #-} data Data k = Pair Integer (() - k) data RecData = RecData (Data RecData)

[Haskell-cafe] ANNOUNCE: feldspar-language-0.2, feldspar-compiler-0.2

2010-03-16 Thread Emil Axelsson
We are happy to announce the new release of Feldspar and its compiler! http://feldspar.sourceforge.net/ Feldspar is an embedded domain-specific language for digital signal processing. It is developed as a joint project with Ericsson, ELTE university and Chalmers university. This is an

Re: [Haskell-cafe] Code that doesn't compile - but should :)

2010-03-16 Thread Giuseppe Maggiore
Well, first of all thanks! Second, why the need for explicit quantification? On Tue, Mar 16, 2010 at 2:39 AM, Chris Eidhof ch...@eidhof.nl wrote: What about this? {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, FlexibleContexts,

Re: [Haskell-cafe] Code that doesn't compile - but should :)

2010-03-16 Thread Chris Eidhof
On 16 mrt 2010, at 10:58, Giuseppe Maggiore wrote: Well, first of all thanks! Second, why the need for explicit quantification? I'm not sure, but I think it has to do with ambiguity. I think it's similar to the problem: readShow :: (Read a, Show a) - String - String readShow = show . read

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Alex Mason
* A plotting library using Ben's newly released Gloss library (for people who can't or won't install Gtk2Hs to get Chart working; Alex Mason is interested in this) * Various graph-related project (graphviz, generic graph class, etc.; this assumes someone else apart from me cares about this

Re: [Haskell-cafe] a poorly thought out suggestion for cabal and packages that have lots of instances

2010-03-16 Thread Stephen Tetley
Hi Jeremy Is this really a problem practically rather than hypothetically? Data.Text and Syb-with-class - both are general, neither uses the other for their implementation, adding a dependency to one sounds like a bad idea - so making a separate 'instance' package seems most sensible. Unless

Re: [Haskell-cafe] ANNOUNCE: direct-plugins-1.0

2010-03-16 Thread Dan Knapp
Don wrote: Good work. I have very little time to maintain hs-plugins, as I'm not using it, so I'm glad you took a look at this. Thanks! I have now released version 1.1 (I know at least one person was waiting on this), which adds a loadDynamic that grovels inside .hi files to check that the

[Haskell-cafe] calling hledger zurihackers

2010-03-16 Thread Simon Michael
Roman C. has cleverly added hledger to the list of topics for this weekend's ZuriHac. I will be working remotely at least on sunday (PDT), and available to support where possible. You are invited to join us! Some ideas - - add Chart or google charts to the web ui - smarter add/convert

[Haskell-cafe] compiling 32 bits haskell program on 64 bits linux

2010-03-16 Thread Vincent Hanquez
Hi Cafe, I was looking for a way to generate 32 bits haskell binary on a 64 bits linux. I've looked at the user guide and tried to use the -fvia-C with -optc -m32 but the generated C file doesn't compile with lots of error messages like the following: $ ghc -o hello hello.hs -fvia-C -optc -m32

Re: [Haskell-cafe] ANNOUNCE: tupleinstances-0.0.1

2010-03-16 Thread Diego Echeverri
On Tue, Mar 16, 2010 at 11:15 AM, Henning Thielemann thunderb...@henning-thielemann.de wrote: newtype T3 a = T3 (a,a,a) which could well be data T3 a = T3 a a a I chose that specific representation just because at the end I want to use normal tuples. I thought this way was easier for

Re: [Haskell-cafe] ANNOUNCE: tupleinstances-0.0.1

2010-03-16 Thread Henning Thielemann
On Tue, 16 Mar 2010, Diego Echeverri wrote: There are only two hard things in Computer Science: cache invalidation and naming things - Phil Karlton I'm open to suggestions :-) It depends on the intended use. :-] Maybe something with vector? ___

[Haskell-cafe] Re: compiling 32 bits haskell program on 64 bits linux

2010-03-16 Thread Christian Maeder
I think you need to install the 32bit ghc first, because you'll need all the 32bit haskell libs. At least I was able to use the 32bit ghc (version 6.8.2) on a 64 bit linux by changing the script in the bin directory from exec $GHCBIN $TOPDIROPT ${1+$@} to exec $GHCBIN -optc-m32 -opta-m32

Re: [Haskell-cafe] th-kinds v0.0.0

2010-03-16 Thread Brent Yorgey
On Mon, Mar 15, 2010 at 07:31:12PM -0500, Louis Wasserman wrote: I'm going to phrase this as a challenge, because I think that's likely to get the best response: I just released a package, th-kindshttp://hackage.haskell.org/package/th-kinds, which attempts to automatically infer the kind of

Re: [Haskell-cafe] th-kinds v0.0.0

2010-03-16 Thread Ryan Ingram
On Mon, Mar 15, 2010 at 5:31 PM, Louis Wasserman wasserman.lo...@gmail.com wrote: GADT types that cannot be reified by TH.  Essentially, I think this is the set of GADT data types that actually couldn't be implemented without GADTs.  Not sure, though.  In any event, at the moment, I don't think

Re: [Haskell-cafe] th-kinds v0.0.0

2010-03-16 Thread Louis Wasserman
Actually, with existential types and type equality constraints, GADTs are redundant. The algorithm is pretty simple: - existentially quantify over all type variables mentioned in the GADT constructor - add a type equality constraint to match the result type - (optional) simplify While

[Haskell-cafe] HGL concurrency problems

2010-03-16 Thread Carsten Schultz
[Cc to the HGL maintainer, I hope that is ok.] Hallo, I am trying to use HGL. My configuration is Mac OS X 10.6.2 (using X11) ghc 6.12.1 HGL 3.2.0.2 (via cabal-install) My program opens a window, draws points and lines, with a considerable amount of calculation between the lines, and then

[Haskell-cafe] Second Call for Copy: Monad.Reader Issue 16

2010-03-16 Thread Brent Yorgey
I already have one or two submissions, but a few more would be great. If you've been thinking about submitting something but weren't sure or haven't gotten around to it yet, now's the time! -- Whether you're an established academic or have only just started learning Haskell, if you

[Haskell-cafe] Re: HGL concurrency problems

2010-03-16 Thread Carsten Schultz
Am 16.03.10 19:55, schrieb Carsten Schultz: I would also like to know if it works on other platforms/versions. To answer my own question: I just tested Debian / ghc 6.8.2 / HGL 3.2.0.0-3 (with X redirected to a Mac, though) The behaviour is exactly the same. Carsten

Re: [Haskell-cafe] Re: HGL concurrency problems

2010-03-16 Thread Daniel Fischer
Am Dienstag 16 März 2010 20:23:54 schrieb Carsten Schultz: Am 16.03.10 19:55, schrieb Carsten Schultz: I would also like to know if it works on other platforms/versions. To answer my own question: I just tested Debian / ghc 6.8.2 / HGL 3.2.0.0-3 (with X redirected to a Mac, though) The

Re: [Haskell-cafe] How to define instance for type synonym with parameter.

2010-03-16 Thread Vasyl Pasternak
Aren't ErrorT and ReaderT instances of Applicative already? (At least in 'transformers' package?) what difference between 'mtl' and 'transformers' packages ? 'mtl' goes with Haskell Platform as standard package, so what is the benefit of 'transformers' library ? Thanks, Vasyl

Re: [Haskell-cafe] compiling 32 bits haskell program on 64 bits linux

2010-03-16 Thread Erik de Castro Lopo
Vincent Hanquez wrote: I was looking for a way to generate 32 bits haskell binary on a 64 bits linux. Once absolutely reliable and foolproof way of doing this is to run a 32 bit chroot within your 64 bit system and then then install the 32 bit vesion of GHC in the chroot. In Debian (and

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Ben Lippmeier
On 16/03/2010, at 10:45 PM, Alex Mason wrote: I'd suggest focusing on core Haskell infrastructure, like compilers and tools, rather than individual libraries -- though it all depends on who wants to come along. Basically, we're just aiming to get a bunch of like minded people together,

Re: [Haskell-cafe] HTTP package freezes on Windows 7

2010-03-16 Thread Phil
On 16/03/2010 01:05, Phil wrote: Scrap my original query - the problem isn't as black white as I thought. The below works fine - I've changed the response type from json to xml strange, but for some reason downloading json doesn't work it's fine on Linux. I'm guessing this is more

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Mark Wotton
On 16/03/2010, at 4:28 PM, Ivan Miljenovic wrote: Would other Australians be interested in having our own Hackathon (why should all those northerners have all the fun)? I'm thinking about organising it to be in the July break between university semesters. There was a previous consideration a

[Haskell-cafe] GLFW on OS X

2010-03-16 Thread Carsten Schultz
Hi everyone, I am working with MacOS X 10.6.2 ghc 6.12.1 GLFW 0.4.2 OpenGL 2.4.0.1 mkbndl (freshly installed, should be 0.2.1) I have copied sample program from http://www.haskell.org/haskellwiki/GLFW#Sample_Program to a file named GLFWTest.hs. (I had to change some Floats to GLfloats.) No I

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Alex Mason
Would other Australians be interested in having our own Hackathon (why should all those northerners have all the fun)? I'm thinking about organising it to be in the July break between university semesters. There was a previous consideration a few years back to have an OzHaskell group

[Haskell-cafe] new Quake 3 BSP loader and viewer

2010-03-16 Thread Csaba Hruska
Hi! I did a little experiment in last week with haskell. According this ( http://graphics.cs.brown.edu/games/quake/quake3.html) tutorial, I wrote a quake 3 bsp map loader and viewer from scratch. (It is independent from frag) The code is quiet small (~900 lines with comments) and it is based on

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Bernie Pope
On 16 March 2010 16:28, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: Would other Australians be interested in having our own Hackathon (why should all those northerners have all the fun)?  I'm thinking about organising it to be in the July break between university semesters. Yes, I am

[Haskell-cafe] Re: Proposal: Australian Hackathon

2010-03-16 Thread Ivan Miljenovic
OK, so we have a fair number of people indicating interest... so which weekend would be preferred? 26/27 June 3/4 July 10/11 July 17/18 July Or should we take this to the wiki rather than the mailing list? On 16 March 2010 16:28, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: Would other

[Haskell-cafe] Are there any web server framework ?

2010-03-16 Thread zaxis
Erlang has yaws (http://yaws.hyber.org/) Scala has lift (http://liftweb.net/) Python has django (http://www.djangoproject.com/) Ruby has rails (http://rubyonrails.org/) How about haskell ? Is there any similar framework, which should be steady, powerful and easy to use, in haskell ? Sincerely!

Re: [Haskell-cafe] Are there any web server framework ?

2010-03-16 Thread Marc Weber
There is a dedicated mailinglist about this topic, see below. There is a little bit more traffic the last days. If you have a look at hackage you can see that there are some frameworks. WASH is still missing. I'm going to change that though. Have a look at

Re: [Haskell-cafe] Proposal: Australian Hackathon

2010-03-16 Thread Hamish Mackenzie
On 16 Mar 2010, at 18:28, Ivan Miljenovic wrote: So, at least as an initial listing, we'd need to have a listing of: 1) Who's interested I am. 2) What dates are good A weekend would be best for me. 3) What projects people want to work on Leksah. 4) Where we can host this I suppose

[Haskell-cafe] compiler management for Haskell a la RVM?

2010-03-16 Thread Mark Wotton
RVM (at http://rvm.beginrescueend.com) is a rather nice tool for managing multiple ruby installations - it gives support for switching between ruby environments (similar to gcc_select and friends), and also exporting lists of packages so that you can easily bring up a given set of gems in

Re: [Haskell-cafe] compiler management for Haskell a la RVM?

2010-03-16 Thread Marc Weber
I wrote it: It's called Hack-Nix and utilizies the Nix repository manager. I've added a wiki page to haskell.org some time ago. Drawbacks: Right now it doesn't make sense to include all hackage packages because resolving dependencies would never end because its written in Nix language. I can

Re: [Haskell-cafe] Are there any web server framework ?

2010-03-16 Thread Michael Snoyman
It's young, but Yesod: http://www.yesodweb.com/code.html Michael On Tue, Mar 16, 2010 at 5:15 PM, zaxis z_a...@163.com wrote: Erlang has yaws (http://yaws.hyber.org/) Scala has lift (http://liftweb.net/) Python has django (http://www.djangoproject.com/) Ruby has rails

Re: [Haskell-cafe] compiler management for Haskell a la RVM?

2010-03-16 Thread Brandon S. Allbery KF8NH
On Mar 16, 2010, at 20:59 , Mark Wotton wrote: Do we have any similar system for ghc/cabal? I quite frequently find myself switching between 6.10 and 6.12 for various things, and it's always a bit painful to get your environment up to speed. Is there a golden road for this stuff, or do the

Re: [Haskell-cafe] How to define instance for type synonym with parameter.

2010-03-16 Thread Brandon S. Allbery KF8NH
On Mar 16, 2010, at 17:03 , Vasyl Pasternak wrote: Aren't ErrorT and ReaderT instances of Applicative already? (At least in 'transformers' package?) what difference between 'mtl' and 'transformers' packages ? 'mtl' goes with Haskell Platform as standard package, so what is the benefit of

[Haskell-cafe] SoC Proposals?

2010-03-16 Thread Jeff Wheeler
Is there any way to propose a SoC idea right now? My account doesn't seem to have been created correctly, so I can't login to the Trac. I think it'd be interesting for a student to abstract the layout model in xmonad, separating it into an independent library. Other applications could then use

Re: [Haskell-cafe] SoC Proposals?

2010-03-16 Thread Thomas DuBuisson
Be sure to try your user name without any capitals - that worked for me... On Tue, Mar 16, 2010 at 6:59 PM, Jeff Wheeler j...@nokrev.com wrote: Is there any way to propose a SoC idea right now? My account doesn't seem to have been created correctly, so I can't login to the Trac. I think it'd

[Haskell-cafe] Extending Cabal's Preprocessors for GSoC?

2010-03-16 Thread Diego Echeverri
Hi guys! Thomas Schilling suggested me to cross-post this here. Basically I'm thinking about the possibility of extending Cabal's Preprocessor mechanism for the GSoC. I've been working to provide uuagc with a Custom build mechanism for Cabal and in this process I have stumbled upon some

Re: [Haskell-cafe] SoC Proposals?

2010-03-16 Thread Jeff Wheeler
On Tue, Mar 16, 2010 at 9:32 PM, Thomas DuBuisson thomas.dubuis...@gmail.com wrote: Be sure to try your user name without any capitals - that worked for me... The account I created is jeffwheeler -- all lowercase, no spaces -- unfortunately, so that doesn't seem to be the problem I'm hitting.

[Haskell-cafe] stuck with a sample of programming in haskell

2010-03-16 Thread 国平张
Hi, I am a beginner for haskell. I was stuck with a sample of programming in haskell. Following is my code: - import Prelude hiding (return, fail) type Parser a = (String-[(a,String)]) return :: a - Parser a return v =

Re: [Haskell-cafe] stuck with a sample of programming in haskell

2010-03-16 Thread Michael Snoyman
Hi, You can only use do notation if you actually create an instance of Monad, which for Parser you haven't done. To continue as is, replace the first line with: import Prelude hiding (return, fail, (=)) and the p function with p = item = \x - item = \_ - item = \y - return (x, y) I've

Re: [Haskell-cafe] SoC Proposals?

2010-03-16 Thread Mihai Maruseac
I cannot login too. Account is mihai.maruseac. On Wed, Mar 17, 2010 at 5:37 AM, Jeff Wheeler j...@nokrev.com wrote: On Tue, Mar 16, 2010 at 9:32 PM, Thomas DuBuisson thomas.dubuis...@gmail.com wrote: Be sure to try your user name without any capitals - that worked for me... The account I