Comment by 4ad

2 years ago

To reason about programs one can't consider only the good features and forget about the bad ones.

But yes, it's good that languages are moving in this direction.