|
|
|
|
|
|
by tome
17 days ago
|
|
|
It's easy to talk at cross purposes in discussions like this. There are two implicit claims * Few bugs occurred due to type issues (which I think you are asserting) * You can design your program with types so that what would be a bug due to a type issue doesn't compile (which IshKebab may be thinking) Both of these can be true at once |
|
|