Deploying a distributed system? A type system helps a lot

1 points by quad