{"id":1918,"date":"2016-07-24T05:00:08","date_gmt":"2016-07-24T12:00:08","guid":{"rendered":"http:\/\/zackmdavis.net\/blog\/?p=1918"},"modified":"2016-07-23T15:07:12","modified_gmt":"2016-07-23T22:07:12","slug":"type-theory","status":"publish","type":"post","link":"http:\/\/zackmdavis.net\/blog\/2016\/07\/type-theory\/","title":{"rendered":"Type Theory"},"content":{"rendered":"<p>We never know what people are actually thinking; all we can do is make inferences from their behavior, including inferences about the inferences they're making.<\/p>\n<p>Sometimes someone makes an expression or a comment that seems to carry an overtone of contempt; <em>I know your type<\/em>, it seems to say, <em>and I disapprove<\/em>. And there's a distinct pain in being on the receiving end of this, wanting to reply to the implication, but expecting to lack the shared context needed for the reply to begin to make sense\u2014<\/p>\n<p>&quot;Yes, but I don't think you've adequately taken into account that I know that you know my type, that I know your type, that we can respect each other even if we are different types of creatures optimizing different things, and that I know that this is all relative to <em>my<\/em> inert, irrelevant sense of what <em>I<\/em> think you should adequately take into account, which I know that you may have no reason to care about.&quot;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We never know what people are actually thinking; all we can do is make inferences from their behavior, including inferences about the inferences they're making. Sometimes someone makes an expression or a comment that seems to carry an overtone of &hellip; <a href=\"http:\/\/zackmdavis.net\/blog\/2016\/07\/type-theory\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[13],"tags":[],"_links":{"self":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts\/1918"}],"collection":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/comments?post=1918"}],"version-history":[{"count":2,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts\/1918\/revisions"}],"predecessor-version":[{"id":1920,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts\/1918\/revisions\/1920"}],"wp:attachment":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/media?parent=1918"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/categories?post=1918"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/tags?post=1918"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}