I had the pleasure of having out with the folks in the UPenn plclub (their programming language research group) one summer during high school, awesome group of people. One fellow who graduated a year agowas hacking together a pretty snazzy user level tcp/ip stack with a programmable scheduler in haskell. (some measures indicated that it did better than apache or erlang!)