Creating High-Performance, Statically Type-Safe Network Applications