[Haskell-cafe] ANNOUNCE: uvector-algorithms 0.1

2008-12-14 Thread Dan Doel
Hello, I've been sitting on this for a while, waiting for some changes to uvector to go in, but finally decided I should just release it, and fix it up if and when said changes go in. So, I'm announcing the first release of uvector- algorithms. What it is is a library of algorithms (mostly

[Haskell-cafe] Re: Data.List.Split

2008-12-14 Thread Matti Niemenmaa
Adam Vogt wrote: * On Saturday, December 13 2008, Gianfranco Alongi wrote: I have actually been thinking about a similar thing, but on the group subject. One can actually group things in many ways, such as groupBy (==) , so that groupBy (==) [1,2,1,2] should give [[1,1],[2,2]]. Of course

Re: [Haskell-cafe] Missing comment highlighting in vim syntax script

2008-12-14 Thread Claus Reinke
The Haskell syntax script for vim mentions this mailing list as the maintainer. Perhaps one of you could fix this bug. Comments on the same line as import declarations don't get highlighted: I don't know how this list-as-maintainer idea is going to work, but the fix seems straightforward: find

[Haskell-cafe] Time for a new logo?

2008-12-14 Thread Don Stewart
I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*. Instead of the we got lots going on of the current logo. Any graphic designers want to try some variations on

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Johan Tibell
On Sun, Dec 14, 2008 at 10:15 PM, Don Stewart d...@galois.com wrote: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*. I like it. I prefer the thick lambda

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread George Pollard
? attachment: cover.jpg signature.asc Description: This is a digitally signed message part ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread sam lee
http://i35.tinypic.com/mjon83.png used this: http://www.simwebsol.com/ImageTool/Default.aspx 2008/12/14 George Pollard por...@porg.es: ? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread brian
On Sun, Dec 14, 2008 at 3:15 PM, Don Stewart d...@galois.com wrote: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png I'd buy one, but I'm not seeing it on spreadshirt.net.

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Don Stewart
brianchina60221: On Sun, Dec 14, 2008 at 3:15 PM, Don Stewart d...@galois.com wrote: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png I'd buy one, but I'm not seeing it on

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Ketil Malde
Don Stewart d...@galois.com writes: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*. Nice. For some more hubris, replace 'A' with 'The'. -k -- If I

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Don Stewart
ketil: Don Stewart d...@galois.com writes: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*. Nice. For some more hubris, replace 'A' with 'The'.

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Brandon S. Allbery KF8NH
On 2008 Dec 14, at 16:50, sam lee wrote: http://i35.tinypic.com/mjon83.png used this: http://www.simwebsol.com/ImageTool/Default.aspx Win from the visually interesting angle, but massive lose from the legibility angle. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell]

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread J. Garrett Morris
On Sun, Dec 14, 2008 at 2:38 PM, Don Stewart d...@galois.com wrote: ketil: Nice. For some more hubris, replace 'A' with 'The'. I had the very same thought :) It certainly wouldn't do to let, say, the existence of Concurrent Clean get in the way of our self-promotion. /g -- I am in here

[Haskell-cafe] ANN: typehash version 1.3

2008-12-14 Thread Lennart Augustsson
The typehash library allows you to produce a unique identifier (a cryptographic hash) for a type. This is useful if you save values of some type to a file (text, binary, whatever format you wish) and then when you read it back in again you want to verify that the type you want to read is the one

Re: [Haskell-cafe] Origins of '$'

2008-12-14 Thread Derek Elkins
On Mon, 2008-12-08 at 23:15 +0100, Joachim Breitner wrote: Hi, Am Montag, den 08.12.2008, 15:59 -0600 schrieb Nathan Bloomfield: Slightly off topic, but the A^B notation for hom-sets also makes the natural isomorphism we call currying expressable as A^(BxC) = (A^B)^C. So A^(B+C) = A^B

Re: [Haskell-cafe] Origins of '$'

