[Haskell-cafe] GSoC and Machine learning

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 l

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

Don Stewart 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 chatting. > Be

[Haskell-cafe] Shootout update

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 leavi

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

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

Ketil Malde 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 "advanced" dist

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

"Richard O'Keefe" 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, hiring, renting, pe

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

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?

Tillmann Rendel 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 with a full Haskell >> devel

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

. 2010/3/29 Jason Dusek 2010/03/29 Alberto G. Corona : > > [...] 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. [...] A tool is someting used to solve

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

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 wrote: > A high-performance HTML combinator library using Data.Text > > http://hackage.haskell.org/trac/summer-of-code/ticket/1580 > > Being both fast and safe,

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

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 wrote: (...) > > [..] now trying to profile something, oh wait, some problem again. > > Agreed, if Debian didn't include the profiling libraries with GHC > (though is this du

Re: [Haskell-cafe] GSoC and Machine learning

Hi, Ketil Malde-5 wrote: > > 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

Re: [Haskell-cafe] Programming with categories

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?

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 l

[Haskell-cafe] ICFP 2010 deadline

On behalf of Stephanie Weirich, this year's PC Chair, I would like to emphasize that the deadline for ICFP this year is at *14:00 UTC*. You may want to double check what time this is using the following link: http://www.timeanddate.com/worldclock/fixedtime.html?day=2&month=4&year=2010&hour=14&m

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

On Tue, Mar 30, 2010 at 4:13 AM, Alberto G. Corona wrote: > > > . > > 2010/3/29 Jason Dusek > > 2010/03/29 Alberto G. Corona : >> > [...] 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

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

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 wrote: > > [..] now trying to profile something, oh

[Haskell-cafe] Re: Shootout update

Simon Marlow wrote: > The shootout > http://gist.github.com/349196 My machine is way to old to figure out whether switching to a table-based lookup like the C version has would still gain anything, so It'd be nice if someone of you with a recent machine could have a look at it. Other input is

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

On Tue, Mar 30, 2010 at 2:07 AM, Joachim Breitner 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 > where Haskell is basi

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

Joachim Breitner 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 add a fourth pa

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

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 be a mentor for such a project if there's a student interested

Re: [Haskell-cafe] Shootout update

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

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

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

Don Stewart 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 > programmi

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

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

On 30 March 2010 18:55, Serguey Zefirov 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 inaccurately des

[Haskell-cafe] Hackage - Machine Learning

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 pr

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

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. > If you get http://ldeniau.web.cern.ch/ldeniau/cos.html to work, virtually everything else should work, too. M

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

(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: http://hackage.haskell

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

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 the

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

Quoting Ashley Yakeley : 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. Forgive me if this is

[Haskell-cafe] GSOC Haskell Project

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 very

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

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 a

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

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 initial

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

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 ju

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

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 wrot

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

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 th

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

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 put

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

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

On 19:54 Tue 30 Mar , Stephen Tetley wrote: > On 30 March 2010 18:55, Serguey Zefirov 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 specification wil

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

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 the

[Haskell-cafe] GSOC Idea: Simple audio interface

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 p

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

On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb 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 be a > ment

[Haskell-cafe] Release: pqueue-1.0.1

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

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 implemen

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

On Mar 30, 2010, at 3:16 PM, Tom Hawkins wrote: On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb 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 v

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

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 Edw

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

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 undefine

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

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

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

On Tue, Mar 30, 2010 at 5:14 PM, Aaron Tomb 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 using an > ex

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

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 wrote: > wagne...@seas.upenn.edu wrote: >> >> I believe I was claiming that, in the absence of

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

See http://trac.haskell.org/haskell-platform/wiki/AddingPackages Cheers, Johan On Mar 31, 2010 5:21 AM, "Louis Wasserman" 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 containers, but instead

[Haskell-cafe] Data.Graph?

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 ap

Re: [Haskell-cafe] Data.Graph?

Sorry for the duplicate email Lee, but I somehow forgot to CC the mailing list :s On 31 March 2010 13:12, Lee Pike 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 working on a rep

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

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

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 mathem

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

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 ?

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