Tony Morris

@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/ …

@samth @deech @dibblego @puffnfresh @djspiewak What is it winning you exactly to not leverage types?

@bitemyapp @samth @dibblego @puffnfresh @djspiewak Maybe simplistic, but how about hot-swapping code at runtime without a re-compile?