cognitive psychology. PhD 
In trying to convince others that *global mutable state* is a bad idea, I realize I don't have any hard evidence - just abstract reasons. At the very least, I'd like an illustrative code example I could point to. Any suggestions?
Show this thread
-
Thanks for the clarifications! Does the query model ("when /a/ is a frog") permit use of knowledge about the claimer ("when /b/ is on same table as /a/, /b/ is claiming /a/ is a frog")? Seems important in distinguishing knowledge sources.
More generally, I would love see a systematic breakdown of the "Realtalk ontology" and the different kinds of knowledge/queries you can have. When I've been to DL my learning is always ad hoc from examples, but a more formal system description would be super useful.