2008-12-14 Thread Richard O'Keefe
On 15 Dec 2008, at 12:52 pm, Derek Elkins wrote: I want to point out a quick categorical way of proving this (and almost all the other arithmetic laws follow similarly.) This is just continuity of right adjoints. The interesting thing is the adjunction, one that is commonly neglected in

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Eelco Lempsink
On 14 dec 2008, at 22:15, Don Stewart wrote: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*. Instead of the we got lots going on of the current logo. Any

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Don Stewart
eelco: On 14 dec 2008, at 22:15, Don Stewart wrote: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*. Instead of the we got lots going on of the current

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Derek Elkins
On Mon, 2008-12-15 at 02:57 +0100, Eelco Lempsink wrote: On 14 dec 2008, at 22:15, Don Stewart wrote: I noticed a new haskell logo idea on a tshirt today, http://image.spreadshirt.net/image-server/image/configuration/13215127/producttypecolor/2/type/png Simple, clean and *pure*.

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Corey O'Connor
I like the proposed logo even more now that you've pointed out the similarity. :-) -Corey O'Connor 2008/12/14 George Pollard por...@porg.es: ? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Re: ghc on CentOS 5 ?

2008-12-14 Thread Thomas Fee
Jeff Heard jefferson.r.heard at gmail.com writes: I had luck building the latest GHC from source using the ghc 6.6 binary build to bootstrap. The 6.8+ binary builds run into a timer issue, at least on 64 bit CentOS that causes them to bork out during the configure script. 2008/12/12

[Haskell-cafe] Multi-parameter type class woes

2008-12-14 Thread Mario Blažević
I have, for a change, a relatively simple problem with type classes. Can somebody explain to me, or point me to an explanation of the behaviour I see? Here is a short and useless example: {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} import Data.Maybe class Container x y

Re: [Haskell-cafe] Multi-parameter type class woes

2008-12-14 Thread Christopher Lane Hinson
I'll take a swing at this one: instance Container (Maybe x) [x] where wrapper = isNothing . . . That isn't a sensible definition of 'wrapper', but I believe without trying to compile it is completely legal. Which wrapper do you use? You /don't/ have a different matching Container

Re: Re: [Haskell-cafe] Multi-parameter type class woes

2008-12-14 Thread Mario Blažević
I'll take a swing at this one: instance Container (Maybe x) [x] where wrapper = isNothing . . . That isn't a sensible definition of 'wrapper', but I believe without trying to compile it is completely legal. Which wrapper do you use? You /don't/ have a different matching Container

Re: Re: [Haskell-cafe] Multi-parameter type class woes

2008-12-14 Thread Alexander Dunlap
On Sun, Dec 14, 2008 at 8:10 PM, Mario Blažević mblaze...@stilo.com wrote: I'll take a swing at this one: instance Container (Maybe x) [x] where wrapper = isNothing . . . That isn't a sensible definition of 'wrapper', but I believe without trying to compile it is completely legal. Which

Re: Re: [Haskell-cafe] Multi-parameter type class woes

2008-12-14 Thread Christopher Lane Hinson
On Sun, 14 Dec 2008, Mario Bla?evi? wrote: I'll take a swing at this one: instance Container (Maybe x) [x] where wrapper = isNothing . . . That isn't a sensible definition of 'wrapper', but I believe without trying to compile it is completely legal. Which wrapper do you use? You /don't/

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Clifford Beshers
On Sun, Dec 14, 2008 at 6:27 PM, Don Stewart d...@galois.com wrote: Could you attach it to the web page, http://haskell.org/haskellwiki/Haskell_logos/New_logo_ideas I tossed up a quickie candidate there as well. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Time for a new logo?

2008-12-14 Thread Ketil Malde
J. Garrett Morris jgmor...@cecs.pdx.edu writes: Nice. For some more hubris, replace 'A' with 'The'. I had the very same thought :) It certainly wouldn't do to let, say, the existence of Concurrent Clean get in the way of our self-promotion. Well, they get to make T-shirts with Clean - the

Re: [Haskell-cafe] Parsec and type level numerals

2008-12-14 Thread Reiner Pope
On Sun, Dec 14, 2008 at 6:54 AM, David Menendez d...@zednenem.com wrote: 2008/12/13 Nathan Bloomfield nblo...@gmail.com: I want to be able to parse a string of digits to a type level numeral as described in the Number parameterized types paper. After fiddling with the problem for a while, I'm