@getify use a sufficient type system and you might not have MANY bugs :)
-
-
Replying to @puffnfresh
@puffnfresh@getify If we can turn bugs into bugs that are caught by a type system… I think I’d prefer to have those bugs. :)1 reply 0 retweets 0 likes -
Replying to @davetchepak
@davetchepak@puffnfresh nah. it is so rare when i track down a bug that it has anything to do with type, i don't buy this myth.2 replies 0 retweets 0 likes -
-
Replying to @puffnfresh
@puffnfresh@davetchepak i could go on and on. it seems ludicrous to me that anyone would suggest "all bugs are type bugs"5 replies 0 retweets 0 likes -
Replying to @getify
@getify@davetchepak types are about proving the absence of bugs. Why is that ludicrous?1 reply 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh@davetchepak because most of my bugs are about incorrect algorithms, logic shortcomings, etc. not about number vs string.5 replies 0 retweets 2 likes -
Replying to @getify
@getify@davetchepak types can do more than just distinguish strings/numbers. If you're at#yow13, quickly talk to@dibblego or@djspiewak.2 replies 0 retweets 2 likes -
Replying to @puffnfresh
@puffnfresh@getify@davetchepak@djspiewak More to the point, I'll ask for a non-trivial program and watch you type error over and over.3 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@puffnfresh@getify@davetchepak@djspiewak if you know the full utility of types, you see where you've failed in their absence1 reply 0 retweets 0 likes
@bitemyapp @puffnfresh @getify @davetchepak @djspiewak this is the difficult learning hurdle.
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.