3 ms·
Yes but my point was that this is very incomplete information to do engineering with. You're still going to look at the source to learn what side-effects are pr
by jeremiep 10y ago
Yes but my point was that this is very incomplete information to do engineering with. You're still going to look at the source to learn what side-effects are present or how your arguments are used.
Not taking these details into account will be the source of most bugs :)
- trobertson 10y agoA good type system will expose the existence of side effects. However, it is true that good type systems are very rare in industry.