Re: [Haskell-cafe] ANN: Haskell bindings for the igraph C library

2013-01-22 Thread George Giorgidze
Hi Jason, How does this compare with fgl? http://hackage.haskell.org/package/fgl A couple of months ago, I was working on a project where I had to do some graph analysis. I encountered two problems with the fgl library: (1) The fgl library did not work for large graphs, even graph construction

Re: [Haskell-cafe] Call for discussion: OverloadedLists extension

2012-11-06 Thread George Giorgidze
of string | literal syntax, while getting the performance and correctness | advantages of specialized datatypes like ByteString and Text. I think | we can get the same kind of benefit by allowing another literal syntax | to be overloaded, namely lists. Interestingly, Achim Krause, George

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad

2012-06-24 Thread George Giorgidze
Hi Alexander, Thanks for commenting on this issue. On 21 June 2012 16:34, Alexander Solla alex.so...@gmail.com wrote: These nits don't need to be picked.  The theory of equivalence relations is extremely well understood.  This is a topic covered by the sophomore mathematics level. I did not

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad

2012-06-21 Thread George Giorgidze
Hi Derek, Thanks for providing the executable example that demonstrates your point. It is an interesting one. See my response below. I think it takes us into the discussion as to what constitutes reasonable/law abiding instances of Eq and Ord and what client code that uses Eq and Ord instances

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad

2012-06-21 Thread George Giorgidze
to agree on a suitable notion of equality that Eq instances should satisfy. Cheers, George Dan Burton 801-513-1596 On Mon, Jun 18, 2012 at 2:40 PM, George Giorgidze giorgi...@gmail.com wrote: Hi Dan, Thanks for your feedback and your question regarding the functor laws. Please try your

Re: [Haskell-cafe] ANNOUNCE: set-monad

2012-06-21 Thread George Giorgidze
be useful to highlight conceptual differences between lists and sets in Haskell without different notations getting in the way. Cheers, George On 16 June 2012 09:57, Tillmann Rendel ren...@informatik.uni-marburg.de wrote: Hi George, George Giorgidze wrote: I would like to announce the first

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad

2012-06-19 Thread George Giorgidze
, George On 19 June 2012 02:21, Derek Elkins derek.a.elk...@gmail.com wrote: On Jun 18, 2012 4:54 PM, George Giorgidze giorgi...@gmail.com wrote: Hi Derek, On 16 June 2012 21:53, Derek Elkins derek.a.elk...@gmail.com wrote: The law that ends up failing is toList . fromList /= id, i.e. fmap g

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad

2012-06-18 Thread George Giorgidze
functions h foo = foo { a = 1 } g foo = foo { a = b foo } Does this library address this? If so, how? If not, then you'd best note it in the docs. On Jun 15, 2012 6:42 PM, George Giorgidze giorgi...@gmail.com wrote: I would like to announce the first release of the set-monad library

Re: [Haskell-cafe] [Haskell] ANNOUNCE: set-monad

2012-06-18 Thread George Giorgidze
Hi Derek, On 16 June 2012 21:53, Derek Elkins derek.a.elk...@gmail.com wrote: The law that ends up failing is toList . fromList /= id, i.e. fmap g . toList . fromList . fmap h /= fmap g . fmap h This is not related to functor laws. The property that you desire is about toList and fromList.

[Haskell-cafe] ANNOUNCE: set-monad

2012-06-15 Thread George Giorgidze
I would like to announce the first release of the set-monad library. On Hackage: http://hackage.haskell.org/package/set-monad The set-monad library exports the Set abstract data type and set-manipulating functions. These functions behave exactly as their namesakes from the Data.Set module of the

Re: [Haskell-cafe] GSoC proposal: Units for GHC

2012-04-04 Thread George Giorgidze
Implementing this proposal in GHC, as opposed to the library-only approach, would allow for generation of much more useful and user friendly error messages. I believe this aspect is important when it comes to type systems supporting physical units. Cheers, George This sounds pretty cool and

[Haskell-cafe] ANNOUNCE: Database Supported Haskell (DSH)

2011-02-03 Thread George Giorgidze
I am pleased to announce that Database Supported Haskell (DSH) has been released on Hackage [1]. DSH is a Haskell library for database-supported program execution. Using this library a relational database management system (RDBMS) can be used as a coprocessor for the Haskell programming language,

[Haskell-cafe] Re: Projects that could use student contributions?

2010-09-01 Thread George Giorgidze
Brent Yorgey byorgey at seas.upenn.edu writes: Hi all, This fall I'll be teaching a half-credit introduction to Haskell to some undergrads. As a final project I am thinking of giving them the option of (instead of developing some program/project of their own) contributing to an

[Haskell-cafe] haskell-src-meta Package

2009-01-21 Thread George Giorgidze
to contact Matt Morrow? His is not replying on my emails sent to the email address specified in the package description. The thing is that I do not want my package to be dependent on a package that is broken on Hackage. Cheers, George -- George Giorgidze http://www.cs.nott.ac.uk/~ggg

Re: [Haskell-cafe] Problem with OpenAL

2008-03-25 Thread George Giorgidze
1 waiting 0 1 waiting 0 1 What do you think should be happening? -Antoine 2008/3/21 George Giorgidze [EMAIL PROTECTED]: I tried OpenAL binding (the one which is on the Hackage), but with no luck. I can not hear anything from speakers and also according to generated output

[Haskell-cafe] Problem with OpenAL

2008-03-21 Thread George Giorgidze
I tried OpenAL binding (the one which is on the Hackage), but with no luck. I can not hear anything from speakers and also according to generated output on console it seems that AL.play never completes playback of a buffer as buffer remains registered as unprocessed in OpenAL context. Here is the