|
|
|
|
|
|
by vmg12
40 days ago
|
|
|
> types provide very little info over well named variables Types guarantee invariants at compile time, adding type info to a variable name is just a prayer that the next human or robot will enforce the invariants with respect to that type when it matters. This is like saying you don't need a saw stop because you should just avoid sticking your hand in the saw blade. |
|
|