[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 wha

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: -

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 [solar

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 Jon

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 con

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] 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 ti

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Conal Elliott
Hi Peter, > First of all Conal, I find all of your work amazingly cool. Do you have fan list? ;-) :) > Conal Elliott wrote: > > Moreover, functional programming makes it easy to have much more state than imperative programming, namely state over *continuous* time. The temporally dis

[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" pr

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-ifa

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

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: ope

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 http://downlo

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 >

[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,

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. .h

[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] 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

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 becaus

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] 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

Re: [Haskell-cafe] expanded standard lib

2007-11-21 Thread Magnus Therning
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 >>> http://download.plt-sche

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 remo

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 l

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 sc

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 th

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, eit

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. __

[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/yhc>scons ... blah blah blah... Compiling PreludeAux ( src/packages/yhc-base-1.0/PreludeAux.hs ) YHC_build(["src/packages/yhc-base-1.0/Foreign/Util.hbc"], ["src/

[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

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 apar

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 exp

[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

[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 ti

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 modu

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 I'

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, the

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 Has

[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] More accessible papers

2007-11-21 Thread Nils Anders Danielsson
On Wed, 21 Nov 2007, Peter Verswyvelen <[EMAIL PROTECTED]> 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? Typically researchers have to give away the copyright to their papers upon publication. How

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 p

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. ***

[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] 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 wxWidge

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 Ya

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

2007-11-21 Thread Don Stewart
gracjanpolak: > Ketil Malde 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 y

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 ha

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 and

[Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Gracjan Polak
Ketil Malde 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 probably need to i

[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-

[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 miserably

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] 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 ho

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 t

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 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 t

[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 simpl

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 acc

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 t

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 wante

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 bindi

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 mad

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Jon Harrop
On Wednesday 21 November 2007 02:27, 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. Cont

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 transparentl

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 ar

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 *opti

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, pendi

[Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Gracjan Polak
Ketil Malde ii.uib.no> writes: > > Gracjan Polak 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 'c' before > insertin

[Haskell-cafe] Re: Over-allocation

2007-11-21 Thread Gracjan Polak
Stefan O'Rear 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 looks li

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

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 stri

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] [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 li

[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 scaveng

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

2007-11-21 Thread Duncan Coutts
On Wed, 2007-11-21 at 12:58 +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 e

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

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,

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 a

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 instan

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

[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] 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] [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) differe

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 "re

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] 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.man

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] Tetris

2007-11-21 Thread Peter Verswyvelen
First of all Conal, I find all of your work amazingly cool. Do you have fan list? ;-) 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 imper

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 with

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] 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 > Con

[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 cod

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, t

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 p

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 ->

[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 __

[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 ty

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 [...] Interestin

[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 gi

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 suggest

  1   2   >