Re: [Haskell-cafe] Re: Coming up with a better API for Network.Socket.recv

On Fri, Feb 27, 2009 at 12:07 AM, Achim Schneider wrote:

"Bryan O'Sullivan" wrote:

...

There's another problem with the network APIs: they mirror the BSD socket API too faithfully, and provide insufficient type safety. You can try to send on an unconnected socket, and to bind a socket that's already connected, both of which should be statically forbidden. The APIs for datagram-oriented networking ought to be distinct from the stream-oriented variety, I think, even if the underlying C-level calls end up being substantially the same.

Iteratees to the rescue? Ideally, we'd have a composable IO system that's uniform across different types of IO.

I would very much like that. However, even after thinking about the problem for several problems I don't know of a generic definition that feels right. Hopefully someone smarter will come up with one. Cheers, Johan