Tony Morris

@dibblego @puffnfresh @getify @davetchepak @djspiewak nobody that really *knows* anything about types willingly eschews them.

@bitemyapp @dibblego @puffnfresh @getify @davetchepak @djspiewak This statement is simply false.

@samth @dibblego @puffnfresh @getify @davetchepak @djspiewak http://ro-che.info/ccc/17.html 

@bitemyapp @dibblego @puffnfresh @djspiewak (a) that comic is an admission that your claim is false (b) the claim in the comic is also false

@samth @bitemyapp @puffnfresh @djspiewak demonstrate it to be false, because otherwise it is a well understood expedience of many.

@dibblego @bitemyapp @puffnfresh @djspiewak Telling your interlocutors that they don't themselves exist is unlikely to be persuasive.

@samth @bitemyapp @puffnfresh @djspiewak I am compelling you to PLEASE show me where I am wrong. This is my position until such time.

@dibblego @bitemyapp @puffnfresh @djspiewak I (a) know type theory (b) regularly willingly eschew types. Types are an SE tool w/ tradeoffs.