|
|
|
|
|
|
by kaba0
1089 days ago
|
|
|
> Your argument works against against static typing in general I don’t think this argument works. Ad absurdum a very strong type system would even specify the implementation itself, making any change breaking — is that good? No, it isn’t as the useful property of the type system is no longer there. I don’t agree that this usefulness line is behind “ownership annotations” — that’s what you would have to convince me of. |
|
|