[Haskell-cafe] Re: [Haskell] recursive deriving

2007-11-21 Thread Lennart Augustsson
This seems very, very wrong. The missing instance(s) might be left out because of some good reason (e.g. if you have implemented sets with list and not provided Ord). On Nov 21, 2007 12:59 AM, Duncan Coutts [EMAIL PROTECTED] wrote: On Tue, 2007-11-20 at 19:18 -0500, Alex Jacobson wrote: When

[Haskell-cafe] Re: How to abort a computation within Continuation Monad?

2007-11-21 Thread Gleb Alexeyev
Derek Elkins wrote: As Derek Elkins has written, one of the options is to use delimited continuations, see http://research.microsoft.com/~simonpj/papers/control/ for Haskell implementation. I made no such suggestion. I didn't mean that you suggested using implementation referenced

Re: [Haskell-cafe] Re: How to abort a computation within Continuation Monad?

2007-11-21 Thread Don Stewart
gleb.alexeev: Derek Elkins wrote: As Derek Elkins has written, one of the options is to use delimited continuations, see http://research.microsoft.com/~simonpj/papers/control/ for Haskell implementation. I made no such suggestion. I didn't mean that you suggested using

[Haskell-cafe] Re: ANNOUNCE: fixpoint 0.1

2007-11-21 Thread apfelmus
Bertram Felgenhauer wrote: [redirecting from [EMAIL PROTECTED] apfelmus wrote: [...] I wonder whether a multi parameter type class without fundeps/associated types would be better. class Fixpoint f t where inject :: f t - t project :: t - f t [...] Interestingly, this even

Re: [Haskell-cafe] Re: ANNOUNCE: fixpoint 0.1

2007-11-21 Thread Roman Leshchinskiy
apfelmus wrote: Bertram Felgenhauer wrote: [redirecting from [EMAIL PROTECTED] apfelmus wrote: [...] I wonder whether a multi parameter type class without fundeps/associated types would be better. class Fixpoint f t where inject :: f t - t project :: t - f t [...]

[Haskell-cafe] Re: ANNOUNCE: fixpoint 0.1

2007-11-21 Thread apfelmus
Roman Leshchinskiy wrote: apfelmus wrote: Making f an associacted type synonym / fundep instead of a associated data type is still worth it, since we can use it for Mu f But alas, this breaks hylomorphisms: hylo :: Fixpoint t = (Pre t s - s) - (p - Pre t p) - p - s If Pre is a type

[Haskell-cafe] Re: Knot tying vs monads

2007-11-21 Thread apfelmus
John D. Ramsdell wrote: All I know is it was dog slow without any annotations, and spaying them on the suspect data structures cured that problem. Ah ok, that makes sense :) although it's a bit unsatisfactory to be forced to do that blindly. Regards, apfelmus

Re: [Haskell-cafe] Re: ANNOUNCE: fixpoint 0.1

2007-11-21 Thread Roman Leshchinskiy
apfelmus wrote: Roman Leshchinskiy wrote: apfelmus wrote: Making f an associacted type synonym / fundep instead of a associated data type is still worth it, since we can use it for Mu f But alas, this breaks hylomorphisms: hylo :: Fixpoint t = (Pre t s - s) - (p - Pre t p) - p - s If

Re: [Haskell-cafe] Re: expanded standard lib

2007-11-21 Thread Bulat Ziganshin
Hello apfelmus, Tuesday, November 20, 2007, 1:10:26 PM, you wrote: What technology to use, that's the *key* question. If we forget everything what we currently can do with a computer and instead imagine what we could do, the answer would probably be: the system you descriibed can be made

Re[2]: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Bulat Ziganshin
Hello Thomas, Tuesday, November 20, 2007, 6:35:00 PM, you wrote: Using DocBook, however, has some nice advantages. For example, the possibility to generate documentation in different formats. Something more easily accessible (from the internet) would certainly be much more convenient,

[Haskell-cafe] Re: ANNOUNCE: fixpoint 0.1

2007-11-21 Thread apfelmus
Roman Leshchinskiy wrote: apfelmus wrote: Ah, right. But unlike size , this is unambiguous since t can (and probably should) be fused away: hylo :: Functor f = (f s - s) - (p - f p) - p - s hylo f g = f . fmap (hylo f g) . g Excellent point! When I originally developed the code,

Re: [Haskell-cafe] Fun with Cabal on Windows! [Stream fusion for Hackage]

2007-11-21 Thread Duncan Coutts
On Tue, 2007-11-20 at 10:35 -0500, Olivier Boudry wrote: On 11/19/07, Andrew Coppin [EMAIL PROTECTED] wrote: Well, I just tried to install this, and as per usual, Cabal has having none of it. C:\fusion\ runhaskell Setup configure Configuring

RE: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Simon Peyton-Jones
| Well, I've already filed 4 bugs against GHC. One was already fixed by | GHC 6.8.1 (yays!), one is trivial and will be fixed in 6.8.2, and the | other two it seems nobody is keen to work on. (In fairness, one of them | is fairly nontrivial.) I get the impression that I'd probably be | regarded as

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread Peter Verswyvelen
Jeremy Shaw wrote: I would be especially neat if there was some way to embed the .tex source in the .pdf, so that you could later extract the source from the .pdf and rebuild it. This is probably not officially supported by .pdf, but I bet it can be done. Perhaps by creating a hidden section and

RE: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Simon Peyton-Jones
Some random thoughts triggered by this thread 1. I've been bowled over by the creativity unleashed by having a central site (Hackage), with a consistent installation story (Cabal), where you can upload packages with no central intervention. A single issue of the Haskell Weekly (sic) News

Re: [Haskell-cafe] A small question

2007-11-21 Thread Jeremy O'Donoghue
On 16/11/2007, Andrew Coppin [EMAIL PROTECTED] wrote: Sebastian Sylvan wrote: On Nov 15, 2007 6:56 PM, Andrew Coppin [EMAIL PROTECTED] wrote: I notice that in GHC 6.8.1, if I compile a runnably program, as well as generating foo.exe, GHC now also generates a file foo.exe.manifest, which

RE: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Duncan Coutts
On Wed, 2007-11-21 at 10:59 +, Simon Peyton-Jones wrote: Some random thoughts triggered by this thread 1. I've been bowled over by the creativity unleashed by having a central site (Hackage), with a consistent installation story (Cabal), where you can upload packages with no central

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Laurent Deniau
Peter Verswyvelen wrote: Conal Elliott wrote: Moreover, functional programming makes it easy to have much more state than imperative programming, namely state over *continuous* time. The temporally discrete time imposed by the imperative model is pretty puny in comparison. Continuous (or

[Haskell-cafe] [Offtopic?] Cabal package license and copyright holder question

2007-11-21 Thread Alfonso Acosta
Hi all, I don't know if this is the right place to ask but, since it's somehow Haskell-related I decided to use haskell-cafe. I'm cabalizing a library which, apart from my own code, has code taken from others. As it could be expected, each piece has its own copyright holder and (slightly)

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Henrik Nilsson
Hi Peter, About continuous time; it is in fact, not really continuous is it, since floats are used to approximate time. So the longer your program runs, the less accurate an absolute time value will become no? Well, yes and no. Yampa, at least, does not use absolute time internally, only

[Haskell-cafe] Re: An interesting monad: Prompt

2007-11-21 Thread apfelmus
Ryan Ingram wrote: I've been trying to implement a few rules-driven board/card games in Haskell and I always run into the ugly problem of how do I get user input? The usual technique is to embed the game in the IO Monad: The problem with this approach is that now arbitrary IO computations are

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread Neil Mitchell
Hi Peter, Yes, but why don't researchers just publish their TEX file? You can regard that as the source code for generating PDF/PS whatever no? Building a .tex file can be rather hard with packages and what-not, plus quite a few of us use lhst2tex as a preprocessor. It's not impossible, but

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Peter Verswyvelen
Laurent Deniau wrote: Peter Verswyvelen wrote: And you still need to think about where you have to introduce delays to avoid infinite loops? I don't see why, unless you want to have a memory or explicitly stop the time which means it's a parameter of the transition as mention above (but

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread Peter Verswyvelen
You are completely right, 99% of the people will read the PDF, in exactly the same sense that Windows users prefer to download an installable EXE instead of building from source. But nobody here will argue that the *option* to build from source is useful no? So I don't see why this would not

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread PR Stanley
Hi Peter, Yes, but why don't researchers just publish their TEX file? You can regard that as the source code for generating PDF/PS whatever no? Building a .tex file can be rather hard with packages and what-not, plus quite a few of us use lhst2tex as a preprocessor. It's not impossible, but

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread Miguel Mitrofanov
Building a .tex file can be rather hard with packages and what-not, plus quite a few of us use lhst2tex as a preprocessor. It's not impossible, but its not trivial either, and I can't imagine that anyone would use a .tex over a PDF. I would prefer the .tex version any day! Why not have both

[Haskell-cafe] Over-allocation

2007-11-21 Thread Gracjan Polak
Hi, My program is eating too much memory: copyfile source.txt dest.txt +RTS -sstderr Reading file... Reducing structure... Writting file... Done in 20.277s 1,499,778,352 bytes allocated in the heap 2,299,036,932 bytes copied during GC (scavenged) 1,522,112,856 bytes copied during GC (not

Re: [Haskell-cafe] [Offtopic?] Cabal package license and copyright holder question

2007-11-21 Thread Alfonso Acosta
The copyright field is free-form so you can list all the copyright holders. You can use multiple lines. See for example: http://hackage.haskell.org/packages/archive/bytestring/0.9.0.1/bytestring.cabal Then for the license, use Other and specify a license file with all the appropriate license

Re: [Haskell-cafe] Over-allocation

2007-11-21 Thread Stefan O'Rear
On Wed, Nov 21, 2007 at 01:31:35PM +, Gracjan Polak wrote: Hi, My program is eating too much memory: The source.txt is 800kb, and I expect files of size 100 times more, say 80MB, so using -H800M will not help here much. The profile -p says: COST CENTRE

Re: [Haskell-cafe] Over-allocation

2007-11-21 Thread Ketil Malde
Gracjan Polak [EMAIL PROTECTED] writes: let entries = IntMap.fromList (map (\(a,b,c) - (a,c)) (concat p)) Gut reaction: Map is lazy in its values (but probably not the key, which are checked for order), so you should force the 'c' before inserting it in the map. (There's probably a strict

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Ketil Malde
Duncan Coutts [EMAIL PROTECTED] writes: 4. Meanwhile, we could get a lot more mileage from de-centralised approaches. Ideas I saw in this thread that sound attractive to me are to make Hackage display, for each package: - date of last update - download statistics - some kind of

[Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Gracjan Polak
Stefan O'Rear stefanor at cox.net writes: Note that heap profiling is even more a black art than time profiling; you may need to do a lot of experimentation to find an enlightening profile. Black art indeed... I did -hc, looked at the postscript generated from every angle I could and it

[Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Gracjan Polak
Ketil Malde ketil+haskell at ii.uib.no writes: Gracjan Polak gracjanpolak at gmail.com writes: let entries = IntMap.fromList (map (\(a,b,c) - (a,c)) (concat p)) Gut reaction: Map is lazy in its values (but probably not the key, which are checked for order), so you should force the

Re: [Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Ketil Malde
Gracjan Polak [EMAIL PROTECTED] writes: The problem is that my prog allocates a lot just to free it immediatelly after. But what? Use +RTS -hd instead, which will tell you the constructor. I bet you'll find it's (:), and that you are retaining a load of Chars from your input file, pending

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread PR Stanley
also, Latex source code is 100% accessible to screen reader users. Paul You are completely right, 99% of the people will read the PDF, in exactly the same sense that Windows users prefer to download an installable EXE instead of building from source. But nobody here will argue that the

Re: [Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Ketil Malde
Gracjan Polak [EMAIL PROTECTED] writes: I tried both Map and IntMap and there was no difference in memory total usage or usage pattern. Seems I'm already strict enough. This only proves Map and IntMap are equally strict, or in other words, they are both lazy in the elements. Values are

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Jon Harrop
On Wednesday 21 November 2007 07:06, Jules Bean wrote: As far as I'm aware, all GL implementations come with a GLUT implementation. No: GL is typically installed with your video card drivers and glut must be installed as a separate package. On Linux, package managers handle this transparently

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread David Menendez
On Nov 21, 2007 5:59 AM, Simon Peyton-Jones [EMAIL PROTECTED] wrote: 2. We absolutely must not conflate GHC releases with QA-stamped library bundles. The latter would be great, but the two must be separate. (For reasons given by others in this thread.) Someone in a previous thread made an

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Peter Verswyvelen
Yes indeed, and various implementations of GLUT on Windows have different quirks. The biggest lack of GLUT is its inability to load images... IMHO if you want to do OpenGL with Haskell, it's best to start with Gtk2HS anyway, which has all the support needed. Last time I checked the SDL

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread Peter Verswyvelen
Christopher L Conway wrote: style is attached (I'm sure many on the list already have it), in case Peter is feeling brave. Note that the ACM has several different I'm feeling brave but tired ;-) Besides I'm spending all of my free time learning Haskell! :) I don't know tex at all, I just

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Jules Bean
Peter Verswyvelen wrote: Yes indeed, and various implementations of GLUT on Windows have different quirks. The biggest lack of GLUT is its inability to load images... IMHO if you want to do OpenGL with Haskell, it's best to start with Gtk2HS anyway, which has all the support needed. ..at

Re: Re[2]: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Thomas Schilling
On Wed, 2007-11-21 at 12:19 +0300, Bulat Ziganshin wrote: Hello Thomas, Tuesday, November 20, 2007, 6:35:00 PM, you wrote: Using DocBook, however, has some nice advantages. For example, the possibility to generate documentation in different formats. Something more easily accessible

[Haskell-cafe] Re: GHC 6.8.1 and HDirect

2007-11-21 Thread Olivier Boudry
On 11/21/07, Fernand [EMAIL PROTECTED] wrote: Hi dear fellow ghc users, I simply wanted to let people know that I apparently succeeded in compiling a patched version of HDirect with GHC 6.8.1 (with typelibs support). At least, I could compile some of the examples and had very simple test

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Peter Verswyvelen
Well in that case, GLFW seems to run fine on OSX. See http://glfw.sourceforge.net http://glfw.sourceforge.net/ GLUT is portable but has many different implementations. I already had a couple of nasty bugs using it (different keyboard handling, incorrect joystick support, etc). So it's best to

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Conal Elliott
I've just started using OpenGL with wxHaskell, which is my favorite of the Haskell GUI toolkits. (I like elegant interfaces.) So far, so good. If anyone else is using that combination, I'd love to hear about it. On Nov 21, 2007 8:04 AM, Peter Verswyvelen [EMAIL PROTECTED] wrote: Well in

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread brad clawsie
On Wed, Nov 21, 2007 at 10:59:21AM +, Simon Peyton-Jones wrote: (Is this list complete?) i would like to see some feedback (voting/scoring/message board) system for guaging interest in needed/missing/incomplete functionality my primary concern from the start of the thread was filling

[Haskell-cafe] State of the GHC-embedded Haddock (AKA Haddock 2.0)?

2007-11-21 Thread Alfonso Acosta
Hi, Can someone shed some light on what's the state of GHC-Haddock? The thread [1] mentions a haddock.ghc repository which doesn't exist anymore. Are there any plans of releasing it anytime soon? I have a haddock-annotated library which makes massive use of TH, making Haddock 0.8 fail

[Haskell-cafe] Re: State of the GHC-embedded Haddock (AKA Haddock 2.0)?

2007-11-21 Thread Alfonso Acosta
Can someone shed some light on what's the state of GHC-Haddock? The thread [1] mentions a haddock.ghc repository which doesn't exist anymore. Forgot to add the reference [1] http://www.mail-archive.com/[EMAIL PROTECTED]/msg20453.html ___

[Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Gracjan Polak
Ketil Malde ketil+haskell at ii.uib.no writes: Then you get the memory behavior you ask for. Unevaluated strings are extremely expensive, something like 12 bytes per char on 32 bit, twice that on 64 bits, and then you need GC overhead, etc. ByteStrings are much better, but you then

Re: [Haskell-cafe] wxHaskell / Proxima (was Tetris)

2007-11-21 Thread Peter Verswyvelen
Ouch, I didn't even look at wxHaskell yet... Should do so then asap. Talking about wxHaskell, one of the applications shown on the website is Proxima. I've been looking for something like that for a long time (combined structural and freestyle editing). The screenshot

Re: [Haskell-cafe] Re: State of the GHC-embedded Haddock (AKA Haddock 2.0)?

2007-11-21 Thread David Waern
Alfonso wrote: Can someone shed some light on what's the state of GHC-Haddock? The thread [1] mentions a haddock.ghc repository which doesn't exist anymore. Forgot to add the reference [1] http://www.mail-archive.com/[EMAIL PROTECTED]/msg20453.html Hi Alfonso, The repository has been

Re: [Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Don Stewart
gracjanpolak: Ketil Malde ketil+haskell at ii.uib.no writes: Then you get the memory behavior you ask for. Unevaluated strings are extremely expensive, something like 12 bytes per char on 32 bit, twice that on 64 bits, and then you need GC overhead, etc. ByteStrings are much better,

Re: [Haskell-cafe] The Yampa Arcade: source code available?

2007-11-21 Thread Paul L
Just to echo back to the question whether Yampa/AFRP is still being developed, the answer is YES. We are working on an updated version at Yale. But really, we have many choices of doing reactive programming, and AFRP is only one of them. And even for AFRP, there are many choices of combinators

RE: [Haskell-cafe] The Yampa Arcade: source code available?

2007-11-21 Thread Peter Verswyvelen
That's very nice to hear! -Original Message- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Paul L Sent: Wednesday, November 21, 2007 6:11 PM To: Haskell-Cafe Subject: Re: [Haskell-cafe] The Yampa Arcade: source code available? Just to echo back to the question whether

[Haskell-cafe] More problems [Tetris]

2007-11-21 Thread Andrew Coppin
Andrew Coppin wrote: Jeremy Shaw wrote: http://haskell-tetris.pbwiki.com/Main A minimal openGL haskell tetris clone: Neat! I shall have to give this a try... Negatro. I can't get this to work. :-( It seems that the [Haskell] GLUT package isn't installed. That's really weird - I'm *sure*

RE: [Haskell-cafe] More problems [Tetris]

2007-11-21 Thread Peter Verswyvelen
No GLUT is not bundled with GHC 6.8.1 anymore. Yes, that is weird. It was bundled with GHC 6.6.1. But installing it for GHC 6.8.1 is really easy, but you have to install msys/mingw first. So if you want to do some experiments with OpenGL without having to install other stuff, use GHC 6.6.1.

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Radosław Grzanka
2007/11/21, Conal Elliott [EMAIL PROTECTED]: I've just started using OpenGL with wxHaskell, which is my favorite of the Haskell GUI toolkits. (I like elegant interfaces.) So far, so good. If anyone else is using that combination, I'd love to hear about it. There are bindings for wxWidgets

RE: [Haskell-cafe] More problems [Tetris]

2007-11-21 Thread Peter Verswyvelen
Andrew, I tried the Tetris with GHC 6.6.1 on Windows, and it works out of the box. Of course you must make sure a suitable GLUT32.DLL is in your path. However, it's not really a nice tetris is it :) And it is very monadic. I wrote a Tetris clone once on the Amiga. But I won't do that again. And

[Haskell-cafe] wxHaskell [was Tetris]

2007-11-21 Thread Andrew Coppin
Radosław Grzanka wrote: 2007/11/21, Conal Elliott [EMAIL PROTECTED]: I've just started using OpenGL with wxHaskell, which is my favorite of the Haskell GUI toolkits. (I like elegant interfaces.) So far, so good. If anyone else is using that combination, I'd love to hear about it.

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Andrew Coppin
Simon Peyton-Jones wrote: Some random thoughts triggered by this thread 1. I've been bowled over by the creativity unleashed by having a central site (Hackage), with a consistent installation story (Cabal), where you can upload packages with no central intervention. A single issue of the

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Andrew Coppin
Duncan Coutts wrote: Grab the hackage code from: http://darcs.haskell.org/hackage-scripts/ Send patches to the cabal-devel mailing list. Everyone is most welcome to subscribe too. So... the HackageDB HTTP frontend is just a set of CGI scripts written in Haskell? (As far as I can tell,

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Andrew Coppin
Simon Peyton-Jones wrote: | Well, I've already filed 4 bugs against GHC. One was already fixed by | GHC 6.8.1 (yays!), one is trivial and will be fixed in 6.8.2, and the | other two it seems nobody is keen to work on. (In fairness, one of them | is fairly nontrivial.) I get the impression that

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Magnus Therning
On Tue, Nov 20, 2007 at 12:33:21 +, Vladimir Zlatanov wrote: Yes, those are good points. Maybe adding functionality similar to plt's planet http://planet.plt-scheme.org and http://download.plt-scheme.org/doc/371/html/mzscheme/mzscheme-Z-H-5.html#node_sec_5.4 In plt scheme including a module,

[Haskell-cafe] libSDL [Tetris]

2007-11-21 Thread Andrew Coppin
Radosław Grzanka wrote: 2007/11/20, Bit Connor [EMAIL PROTECTED]: GLUT should work fine on windows, but another alternative is SDL, which works on Windows, GNU/Linux, and Mac The haskell bindings are here: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-0.5.1 Last

[Haskell-cafe] Re: wxHaskell / Proxima (was Tetris)

2007-11-21 Thread Gerbo Engels
Peter Verswyvelen [EMAIL PROTECTED] wrote: Talking about wxHaskell, one of the applications shown on the website is Proxima. I've been looking for something like that for a long time (combined structural and freestyle editing). The screenshot

Re: [Haskell-cafe] [Offtopic?] Cabal package license and copyright holder question

2007-11-21 Thread Magnus Therning
On Wed, Nov 21, 2007 at 12:58:52 +0100, Alfonso Acosta wrote: Hi all, I don't know if this is the right place to ask but, since it's somehow Haskell-related I decided to use haskell-cafe. I'm cabalizing a library which, apart from my own code, has code taken from others. As it could be expected,

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Jon Harrop
On Wednesday 21 November 2007 20:14, Magnus Therning wrote: Many other programming languages have packaging strategies that sound very similar. Several of them have managed to have a negative impact on platforms that already have good packaging technologies (i.e. almost every platform apart

[Haskell-cafe] RE: wxHaskell / Proxima (was Tetris)

2007-11-21 Thread Peter Verswyvelen
Gerbo wrote: But I'm about to start my Master thesis project, which will (partially) be about creating a Proxima instance using GHC as the backend (and thus hopefully opening ways to implement a Haskell IDE). So maybe in some months Proxima does support full Haskell :) Woohoo! Go go go!!!

[Haskell-cafe] yhc install fails

2007-11-21 Thread Thomas Hartman
I'm having the devil of a time getting yhc to install. http://hpaste.org/4028 or for posterity [EMAIL PROTECTED]:~/yhc-install/yhcscons ... blah blah blah... Compiling PreludeAux ( src/packages/yhc-base-1.0/PreludeAux.hs ) YHC_build([src/packages/yhc-base-1.0/Foreign/Util.hbc],

Re: [Haskell-cafe] More problems [Tetris]

2007-11-21 Thread Alex Young
Peter Verswyvelen wrote: No GLUT is not bundled with GHC 6.8.1 anymore. Yes, that is weird. It was bundled with GHC 6.6.1. But installing it for GHC 6.8.1 is really easy, but you have to install msys/mingw first. This is handled in Ruby-land by having binary packages available for Windows,

Re: [Haskell-cafe] A small question

2007-11-21 Thread J. Garrett Morris
On Nov 21, 2007 5:16 AM, Jeremy O'Donoghue [EMAIL PROTECTED] wrote: Not just Windows Vista. Applications and DLLs compiled with Visual Studio 2005 (Express or full version) seem to need it to run on XP as well. I believe the dependency here is version 8 of the Visual C RTL. Applications that

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Alex Young
Magnus Therning wrote: On Tue, Nov 20, 2007 at 12:33:21 +, Vladimir Zlatanov wrote: Yes, those are good points. Maybe adding functionality similar to plt's planet http://planet.plt-scheme.org and http://download.plt-scheme.org/doc/371/html/mzscheme/mzscheme-Z-H-5.html#node_sec_5.4 In plt

Re: [Haskell-cafe] libSDL [Tetris]

2007-11-21 Thread Andrew Coppin
Jorge Marques Pelizzoni wrote: Andrew Coppin escreveu: ...yep, configure fails because it can't find sh. (Again.) You are probably not using cygwin, are you? I mean, it includes sh and should get you going. Just make sure to check all you need in the cygwin setup. I'm rather

Re: [Haskell-cafe] libSDL [Tetris]

2007-11-21 Thread Jorge Marques Pelizzoni
Andrew Coppin escreveu: ...yep, configure fails because it can't find sh. (Again.) You are probably not using cygwin, are you? I mean, it includes sh and should get you going. Just make sure to check all you need in the cygwin setup. Cheers, Jorge.

Re: [Haskell-cafe] More problems [Tetris]

2007-11-21 Thread Andrew Coppin
Peter Verswyvelen wrote: No GLUT is not bundled with GHC 6.8.1 anymore. Yes, that is weird. It was bundled with GHC 6.6.1. OK, so it was there, but now it isn't, and this fact isn't documented. Should I file a ticket for this? (To get the release notes amended if nothing else.) Was GLUT

Re: [Haskell-cafe] wxHaskell [was Tetris]

2007-11-21 Thread Conal Elliott
Doesn't that go through Eiffel first or something strange? Not at run-time. I think Daan leveraged the Eiffel bindings in automatically generating part of the Haskell bindings. I admit I haven't tried it personally, but I'm told getting wxHaskell to build is a tad tricky, and the code hasn't

Re: [Haskell-cafe] More accessible papers

2007-11-21 Thread Jeremy Shaw
At Wed, 21 Nov 2007 12:10:38 +0100, Peter Verswyvelen wrote: Yes, but why don't researchers just publish their TEX file? You can regard that as the source code for generating PDF/PS whatever no? Yes. but things have a way of getting lost. The primary advantage to embedding the data is you

Re: [Haskell-cafe] gtk2hs problem

2007-11-21 Thread Gregory Propf
OK, it actually DOES appear related to the -threaded flag. I was sure I had removed that and still seen the problem but now it seems that taking that out is indeed the fix. Using the -O2 flag is OK. I guess it's some syncronization problem when using the threaded RTS. Which is a shame

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Ross Paterson
On Wed, Nov 21, 2007 at 08:14:09PM +, Magnus Therning wrote: Many other programming languages have packaging strategies that sound very similar. Several of them have managed to have a negative impact on platforms that already have good packaging technologies (i.e. almost every platform

[Haskell-cafe] question about ghci on windows ...

2007-11-21 Thread Galchin Vasili
Hello, I am reading through http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html in particular the description of the boot libraries. I don't see how I can display function signatures from compiled code (i.e. .hi). ??? Kind regards, Vasya

Re: [Haskell-cafe] question about ghci on windows ...

2007-11-21 Thread Ian Lynagh
On Wed, Nov 21, 2007 at 05:46:35PM -0600, Galchin Vasili wrote: I am reading through http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html in particular the description of the boot libraries. I don't see how I can display function signatures from compiled code (i.e. .hi).

[Haskell-cafe] Re: More problems [Tetris]

2007-11-21 Thread Aaron Denney
On 2007-11-21, Andrew Coppin [EMAIL PROTECTED] wrote: In short, lots of Haskell-related things seem to be extremely Unix-centric and downright unfriendly towards anybody trying to set things up on Windows. If I didn't already know a bit about Unix, I'd be *really* stuck! I'd say, rather, that

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Duncan Coutts
On Wed, 2007-11-21 at 14:57 +0100, Ketil Malde wrote: No Google page rank-alike? I did a quick popularity count by wget'ting the whole thing, and looking for hrefs under cgi-bin/packages/archive¹. Not exact, as it counts links to the previous version, but a rough approximation. Page rank

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Alex Young
Magnus Therning wrote: On Wed, Nov 21, 2007 at 20:40:01 +, Alex Young wrote: Magnus Therning wrote: On Tue, Nov 20, 2007 at 12:33:21 +, Vladimir Zlatanov wrote: Yes, those are good points. Maybe adding functionality similar to plt's planet http://planet.plt-scheme.org and

Re: [Haskell-cafe] question about ghci on windows ...

2007-11-21 Thread Galchin Vasili
Hi Ian, I am trying to dump out all function signatures exported from System.Directory. I just tried inside ghci: :! ghc --show-iface System.Directory. This is getting closer ... thank you! However, now there appears to be a path problem because I get an error message: System.Directory:

Re: [Haskell-cafe] question about ghci on windows ...

2007-11-21 Thread Ian Lynagh
On Wed, Nov 21, 2007 at 06:57:55PM -0600, Galchin Vasili wrote: I am trying to dump out all function signatures exported from System.Directory. I just tried inside ghci: :! ghc --show-iface System.Directory. Aha, use :browse System.Directory Thanks Ian

[Haskell-cafe] Using GHC as a library?

2007-11-21 Thread Galchin Vasili
Hello, I am reading 1) http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/API 2) http://haskell.org/haskellwiki/GHC/As_a_library Conceptually by allowing importation of GHC itself into a problem is this some kind of reification? Kind regards, vasya

Re: [Haskell-cafe] question about ghci on windows ...

2007-11-21 Thread Brandon S. Allbery KF8NH
On Nov 21, 2007, at 19:57 , Galchin Vasili wrote: Hi Ian, I am trying to dump out all function signatures exported from System.Directory. I just tried inside ghci: :! ghc --show-iface System.Directory. This is getting closer ... thank you! However, now there appears to be a path

Re: [Haskell-cafe] question about ghci on windows ...

2007-11-21 Thread Galchin Vasili
aha . ;^) thnaks, vaya On Nov 21, 2007 7:03 PM, Ian Lynagh [EMAIL PROTECTED] wrote: On Wed, Nov 21, 2007 at 06:57:55PM -0600, Galchin Vasili wrote: I am trying to dump out all function signatures exported from System.Directory. I just tried inside ghci: :! ghc --show-iface

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Conal Elliott
On Nov 21, 2007 3:49 AM, Laurent Deniau [EMAIL PROTECTED] wrote: Peter Verswyvelen wrote: Conal Elliott wrote: Moreover, functional programming makes it easy to have much more state than imperative programming, namely state over *continuous* time. The temporally discrete time imposed by

Re: [Haskell-cafe] Re: An interesting monad: Prompt

2007-11-21 Thread Ryan Ingram
On 11/21/07, apfelmus [EMAIL PROTECTED] wrote: A slightly different point of view is that you use a term implementation for your monad, at least for the interesting primitive effects That's a really interesting point of view, which had struck me slightly, but putting it quite clearly like

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Bryan O'Sullivan
Magnus Therning wrote: “Rubygems is source-intrusive. The require instruction is replaced by a require_gem instruction to allow for versioned dependencies. Debian and most other systems think that dealing with versioned dependencies outside of the source is a better idea.” To drag the

Re: [Haskell-cafe] Re: Scheme in Haskell, Parsec Example, how to add scheme comments

2007-11-21 Thread Berlin Brown
On Nov 18, 2007 8:01 PM, Thomas Schilling [EMAIL PROTECTED] wrote: On Sun, 2007-11-18 at 19:37 -0500, Berlin Brown wrote: On Nov 18, 2007 7:32 PM, Berlin Brown [EMAIL PROTECTED] wrote: I am sure many of you have looked at the scheme in haskell example that is on the web by Jonathan Tang.

Re: [Haskell-cafe] Re: Scheme in Haskell, Parsec Example, how to add scheme comments

2007-11-21 Thread Brandon S. Allbery KF8NH
On Nov 22, 2007, at 0:50 , Berlin Brown wrote: token :: Parser - Parser String token p = do r - p whiteSpace return $ String r You have an indentation problem: whiteSpace and return should be at the level of r, not p. -- brandon s. allbery

Re: [Haskell-cafe] How to abort a computation within Continuation Monad?

2007-11-21 Thread Dimitry Golubovsky
Hi, I finally was able to write a function which grabs the remainder of the computation in Cont monad and passes it to some function, in the same time forcing the whole computation to finish by returning a final value. I am not sure what kind of wheel I have reinvented, but here it is:

[Haskell-cafe] Re: More accessible papers

2007-11-21 Thread Martin Geisler
Peter Verswyvelen [EMAIL PROTECTED] writes: Jeremy Shaw wrote: I would be especially neat if there was some way to embed the .tex source in the .pdf, [...] Yes, but why don't researchers just publish their TEX file? You can regard that as the source code for generating PDF/PS whatever no?