|
|
|
|
|
|
by nicoburns
2399 days ago
|
|
|
> What's the point of keeping this information around at runtime if you do all your type checks at compile time? It forces you to write input validation code that stays in sync with your types. Otherwise bad input can invalidate all your type guarantees. |
|
|