@brixen what about all static analysis tools for C / C++ / Java?
-
-
Replying to @swannodette
@swannodette what about them, and how are they related to studies verifying widely stated assumptions?5 replies 0 retweets 0 likes -
Replying to @swannodette
@swannodette I'm asking for studies and you're asking me if in fact they don't exist... hmm.1 reply 0 retweets 0 likes -
-
Replying to @swannodette
@swannodette lol, given the widely expressed superiority of functional programming, I'd expect the studies to roll off the tongue. :)3 replies 0 retweets 0 likes -
Replying to @swannodette
@swannodette s/functional programming/immutability/ => same diff. What popular language do you use that is immutable but not functional?3 replies 0 retweets 0 likes -
Replying to @swannodette
.
@swannodette I'm asking for studies that verify that immutability results in fewer program errors. Not sure what you're asking.5 replies 0 retweets 0 likes
@brixen @swannodette immutability is one solution to prevent silent concurrent mutation. There are others, less widely explored
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.