[Haskell-cafe] GSoC and Machine learning

2010-03-30 Thread Ketil Malde
Hi, Once upon a time, I proposed a GSoC project for a machine learning library. I still get some email from prospective students about this, whom I discourage as best I can by saying I don't have the time or interest to pursue it, and that chances aren't so great since you guys tend to prefer

Re: [Haskell-cafe] Where are the haskell elders?

2010-03-30 Thread Ketil Malde
Don Stewart d...@galois.com writes: I notice that posts from the Haskell elders are pretty rare now. Only every now and then we hear from them. I'm not sure who the 'elders' are, but generally grown-ups with a day time job (professorships, say) tend to be busy people, without much time for

[Haskell-cafe] Shootout update

2010-03-30 Thread Simon Marlow
The shootout (sorry, Computer Language Benchmarks Game) recently updated to GHC 6.12.1, and many of the results got worse. Isaac Gouy has added the +RTS -qg flag to partially fix it, but that turns off the parallel GC completely and we know that in most cases better results can be had by

Re: [Haskell-cafe] Re: Haskell-friendly Linux Distribution

2010-03-30 Thread Ketil Malde
Jason Dagit: The reason I started telling everyone to avoid GHC in apt was the way it was packaged. [..] If they are lucky they figure out which apt package to install. I think people who are too lazy to bother to find out how their distribution works, should avoid any distribution. %

Re: [Haskell-cafe] Re: Haskell-friendly Linux Distribution

