ezyang’s blog

the arc of software bends towards understanding

How I Learned to Stop Worrying and Love the ⊥

An extended analogy on the denotational and game semantics of ⊥ This is an attempt at improving on the Haskell Wikibooks article on Denotational Semantics by means of a Dr. Strangelove inspired analogy. The analogy. In order to prevent Brigadier General Jack D. Ripper from initiating a nuclear attack on Russia, the Pentagon decides that […]

  • December 1, 2010