TypeScript and the Importance of Exactness

Zio actors are not explicit about the required dependencies, the possible failures, or even the output. In TypeScript you have to be explicit about all three of those things. And so that explicitness helps you be more correct and more composable because you've had to explicitly state those things.