On Mon, Jun 22, 2009 at 1:52 PM, Thomas DuBuisson < thomas.dubuis...@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 > Haskell'. > > 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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe