#yow13 "…SO much of the time, static typing catches SO many bugs…" (audience member). totally disagree. my MANY bugs are RARELY about types
-
-
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 @getify
@getify@puffnfresh Bugs that are impossible for a type sys to catch? Or survivorship bias?1 reply 0 retweets 0 likes -
Replying to @davetchepak
@davetchepak@puffnfresh bugs that have nothing to do with type. regardless of type system, they're not about type.1 reply 0 retweets 0 likes -
Replying to @davetchepak
@davetchepak i'm nearly entirely disbelieving that's possible. but prove me wrong. write a post?1 reply 0 retweets 0 likes -
Replying to @getify
@getify I’m just learning to use types, but I can try. Do you have a good example bug we can use to kick things off? //@puffnfresh1 reply 0 retweets 0 likes -
Replying to @davetchepak
@davetchepak how would you express a race condition as a type bug?7 replies 0 retweets 0 likes
@getify @davetchepak You don't provide the primitives capable of expressing a race. You can then write the useful programs. Yep, you can.
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.