Re: [Haskell-cafe] Architecturally flawed

2008-07-14 Thread Tillmann Rendel
Andrew Coppin wrote: [design of a bitwise binary library] (This would all be so trivial in an OO language. Just make an Encoder object that updates its own state internally and talks to a Source object and a Destination object for its data...) I guess it's on the same level of trivialness

Re: [Haskell-cafe] ANNOUNCE: vector 0.1 (efficient arrays with lots of fusion)

2008-07-14 Thread Johan Tibell
On Mon, Jul 14, 2008 at 6:30 AM, Roman Leshchinskiy [EMAIL PROTECTED] wrote: Levi Stephen wrote: Sounds interesting. How does this compare to the uvector library? IIUC, uvector is based on an older version of the DPH libraries and only provides unboxed arrays. On the other hand, it's much

Re: [Haskell-cafe] Trying to install cabal

2008-07-14 Thread Tillmann Rendel
Brandon S. Allbery KF8NH wrote: I have downloaded cabal and am trying to install it but have gotten the following error message: C:\cabal\cabal-install-0.5.1runghc Setup configure Cabal itself is a special case; you need the same version of Cabal already installed to install it via Cabal...

Re: [Haskell-cafe] Trying to install cabal

2008-07-14 Thread Henning Thielemann
On Mon, 14 Jul 2008, Tillmann Rendel wrote: Apropos cabal-install: can i make it build documentation during the installation process and store them in some central location? I also wondered about that. Maybe a '--haddock' flag for 'cabal install' ?

[Haskell-cafe] Strange space leak

2008-07-14 Thread Grzegorz Chrupala
Hi all, I just noticed that a tiny change to the program which I posted recently in the More idiomatic use of strictness thread causes a space leak. The code is: {-# LANGUAGE BangPatterns, PatternGuards #-} import Data.List (foldl') import Data.Char split delim s | [] - rest = [token]

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-14 Thread Arthur van Leeuwen
On 13 jul 2008, at 15:36, Max Bolingbroke wrote: [snip, patches towards friendlier error messages in GHC] Then again, we don't do fuzzy matching, only completion of partial identifiers and suggesting possible qualified names and imports for unqualified ones. Agreed: doing fuzzy matching on

Re: [Haskell-cafe] Trying to install cabal

2008-07-14 Thread Duncan Coutts
On Thu, 2008-07-10 at 18:53 -0400, Brandon S. Allbery KF8NH wrote: On 2008 Jul 10, at 14:00, Eric wrote: I have downloaded cabal and am trying to install it but have gotten the following error message: C:\cabal\cabal-install-0.5.1runghc Setup configure Note that Eric is talking

[Haskell-cafe] Re: Strange space leak

2008-07-14 Thread apfelmus
Grzegorz Chrupala wrote: Hi all, I just noticed that a tiny change to the program which I posted recently in the More idiomatic use of strictness thread causes a space leak. The code is: {-# LANGUAGE BangPatterns, PatternGuards #-} import Data.List (foldl') import Data.Char split delim s

Re: [Haskell-cafe] Strange space leak

2008-07-14 Thread Grzegorz Chrupala
apfelmus wrote: Answer: split DOC . words . map toLower = (:[]) . words . map toLower Since you converted everything to lowercase, the string DOC will never appear in the text, resulting in a single huge document. Oops, that should have been obvious, sorry for the dumb

[Haskell-cafe] Sphinx full-text searching client on Hackage

2008-07-14 Thread Chris Eidhof
Hey everyone, We started working on a client [1] for the sphinx full-text search engine [2], which is a very fast full-text search engine that has either SQL or XML as a backend. While our version is far from done (it only supports the query command, and a limited number of parameters),

[Haskell-cafe] vector vs uvector

2008-07-14 Thread stefan kersten
hi, what's the difference between the vector [1] and uvector [2] packages? should one of those preferred over the other? thanks, sk [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ vector-0.1 [2] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ uvector-0.1.0.1

Re: [Haskell-cafe] vector vs uvector

2008-07-14 Thread Henning Thielemann
On Mon, 14 Jul 2008, stefan kersten wrote: what's the difference between the vector [1] and uvector [2] packages? should one of those preferred over the other? thanks, sk [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vector-0.1 [2]

Re: [Haskell-cafe] vector vs uvector

2008-07-14 Thread Lyle Kopnicky
stefan kersten wrote: hi, what's the difference between the vector [1] and uvector [2] packages? should one of those preferred over the other? thanks, sk [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vector-0.1 [2]

[Haskell-cafe] uvector and the stream interface

2008-07-14 Thread stefan kersten
currently i'm working on stuff that looks something like this: 1 read soundfile from disk in blocks of N samples (IOCArray, hsndfile package) 2 convert to CArray with unsafeFreeze (simple O(1) cast, carray package) 3 perform FFT (CArray, fftw package) 4 convert to UArr (uvector package) 5 do

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Don Stewart
sk: currently i'm working on stuff that looks something like this: 1 read soundfile from disk in blocks of N samples (IOCArray, hsndfile package) 2 convert to CArray with unsafeFreeze (simple O(1) cast, carray package) 3 perform FFT (CArray, fftw package) 4 convert to UArr (uvector

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Jules Bean
Don Stewart wrote: sk: currently i'm working on stuff that looks something like this: 1 read soundfile from disk in blocks of N samples (IOCArray, hsndfile package) 2 convert to CArray with unsafeFreeze (simple O(1) cast, carray package) 3 perform FFT (CArray, fftw package) 4 convert to

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread stefan kersten
On 14.07.2008, at 18:42, Jules Bean wrote: It would be helpful to see the programs people are writing with uvector, so I can polish up the API some more :) It would also be helpful to have someone explain why we have: Ptr a ByteString IOUArray IOCArray Data.Storable.StorableArray UArr Of

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Don Stewart
jules: Don Stewart wrote: sk: currently i'm working on stuff that looks something like this: 1 read soundfile from disk in blocks of N samples (IOCArray, hsndfile package) 2 convert to CArray with unsafeFreeze (simple O(1) cast, carray package) 3 perform FFT (CArray, fftw package) 4

Re[2]: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Bulat Ziganshin
Hello Don, Monday, July 14, 2008, 9:19:19 PM, you wrote: An abstraction stack: it would be great to document these things on wiki like we've documented old arrays -- Best regards, Bulatmailto:[EMAIL PROTECTED] ___

Re: [Haskell-cafe] Galois Tech Talks: Stream Fusion for Haskell Arrays

2008-07-14 Thread Dan Weston
Slides, plus an audio recording of the talk would be great. With that, we could follow along easily. Johan Tibell wrote: On Sun, Jul 13, 2008 at 12:16 AM, Don Stewart [EMAIL PROTECTED] wrote: johan.tibell: On Sat, Jul 12, 2008 at 12:13 AM, Don Stewart [EMAIL PROTECTED] wrote: Any possibility

[Haskell-cafe] A question about algebra and dependent typing

2008-07-14 Thread Nathan Bloomfield
There's something I want to do with Haskell, and after tinkering for a while I think it's not possible. Before giving up entirely, I thought I'd try this mailing list. I'm working on an abstract algebra library, using the types are sets strategy. For the algebraists out there, I'm trying to

Re: [Haskell-cafe] vector vs uvector

2008-07-14 Thread stefan kersten
On 14.07.2008, at 18:10, Lyle Kopnicky wrote: You should use the most mature and stable package, which is of course, uvector, being a whole 0.0.0.1 versions past vector. oops, didn't notice the thread announcing vector. i'll stick with uvector then for the time being :) sk

