@puffnfresh @davetchepak i could go on and on. it seems ludicrous to me that anyone would suggest "all bugs are type bugs"
-
-
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 algorithms my ass.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp@puffnfresh@getify@davetchepak@djspiewak I agree, nobody seriously looks at types and says, "don't need that."2 replies 1 retweet 0 likes -
Replying to @dibblego
@dibblego@puffnfresh@getify@davetchepak@djspiewak nobody that really *knows* anything about types willingly eschews them.2 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp Not sure I agree with that one. John Hughes does a lot of Erlang.@dibblego@puffnfresh@davetchepak5 replies 0 retweets 1 like -
Replying to @nvanderw
@nvanderw@bitemyapp@dibblego@puffnfresh@davetchepak doing Erlang do to work reasons is not the same as fav'ing a language1 reply 0 retweets 1 like
@old_sound @nvanderw @bitemyapp @puffnfresh @davetchepak totally agree. Haskell is by far not a fav, just often most practical.
-
-
Replying to @davetchepak
@davetchepak The one in my head and it looks nothing like Haskell.1 reply 0 retweets 1 like - Show replies
-
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.