2010-03-30 Thread Ivan Lazar Miljenovic
Ketil Malde ke...@malde.org writes: I think people who are too lazy to bother to find out how their distribution works, should avoid any distribution. % apt-cache search foo % sudo apt-get install libghc6-foo\* Agreed (to the extent that someone who can't be bothered figuring out an

[Haskell-cafe] Re: Are there any female Haskellers?

2010-03-30 Thread Achim Schneider
Richard O'Keefe o...@cs.otago.ac.nz wrote: I grant you that driving cars is recent (:-) (:-)! And shoes! Never leave home with them. Well, at least spring till fall. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying,

Re: [Haskell-cafe] Re: building encoding on Windows?

2010-03-30 Thread Tillmann Rendel
Ivan Miljenovic wrote: The Haskell Platform is supposed to be a development environment... No-one ever said it was a _complete_ development environment and that you'd never need any other libraries, tools, etc. On http://hackage.haskell.org/platform/contents.html, someone wrote: The Haskell

Re: [Haskell-cafe] Re: building encoding on Windows?

2010-03-30 Thread Ivan Lazar Miljenovic
Tillmann Rendel ren...@informatik.uni-marburg.de writes: On http://hackage.haskell.org/platform/contents.html, someone wrote: The Haskell Platform is a comprehensive, robust development environment for programming in Haskell. For new users the platform makes it trivial to get up and running

Fwd: [Haskell-cafe] Are there any female Haskellers?

2010-03-30 Thread Alberto G. Corona
. 2010/3/29 Jason Dusek jason.du...@gmail.com 2010/03/29 Alberto G. Corona agocor...@gmail.com: [...] What we evolved with is a general hability: to play with things to achieve what we need from them, (besides other abilities). The pleasure to acheve ends by using available means. [...]

[Haskell-cafe] Re: Two Google Summer of Code project proposals

2010-03-30 Thread Johan Tibell
I'm not able to log in to Trac to update these proposals at the moment so I'll add some notes here for now. On 3/15/10, Johan Tibell johan.tib...@gmail.com wrote: A high-performance HTML combinator library using Data.Text http://hackage.haskell.org/trac/summer-of-code/ticket/1580 Being

Re: [Haskell-cafe] Re: Haskell-friendly Linux Distribution

2010-03-30 Thread Marco Túlio Gontijo e Silva
Hi Ivan. Excerpts from Ivan Miljenovic's message of Ter Mar 30 00:01:19 -0300 2010: On 30 March 2010 13:55, Jason Dagit da...@codersbase.com wrote: (...) [..] now trying to profile something, oh wait, some problem again. Agreed, if Debian didn't include the profiling libraries with GHC

Re: [Haskell-cafe] Programming with categories

2010-03-30 Thread Sjoerd Visscher
And Dan Piponi has a nice collection of blogposts about this topic, for which he has just created an overview: http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html greetings, Sjoerd On Mar 29, 2010, at 8:29 PM, Edward Kmett wrote: One place to start might be category-extras

Re: [Haskell-cafe] building encoding on Windows?

2010-03-30 Thread Han Joosten
The haskell platform should take care of a lot of installation pain, specially for the non-technical users. A new version is due to be release pretty soon (somewhere begin april). It has Mingw and Msys included, and also some pre-built binaries like cabal and haddock. It should be possible for a

Re: [Haskell-cafe] Are there any female Haskellers?

2010-03-30 Thread David Leimbach
On Tue, Mar 30, 2010 at 4:13 AM, Alberto G. Corona agocor...@gmail.comwrote: . 2010/3/29 Jason Dusek jason.du...@gmail.com 2010/03/29 Alberto G. Corona agocor...@gmail.com: [...] What we evolved with is a general hability: to play with things to achieve what we need from them, (besides

[Haskell-cafe] Re: Haskell-friendly Linux Distribution

2010-03-30 Thread Joachim Breitner
Hi Jason and other, thanks for the suggestions, the Debian Haskell Team is eager to learn why people do or don’t use the packaged libraries. Am Dienstag, den 30.03.2010, 14:01 +1100 schrieb Ivan Miljenovic: On 30 March 2010 13:55, Jason Dagit da...@codersbase.com wrote: [..] now trying to

Re: [Haskell-cafe] Haskell at Indian Universities?

2010-03-30 Thread Martin DeMello
On Tue, Mar 30, 2010 at 2:07 AM, Joachim Breitner m...@joachim-breitner.de wrote: I’m a computer science student in Germany and I’d like to spend one semester as an exchange student in India. I have no specific plans yet where I want to go, and I’m wondering if there are universities in India

Re: [Haskell-cafe] Re: Haskell-friendly Linux Distribution

2010-03-30 Thread Ketil Malde
Joachim Breitner nome...@debian.org writes: The profiling data is put in -prof packages, i.e. ghc-prof, libghc6-network-prof etc. Indeed, there is no easy way to tell the package system: Whenever I install a Haskell -dev package, please install the -prof package as well. One option might to

Re: [Haskell-cafe] Shootout update

2010-03-30 Thread Graham Klyne
Simon Marlow wrote: We really need to tune the flags for these benchmarks properly. Do I sense the hidden hand of Goodharts law? :) -- http://en.wikipedia.org/wiki/Goodhart's_law #g ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Serguey Zefirov
I tried to devise a C preprocessor, but then I figured out that I could write something like that: --- #define A(arg) A_start (arg) A_end #define A_start this is A_start definition. #define A_end this is A_end definition. A ( #undef A_start #define A_start A_end )

[Haskell-cafe] Re: Announce: Haskell Platform 2010.1.0.0 (beta) release

2010-03-30 Thread Benjamin L. Russell
Don Stewart d...@galois.com writes: Live from (post-) Zurihac, I'm pleased to announce the 2010.1.0.0 (beta branch) release of the Haskell Platform, supporting GHC 6.12. http://hackage.haskell.org/platform/ The Haskell Platform is a comprehensive, robust development environment for

[Haskell-cafe] Re: GSOC idea: Haskell JVM bytecode library

2010-03-30 Thread Ashley Yakeley
Alexandru Scvortov wrote: I'm thinking of writing a library for analyzing/generating/manipulating JVM bytecode. To be clear, this library would allow one to load and work with JVM classfiles; it wouldn't be a compiler, interpretor or a GHC backend. You might be interested in

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Stephen Tetley
On 30 March 2010 18:55, Serguey Zefirov sergu...@gmail.com wrote: Other than that, C preprocessor looks simple. Ah no - apparently anything but simple. You might want to see Jean-Marie Favre's (very readable, amusing) papers on subject. Much of the behaviour of CPP is not defined and often

[Haskell-cafe] Hackage - Machine Learning

2010-03-30 Thread Jeremy Ong
On a suggestion from Ketil Maede, the listed mentor for the Google Summer of Code Machine Learning Project on Hackage, I am sending this email as an interested student. The listed mentor is busy unfortunately :D. Are there people on the list interested in mentoring this project? Apparently, the

[Haskell-cafe] Re: More Language.C work for Google's Summer of Code

2010-03-30 Thread Achim Schneider
Stephen Tetley stephen.tet...@gmail.com wrote: Much of the behaviour of CPP is not defined and often inaccurately described, certainly it wouldn't appear to make an ideal one summer, student project. If you get http://ldeniau.web.cern.ch/ldeniau/cos.html to work, virtually everything else

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread austin seipp
(sorry for the dupe aaron! forgot to add haskell-cafe to senders list!) Perhaps the best course of action would be to try and extend cpphs to do things like this? From the looks of the interface, it can already do some of these things e.g. do not strip comments from a file:

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
Edward Kmett wrote: Of course, you can argue that we already look at products and coproducts through fuzzy lenses that don't see the extra bottom, and that it is close enough to view () as Unit and Unit as Void, or go so far as to unify Unit and Void, even though one is always inhabited and

Re: [Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread wagnerdm
Quoting Ashley Yakeley ash...@semantic.org: data Nothing I avoid explicit undefined in my programs, and also hopefully non-termination. Then the bottomless interpretation becomes useful, for instance, to consider Nothing as an initial object of Hask particularly when using GADTs.

[Haskell-cafe] GSOC Haskell Project

2010-03-30 Thread Mihai Maruseac
Hi, I'd like to introduce my idea for the Haskell GSOC of this year. In fact, you already know about it, since I've talked about it here on the haskell-cafe, on my blog and on reddit (even on #haskell one day). Basically, what I'm trying to do is a new debugger for Haskell, one that would be

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
Ashley Yakeley wrote: Edward Kmett wrote: Of course, you can argue that we already look at products and coproducts through fuzzy lenses that don't see the extra bottom, and that it is close enough to view () as Unit and Unit as Void, or go so far as to unify Unit and Void, even though one is

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
wagne...@seas.upenn.edu wrote: Forgive me if this is stupid--I'm something of a category theory newbie--but I don't see that Hask necessarily has an initial object in the bottomless interpretation. Suppose I write data Nothing2 Then if I understand this correctly, for Nothing to be an

Re: [Haskell-cafe] Re: Announce: Haskell Platform 2010.1.0.0 (beta) release

2010-03-30 Thread Gregory Collins
dekudekup...@yahoo.com (Benjamin L. Russell) writes: Sorry for the late response, but just out of curiosity, are there any plans to provide a binary installer for either the Haskell Platform or GHC 6.12.1 for Mac OS X Leopard for the PowerPC CPU (as opposed to for the Intel x86 CPU)? I just

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Edward Amsden
I'd be very much interested in working on this library for GSoC. I'm currently working on an idea for another project, but I'm not certain how widely beneficial it would be. The preprocessor and pretty-printing projects sound especially intriguing. On Tue, Mar 30, 2010 at 1:30 PM, Aaron Tomb

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Aaron Tomb
Yes, that would definitely be one productive way forward. One concern is that Language.C is BSD-licensed (and it would be nice to keep it that way), and cpphs is LGPL. However, if cpphs remained a separate program, producing C + extra stuff as output, and the Language.C parser understood

Re: [Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Edward Kmett
The uniqueness of the definition of Nothing only holds up to isomorphism. This holds for many unique types, products, sums, etc. are all subject to this multiplicity of definition when looked at through the concrete-minded eye of the computer scientist. The mathematician on the other hand can

Re: [Haskell-cafe] ANN: data-category, restricted categories

2010-03-30 Thread Edward Kmett
Very true. I oversimplified matters by mistake. One question, I suppose, is does seq distinguish the arrows, or does it distinguish the exponential objects in the category? since you are using it as an object in order to apply seq, and does that distinction matter? I'd hazard not, but its curious

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Nick Bowler
On 19:54 Tue 30 Mar , Stephen Tetley wrote: On 30 March 2010 18:55, Serguey Zefirov sergu...@gmail.com wrote: Other than that, C preprocessor looks simple. Ah no - apparently anything but simple. I would describe it as simple but somewhat annoying. This means that guessing at its

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Aaron Tomb
That's very good to hear! When it comes to preprocessing and exact printing, I think that there are various stages of completeness that we could support. 1) Add support for parsing comments to the Language.C parser. Keep using an external pre-processor but tell it to leave comments in

[Haskell-cafe] GSOC Idea: Simple audio interface

2010-03-30 Thread Edward Amsden
I would like to write an audio interface for haskell for GSoC. The idea is to have a simple frontend (possibly an analog to the IO 'interact' function) that would permit writing simple functions to process audio. The interface would permit easy usage of various audio APIs on various platforms to

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Tom Hawkins
On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb at...@galois.com wrote: Hello, I'm wondering whether there's anyone on the list with an interest in doing additional work on the Language.C library for the Summer of Code. There are a few enhancements that I'd be very interested seeing, and I'd love

[Haskell-cafe] Release: pqueue-1.0.1

2010-03-30 Thread Louis Wasserman
I've finally released my priority queue package, pqueue, on Hackage. This is the direct result of my efforts to design a priority queue for containers, but instead, I decided to put together this package and submit it for addition to the Haskell Platform. There's already been a huge discussion

Re: [Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Conor McBride
Getting back to the question, whatever happened to empty case expressions? We should not need bottom to write total functions from empty types. Correspondingly, we should have that the map from an empty type to another given type is unique extensionally, although it may have many

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Aaron Tomb
On Mar 30, 2010, at 3:16 PM, Tom Hawkins wrote: On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb at...@galois.com wrote: Hello, I'm wondering whether there's anyone on the list with an interest in doing additional work on the Language.C library for the Summer of Code. There are a few

Re: [Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread wagnerdm
I believe I was claiming that, in the absence of undefined, Nothing and Nothing2 *aren't* isomorphic (in the CT sense). But this is straying dangerously far from Ashley's point, which I think is a perfectly good one: Hask without bottom is friendlier than Hask with bottom. ~d Quoting

[Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ashley Yakeley
wagne...@seas.upenn.edu wrote: I believe I was claiming that, in the absence of undefined, Nothing and Nothing2 *aren't* isomorphic (in the CT sense). Well, this is only due to Haskell's difficulty with empty case expressions. If that were fixed, they would be isomorphic even without

Re: [Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Ross Paterson
On Tue, Mar 30, 2010 at 11:26:39PM +0100, Conor McBride wrote: Getting back to the question, whatever happened to empty case expressions? We should not need bottom to write total functions from empty types. Empty types? Toto, I've a feeling we're not in Haskell anymore.

[Haskell-cafe] How to use unsafePerformIO properly (safely?)

2010-03-30 Thread Ivan Miljenovic
I use the dreaded unsafePerformIO for a few functions in my graphviz library ( http://hackage.haskell.org/packages/archive/graphviz/2999.8.0.0/doc/html/src/Data-GraphViz.html ). However, a few months ago someone informed me that the documentation for unsafePerformIO had some steps that should be

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread Edward Amsden
On Tue, Mar 30, 2010 at 5:14 PM, Aaron Tomb at...@galois.com wrote: That's very good to hear! When it comes to preprocessing and exact printing, I think that there are various stages of completeness that we could support.  1) Add support for parsing comments to the Language.C parser. Keep

Re: [Haskell-cafe] Re: ANN: data-category, restricted categories

2010-03-30 Thread Lennart Augustsson
Of course Haskell' should have an empty case. As soon as empty data declarations are allowed then empty case must be allowed just by using common sense. On Tue, Mar 30, 2010 at 11:03 PM, Ashley Yakeley ash...@semantic.org wrote: wagne...@seas.upenn.edu wrote: I believe I was claiming that, in

[Haskell-cafe] Re: [Haskell] Release: pqueue-1.0.1

2010-03-30 Thread Johan Tibell
See http://trac.haskell.org/haskell-platform/wiki/AddingPackages Cheers, Johan On Mar 31, 2010 5:21 AM, Louis Wasserman wasserman.lo...@gmail.com wrote: I've finally released my priority queue package, pqueue, on Hackage. This is the direct result of my efforts to design a priority queue for

[Haskell-cafe] Data.Graph?

2010-03-30 Thread Lee Pike
Apologies if this request isn't 'appropriate' for this venue (perhaps it's a Haskell' request and/or has been discussed before)... I'd like it if there were a Data.Graph in the base libraries with basic graph-theoretic operations. Is this something that's been discussed? For now, it

Re: [Haskell-cafe] Data.Graph?

2010-03-30 Thread Ivan Miljenovic
Sorry for the duplicate email Lee, but I somehow forgot to CC the mailing list :s On 31 March 2010 13:12, Lee Pike leep...@gmail.com wrote: I'd like it if there were a Data.Graph in the base libraries with basic graph-theoretic operations. Is this something that's been discussed? I'm kinda

Re: [Haskell-cafe] More Language.C work for Google's Summer of Code

2010-03-30 Thread wren ng thornton
Stephen Tetley wrote: Much of the behaviour of CPP is not defined and often inaccurately described, certainly it wouldn't appear to make an ideal one summer, student project. But to give Language.C integrated support for preprocessing, one needn't implement CPP. They only need to implement the

[Haskell-cafe] Seeking advice about monadic traversal functions

2010-03-30 Thread Darryn Reid
Hi, I hope that this is an appropriate place to post this question; I initially posted to Haskell-beginners since that seemed appropriate to my knowledge level. Brent Yorgey kindly suggested I should post here instead. Just for a little background: I'm an experienced computer scientist and

[Haskell-cafe] why doesn't time allow diff of localtimes ?

2010-03-30 Thread briand
which is a variation of the question, why can't I compare localtimes ? or am I missing something in Time (yet again). Thanks, Brian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] why doesn't time allow diff of localtimes ?

2010-03-30 Thread wagnerdm
Two values of LocalTime may well be computed with respect to different timezones, which makes the operation you ask for dangerous. First convert to UTCTime (with localTimeToUTC), then compare. Cheers, ~d Quoting bri...@aracnet.com: which is a variation of the question, why can't I compare