|
|
|
|
|
|
by 9rx
232 days ago
|
|
|
It is a huge boost in developer ergonomics. But doesn't change the tests you need to write, and those tests are going to incidentally cover anything the type system is also going to catch, so the type system isn't going to somehow make your software more reliable. A much more expressive type system can get you there, but you won't find that in any language anyone actually uses on a normal basis. |
|
|