Re: [Haskell-cafe] Summer of Code idea: Haskell Web Toolkit

2012-03-11 Thread Daniel Waterworth
+1, better cabal support for UHC's JS backend would be a big win. Daniel 2012/3/11 Jurriën Stutterheim j.stutterh...@me.com: While I might be a bit biased (I spent a good deal of time working on improving the UHC JS backend), I think there are a lot of opportunities to get Haskell as a

[Haskell-cafe] Finally, a pure iteratee library that deals with errors

2012-02-26 Thread Daniel Waterworth
Hi all, There's seems to be a growing trend amongst the Haskell community for writing replacements of enumerator. It's shortcomings are well documented, but the solution is, IMO, undecided. This is my attempt: https://gist.github.com/1915841 I have largely copied pipes' concept. The major

Re: [Haskell-cafe] Haskell implementation of a database?

2012-02-17 Thread Daniel Waterworth
Hi, I'm the author of Siege, see https://github.com/DanielWaterworth/siege . It's not production ready, but it's in active development. Daniel On 17 February 2012 06:56, Vasili I. Galchin vigalc...@gmail.com wrote: Hello,   I have been looking through Hackage database for a Haskell

Re: [Haskell-cafe] How to make asynchronous I/O composable and safe?

2012-01-14 Thread Daniel Waterworth
I've been trying to write networking code in Haskell too. I've also come to the conclusion that channels are the way to go. However, what's missing in the standard `Chan` type, which is essential for my use-case, is the ability to do the equivalent of the unix select call. My other slight qualm is

Re: [Haskell-cafe] How to make asynchronous I/O composable and safe?

2012-01-14 Thread Daniel Waterworth
Disregard that last comment on `TChan`s; retry blocks. you learn a new thing every day [= Daniel On 14 January 2012 11:27, Daniel Waterworth da.waterwo...@gmail.com wrote: I've been trying to write networking code in Haskell too. I've also come to the conclusion that channels are the way to go

Re: [Haskell-cafe] How to make asynchronous I/O composable and safe?

2012-01-14 Thread Daniel Waterworth
Hi Peter, streamproc is a very interesting package, I'll surely use it somewhere in the future. However, I'm not convinced that this solves my immediate problem, but perhaps this is due to my inexperience with arrows. My problem is: I have a number of network connections and I have a system that

Re: [Haskell-cafe] STM atomic blocks in IO functions

2012-01-14 Thread Daniel Waterworth
On 14 January 2012 19:24, Rob Stewart robstewar...@googlemail.com wrote: On 14 January 2012 18:05, Steffen Schuldenzucker sschuldenzuc...@uni-bonn.de wrote: I think consistent state here means that you can be sure no other thread has modified a, say, TVar, within the current 'atomically'

[Haskell-cafe] Siege, a DBMS written in Haskell

2011-12-25 Thread Daniel Waterworth
Hi all, This is what I've been working on recently in my spare time, https://github.com/DanielWaterworth/siege . It's a DBMS written in Haskell, it's in a partially working state, you can start it up and interact with it using the redis protocol, it implements a subset of redis's commands. It

Re: [Haskell-cafe] State Machine Composition

2011-12-24 Thread Daniel Waterworth
I must admit, I haven't looked into arrows in a great deal of detail, perhaps I should. Daniel 2011/12/22 Ertugrul Söylemez e...@ertes.de: Daniel Waterworth da.waterwo...@gmail.com wrote: I made this simple state machine combinator library today. I think it works as a simple example

[Haskell-cafe] State Machine Composition

2011-12-21 Thread Daniel Waterworth
I made this simple state machine combinator library today. I think it works as a simple example of a good use for GADTs. https://gist.github.com/1507107 Daniel ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] State Machine Composition

2011-12-21 Thread Daniel Waterworth
at 18:34 +, Daniel Waterworth wrote: I made this simple state machine combinator library today. I think it works as a simple example of a good use for GADTs. https://gist.github.com/1507107 Any way to do something along the lines of type StateChange a = SC a a handleChange :: Monad m

[Haskell-cafe] Alternative STM implementation

2011-12-10 Thread Daniel Waterworth
Hi, This morning I have written an STM implementation as a learning exercise. I thought I'd share it here to get some critique and because it might be useful to others (consider it as being in the public domain). I haven't tested it thoroughly, so there may be edge cases that haven't been thought