Tony Morris

@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.

@samth @dibblego @bitemyapp @puffnfresh @djspiewak Not goading, genuinely curious: what are some resources for learning about the tradeoffs?

@deech @dibblego @bitemyapp @puffnfresh @djspiewak Similar to tradeoff of any tool My research covers this, also see: http://www.cs.umd.edu/projects/PL/druby/ …