I think you're giving Haskell too much credit... In my experience most abstractions need to be replaced because of performance requirements - achieving lower la

I think you're giving Haskell too much credit... In my experience most abstractions need to be replaced because of performance requirements - achieving lower latency, higher throughput, etc. That's the reason to go with UDP instead of TCP. Not sure if this sort of leakiness falls under what Joel had in mind though.