|
|
|
|
|
|
by danieltanfh95
133 days ago
|
|
|
> static types are not about “classifying the world” or pinning down the structure of every value in a system. The reality is that static type systems allow specifying exactly how much a component needs to know about the structure of its inputs, and conversely, how much it doesn’t. :) |
|
|