[Haskell-cafe] Suggestion for Network.Socket in regards to
thomas.dubuisson at gmail.com
Mon Jun 22 08:46:21 EDT 2009
I've started to add to the network trac  - its just framework for
now. Please do add proposals, organized comments, and feel free to
alter the framework. I'm not sure how formal we'd like to make this
so I haven't even tried to make guidelines for proposals. I'll add
proposals and perhaps try my hand at guidelines throughout this week.
Possible proposal guidelines:
On Mon, Jun 22, 2009 at 5:03 AM, Johan Tibell<johan.tibell at gmail.com> wrote:
> On Mon, Jun 22, 2009 at 1:52 PM, Thomas DuBuisson
> <thomas.dubuisson at gmail.com> wrote:
>> Johan - glad you chimed in!
>> I'm all in favor of keeping a low level interface and don't have an
>> issue with Network.Socket existing, I additionally really like the
>> suggestion of moving from the ML to a wiki in the same style as
>> I'll port these comments to the wiki if that is whats agreed on and
>> hold off on other thoughts for now.
> Yes, please start a new wiki page. We can still discuss issues here and add
> things to the wiki as different solutions materialize.
>> * Avoiding a 'heavy weight' solution for socket state might get ugly
>> fast with all the 'Either a b' results that we'll need - also a socket
>> can close at any time so a socket in 'Connected' state might not
>> actually be connected. I understand the attraction to a light
>> solution using existential types but Tim Sheard sketched for me a
>> reasonable alternative which I invite him to restate here, if he has
>> the time.
> Good point. The encodings using existential types are not very lightweight
> in my opinion. I'd love to hear Tim's alternative.
> -- Johan
More information about the Haskell-Cafe