Re: [Haskell-cafe] Sphinx full-text searching client on Hackage

2008-07-14 Thread Don Stewart
chris: The communication with Sphinx is done using a quite low-level binary protocol, but Data.Binary saved the day: it made it very easy for us to parse all the binary things. Especially the use of the Get and Put monads are a big improvement over the manual reading and keeping track

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Don Stewart
sk: On 14.07.2008, at 18:42, Jules Bean wrote: It would be helpful to see the programs people are writing with uvector, so I can polish up the API some more :) It would also be helpful to have someone explain why we have: Ptr a ByteString IOUArray IOCArray

Re: [Haskell-cafe] A question about algebra and dependent typing

2008-07-14 Thread Henning Thielemann
On Mon, 14 Jul 2008, Nathan Bloomfield wrote: There's something I want to do with Haskell, and after tinkering for a while I think it's not possible. Before giving up entirely, I thought I'd try this mailing list. I'm working on an abstract algebra library, using the types are sets strategy.

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Lyle Kopnicky
Don Stewart wrote: Yes, we have long been discussing a generic Stream library to which the various sequence structures can be translated to and from. Already it is useful to say, stream bytestrings into uvectors and out to lists. Isn't there already such a thing?

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Don Stewart
lists: Don Stewart wrote: Yes, we have long been discussing a generic Stream library to which the various sequence structures can be translated to and from. Already it is useful to say, stream bytestrings into uvectors and out to lists. Isn't there already such a thing?

Re: [Haskell-cafe] A question about algebra and dependent typing

2008-07-14 Thread Claus Reinke
I'm working on an abstract algebra library, using the types are sets strategy. For the algebraists out there, I'm trying to implement as much as I can of Abstract Algebra by Dummit Foote in Haskell. I've got a Ring class definition that looks approximately like You might find this interesting:

Re: [Haskell-cafe] A question about algebra and dependent typing

2008-07-14 Thread Derek Elkins
On Mon, 2008-07-14 at 13:00 -0500, Nathan Bloomfield wrote: There's something I want to do with Haskell, and after tinkering for a while I think it's not possible. Before giving up entirely, I thought I'd try this mailing list. I'm working on an abstract algebra library, using the types are

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Roman Leshchinskiy
Jules Bean wrote: It would also be helpful to have someone explain why we have: Ptr a ByteString IOUArray IOCArray Data.Storable.StorableArray UArr Of course, I know the answers to some of those questions, ByteString is obviously less polymorphic than all the others there, and Ptr a doesn't

Re: [Haskell-cafe] uvector and the stream interface

2008-07-14 Thread Roman Leshchinskiy
stefan kersten wrote: (2) personally i much prefer the list-like interface provided by the stream-fusion powered libraries (ndp, uvector, vector). can't the stream-fusion framework and correspondingly the vector interface be separated from the memory representation, provided a particular

Re: [Haskell-cafe] A question about algebra and dependent typing

2008-07-14 Thread Jacques Carette
Claus Reinke wrote: You might find this interesting: @inproceedings{ fokker95explaining, author = Jeroen Fokker, title = Explaining Algebraic Theory with Functional Programs, booktitle = Functional Programming Languages in Education, pages = 139-158, year = 1995, url =