Types work within a single process, but that's pretty limiting. Most people are dealing with multi-process systems, one way or another. There is a trend toward

Types work within a single process, but that's pretty limiting. Most people are dealing with multi-process systems, one way or another. There is a trend towards more sandboxing - the sandboxes and pinholes model described in the article.